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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Humerus

 Sigma KEE - Lecture
Lecture(演讲)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15872-15873
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6667-6667
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7182-7182
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7183-7183
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7184-7184
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15870-15870 演讲 是 示范 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15871-15871 演讲 是 说话 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15875-15875 宣讲 是 演讲 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15938-15938 讲道 是 演讲 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33743-33743
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33742-33742
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33741-33741


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