HerbaceousPlant
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9356-9356 | HerbaceousPlant is disjoint from WoodyPlant |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9357-9358 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9355-9355 | HerbaceousPlant is a subclass of flowering plant |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9360-9360 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9361-9361 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9359-9359 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4820-4820 | Alfalfa plant is a subclass of HerbaceousPlant |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4257-4257 | Cabbage plant is a subclass of HerbaceousPlant |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4870-4870 | Chrysanthemum is a subclass of HerbaceousPlant |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4834-4834 | Clover plant is a subclass of HerbaceousPlant |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4229-4229 | Cucumber plant is a subclass of HerbaceousPlant |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4283-4283 | EggplantPlant is a subclass of HerbaceousPlant |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9371-9371 | Grass plant is a subclass of HerbaceousPlant |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4866-4866 | Orchid is a subclass of HerbaceousPlant |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4860-4860 | Poppy is a subclass of HerbaceousPlant |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4506-4506 | Sunflower is a subclass of HerbaceousPlant |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9380-9380 | Tobacco is a subclass of HerbaceousPlant |
consequent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2170-2172 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2403-2405 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2427-2429 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2529-2531 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2584-2586 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2672-2674 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2696-2698 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2733-2735 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3360-3362 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3397-3399 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3483-3485 |
|