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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AppleIPhone3GS

 Sigma KEE - PlantRoot
PlantRoot(植物根)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9529-9531
No TPTP formula. May not be expressible in strict first order. pictureList.kif 160-160
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2309-2309
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9528-9528 子類 植物根 and Organ
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9527-9527 子類 植物根 and 植物解剖結構

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46130-46130
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46129-46129
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46128-46128

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9566-9571
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9534-9546

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


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


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