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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TeaPlantAerialPart
TeaPlantAerialPart

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4708-4710
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1461-1461
No TPTP formula. May not be expressible in strict first order. Economy.kif 4706-4706 TeaPlantAerialPart e' uma sub-classe de Fruta ou Vegetal
No TPTP formula. May not be expressible in strict first order. Economy.kif 4707-4707 TeaPlantAerialPart e' uma sub-classe de PlantSubstance

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4712-4712 TeaBud e' uma sub-classe de TeaPlantAerialPart
No TPTP formula. May not be expressible in strict first order. Economy.kif 4711-4711 TeaLeaf e' uma sub-classe de TeaPlantAerialPart
No TPTP formula. May not be expressible in strict first order. Economy.kif 4713-4713 TeaTwig e' uma sub-classe de TeaPlantAerialPart
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57177-57177
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57176-57176
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57175-57175

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4715-4721


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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