HerbaceousPlant |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9384-9384 | HerbaceousPlant e' disjunto de WoodyPlant |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9385-9386 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9383-9383 | HerbaceousPlant e' uma sub-classe de Planta Florindo |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9388-9388 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9389-9389 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9387-9387 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4820-4820 | AlfalfaPlant e' uma sub-classe de HerbaceousPlant |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4257-4257 | CabbagePlant e' uma sub-classe de HerbaceousPlant |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4870-4870 | Chrysanthemum e' uma sub-classe de HerbaceousPlant |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4834-4834 | CloverPlant e' uma sub-classe de HerbaceousPlant |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4229-4229 | CucumberPlant e' uma sub-classe de HerbaceousPlant |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4283-4283 | EggplantPlant e' uma sub-classe de HerbaceousPlant |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9399-9399 | Grass e' uma sub-classe de HerbaceousPlant |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4866-4866 | Orchid e' uma sub-classe de HerbaceousPlant |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4860-4860 | Poppy e' uma sub-classe de HerbaceousPlant |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4506-4506 | Sunflower e' uma sub-classe de HerbaceousPlant |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9408-9408 | Tobacco e' uma sub-classe de 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 |
|