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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Chewing

 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 11551-11551
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 11550-11550 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 11559-11563
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11553-11557
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11565-11570


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

Show without tree


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