Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Anatomy.kif 616-616 ThoracicVertebraBoneVertebraBonesubclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 620-620 T1VertebraBoneThoracicVertebraBonesubclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 624-624 T2VertebraBoneThoracicVertebraBonesubclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 628-628 T3VertebraBoneThoracicVertebraBonesubclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 632-632 T4VertebraBoneThoracicVertebraBonesubclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 636-636 T5VertebraBoneThoracicVertebraBonesubclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 640-640 T6VertebraBoneThoracicVertebraBonesubclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 644-644 T7VertebraBoneThoracicVertebraBonesubclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 648-648 T8VertebraBoneThoracicVertebraBonesubclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 652-652 T9VertebraBoneThoracicVertebraBonesubclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 656-656 T10VertebraBoneThoracicVertebraBonesubclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 660-660 T11VertebraBoneThoracicVertebraBonesubclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 664-664 T12VertebraBoneThoracicVertebraBonesubclass


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