Enter an expression in the box below and click "Submit".
Use the buttons for any symbols which don't appear on your keyboard.
Sample Expressions
Expression:
∀ X ( cat(X) → ¬ reptile(X) )
Interpretation:
No cats are reptiles.
Expression:
meows(garfield)
Interpretation:
Garfield meows.
Expression:
likes(b,c)
Interpretation:
B likes c.
Custom Vocabulary
Custom Vocabulary Hints
The custom vocabulary requires cookies. No information is stored
except the vocabulary words themselves.
Words are limited to the alphabet (upper- and lower- case) and the
underscore.
Transitive verbs take an object; "likes" is an example.
Intransitive verbs do not take an object; "sleeps" is an example.
Verbs should be in third-person, as "they throw the ball" (plural
transitive), or "he snores" (singular intransitive).
Homographs are okay (such as light the adjective,
light the verb, and light the common noun), but nouns have
higher precedence.
"∀ X ( cat(X) → light(X) )"
will give "All cats are lights." in preference to "All cats are light."
Changing your custom vocabulary resets your previous expressions
(since some words may no longer be present).
Currently, only singular proper nouns are supported.
Uncountable nouns such as "water" are not supported.
Vocabulary
Adjectives
big
black
blue
brave
brown
furry
green
large
lazy
little
mysterious
orange
purple
red
silly
sleepy
small
strange
white
wise
yellow
Transitive Verbs
avoids
likes
loves
Intransitive Verbs
barks
meows
purrs
swims
Common nouns
amphibian
animal
bat
bird
block
box
boy
cat
dog
elf
fish
frog
girl
hobbit
insect
mammal
man
poodle
reptile
wizard
woman
Proper nouns
Anne
Aragorn
Arthur
Arwen
Bart
Bob
Carolyn
Emily
Fido
Fred
Frodo
Gandalf
Garfield
George
Guinevere
Harry
Hermione
Homer
Kermit
Lancelot
Lisa
Luke
Marge
Merlyn
Odie
Ron
Sam
Snoopy