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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Rectum
Rectum

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12066-12066 connectedBodyPart Rectum and Anus
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12071-12073
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12070-12070 Rectum e' uma sub-classe de AnimalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12069-12069 Rectum e' uma sub-classe de Veia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12068-12068 Rectum e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12060-12060 typicalPart Rectum and GastroIntestinalTract

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12065-12065 connectedBodyPart Intestine and Rectum
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12074-12074

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 519-530

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2301-2309


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