No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8642-8642 |
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 9218-9218 |
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 20398-20398 |
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 9230-9230 |
Nectar e' uma sub-classe de PlantSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9343-9343 |
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 9179-9179 |
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 9161-9161 |
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 |
|