(Hide): Enter a command on top to see result here. Examples (click to see result):

General Lisp:
(sin 1/2): Testing general lisp
Adding new types and individuals:
(new-indv {John} {person}): Adding a person name for later use
(new-type {eagle} {bird}): Adding a new type
(new-indv {Jack} {eagle}): ... and an instance for it (you will get an error if it's already there
Checking individuals and types:
(lookup-element {person}): Looking up an element
(lookup-element {person2}): But looking up an non-existing element
(lookup-element-test {person2}): Do this instead to get an error
(is-x-a-y? {person} {animal}): Person is an animal so it returns true T
(is-x-a-y? {person} {bird}): Person is not a bird so it returns NIL
(is-x-a-y? {person} {something}): (unless it's added) something is unknown so an error
(is-x-a-y? {penguin} {bird}): Penguin is a bird so T
(is-x-a-y? {bird} {flying}): Birds can fly
(is-x-a-y? {penguin} {flying}): But Penguin cannot fly so NIL
Adding relations and their instances:
(new-relation {age is} :a-inst-of {person} :b-inst-of{number})
(new-relation {friend of} :a-inst-of {person} :b-inst-of {person} :symetric t)
(new-statement {John} {age is} {23})
Looking up relations:
(list-rel {John} {age is})
(list-rel-inverse {age is} {23})
(statement-true? {John} {age is} {23})
Other Scone Commands:
(show-inferiors {person}): Do not work now
(show-element-counts): Do not work now