Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Chewing
Chewing(chewing)
champ, chaw, chew, chomp, crunch, gnaw, gum, jaw, manducate, masticate, mumble, munch

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11552-11552
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6246-6246
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5910-5910
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6245-6245
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11551-11551 Chewing is a subclass of body motion

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14388-14388
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14387-14387
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14386-14386

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11560-11564
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11554-11558
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11566-11571


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners