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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tongue

Sigma KEE - Tongue
Tongue(tongue)
clapper, glossa, lingua, tongue

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11435-11436
No TPTP formula. May not be expressible in strict first order. pictureList.kif 787-787
No TPTP formula. May not be expressible in strict first order. pictureList.kif 191-191
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11433-11433 Tongue is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11434-11434 Tongue is a subclass of body part

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 412-412 The insertion point of palatoglossus muscle is tongue
No TPTP formula. May not be expressible in strict first order. Muscles.kif 403-403 The insertion point of styloglossus muscle is tongue
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58418-58418
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58417-58417
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58416-58416

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11438-11443

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11629-11634


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