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 14846-14847
No TPTP formula. May not be expressible in strict first order. Merge.kif 14845-14845 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 8642-8642 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 9218-9218 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 20398-20398 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 9230-9230 Nectar est une sous-classe de PlantSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9343-9343 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 9179-9179 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 9161-9161 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 14849-14854


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