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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HerpesB

 Sigma KEE - Feather
Feather(羽毛)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20337-20338
No TPTP formula. May not be expressible in strict first order. pictureList.kif 425-425
No TPTP formula. May not be expressible in strict first order. pictureList.kif 91-91
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20335-20335 子類 羽毛 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20336-20336 子類 羽毛 and BodyPart

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23434-23434
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23433-23433
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23432-23432

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


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


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