Did you know ... | Search Documentation: |
Pack logicmoo_cg -- test/dataForDynamicOntology/LivingExample.txt |
$$$$$ DEFINITIONS $$$$$$$$$$
Human is [Object :super] - -Life->[Life], -Intelligence->[Intelligence]
Vegetable is [Object :super] - -Life->[Life], -lack->[Intelligence]
Living is [Life]<-Life-[Object:super]
Person is [Object :super] - -Life->[Life], -Intelligence->[Intelligence]