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 est une sous-classe de substance corporel

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8643-8643 Alkaloid est une sous-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 6236-6236 AloeveraGel est une sous-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9219-9219 Cellulose est une sous-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 4687-4687 CocoaBean est une sous-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Food.kif 2310-2310 FleshOrPulp est une sous-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20399-20399 Hay est une sous-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Food.kif 2153-2153 Herb est une sous-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9231-9231 Nectar est une sous-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9344-9344 Opium est une sous-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Food.kif 2296-2296 PeelOrRind est une sous-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4599-4599 PlantWicker est une sous-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9180-9180 Rubber est une sous-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 4707-4707 TeaPlantAerialPart est une sous-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9162-9162 Wood est une sous-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Economy.kif 5226-5226 WoodProduct est une sous-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