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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TeaPlantAerialPart

 Sigma KEE - TeaPlantAerialPart
TeaPlantAerialPart(tea plant aerial part)

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 Tea plant aerial part is a subclass of fruit or vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4707-4707 Tea plant aerial part is a subclass of plant substance

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4712-4712 Tea bud is a subclass of tea plant aerial part
No TPTP formula. May not be expressible in strict first order. Economy.kif 4711-4711 Tea leaf is a subclass of tea plant aerial part
No TPTP formula. May not be expressible in strict first order. Economy.kif 4713-4713 Tea twig is a subclass of tea plant aerial part
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 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