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

Formal Language: 



KB Term:  Term intersection
English Word: 

  sheddingBodyPart

 Sigma KEE - sheddingBodyPart
sheddingBodyPart

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6450-6451
No TPTP formula. May not be expressible in strict first order. Geography.kif 6448-6448 sheddingBodyPart 的 1 数量 是 生物 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 6449-6449 sheddingBodyPart 的 2 数量 是 身体部位 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 6447-6447 sheddingBodyPart 是 SheddingPart 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5009-5009
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65935-65935

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6473-6477
No TPTP formula. May not be expressible in strict first order. Geography.kif 6461-6465
No TPTP formula. May not be expressible in strict first order. Geography.kif 6467-6471
No TPTP formula. May not be expressible in strict first order. Geography.kif 6453-6459


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