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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlantSubstance

 Sigma KEE - PlantSubstance
PlantSubstance

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3475-3475
No TPTP formula. May not be expressible in strict first order. Merge.kif 14824-14825
No TPTP formula. May not be expressible in strict first order. Merge.kif 14823-14823 PlantSubstance e' uma sub-classe de Substancia Corporal

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8643-8643 Alkaloid e' uma sub-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 6236-6236 AloeveraGel e' uma sub-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9219-9219 Cellulose e' uma sub-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 4687-4687 CocoaBean e' uma sub-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Food.kif 2310-2310 FleshOrPulp e' uma sub-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20399-20399 Hay e' uma sub-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Food.kif 2153-2153 Herb e' uma sub-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9231-9231 Nectar e' uma sub-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9344-9344 Opium e' uma sub-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Food.kif 2296-2296 PeelOrRind e' uma sub-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4599-4599 PlantWicker e' uma sub-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9180-9180 Rubber e' uma sub-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 4707-4707 TeaPlantAerialPart e' uma sub-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9162-9162 Wood e' uma sub-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 5226-5226 WoodProduct e' uma sub-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46134-46134
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46133-46133
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46132-46132

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14827-14832


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