Chewing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Chewing

Chewing(咀嚼)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12901-12901
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.	pictureList.kif 5909-5909
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6244-6244
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12900-12900	子類咀嚼 and BodyMotion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14403-14403
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14402-14402
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14401-14401

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12909-12913	例 Process and 咀嚼儀器 Process and Object 例 Object and 齒
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12903-12907	例 Process and 咀嚼資源 Process and Object 例 Object and food for Organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12915-12920	例 Process and 咀嚼 Process 例 Process and Eating 子過程 Process and Process

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