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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - PlantSubstance
PlantSubstance(plant substance)stub

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 14977-14978
No TPTP formula. May not be expressible in strict first order. Merge.kif 14976-14976 Plant substance is a subclass of body substance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9849-9849 Alkaloid is a subclass of plant substance
No TPTP formula. May not be expressible in strict first order. Economy.kif 6634-6634 Aloe vera gel is a subclass of plant substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10548-10548 Cellulose is a subclass of plant substance
No TPTP formula. May not be expressible in strict first order. Economy.kif 5025-5025 Cocoa bean is a subclass of plant substance
No TPTP formula. May not be expressible in strict first order. Food.kif 2317-2317 Flesh or pulp is a subclass of plant substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22016-22016 Hay is a subclass of plant substance
No TPTP formula. May not be expressible in strict first order. Food.kif 2160-2160 Herb is a subclass of plant substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10560-10560 Nectar is a subclass of plant substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10673-10673 Opium is a subclass of plant substance
No TPTP formula. May not be expressible in strict first order. Food.kif 2303-2303 Peel or rind is a subclass of plant substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5044-5044 Plant wicker is a subclass of plant substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10509-10509 Rubber is a subclass of plant substance
No TPTP formula. May not be expressible in strict first order. Economy.kif 5045-5045 Tea plant aerial part is a subclass of plant substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10368-10368 Wood is a subclass of plant substance
No TPTP formula. May not be expressible in strict first order. Economy.kif 5567-5567 Wood product is a subclass of plant substance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46136-46136 Wood product is a subclass of plant substance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46135-46135 Wood product is a subclass of plant substance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46134-46134 Wood product is a subclass of plant substance

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14980-14985


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