| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9357-9357 | HerbaceousPlant 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9358-9359 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9356-9356 | HerbaceousPlant 是 开花植物 的 subclass |
| 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 9362-9362 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9360-9360 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4820-4820 | AlfalfaPlant 是 HerbaceousPlant 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4257-4257 | CabbagePlant 是 HerbaceousPlant 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4870-4870 | 菊花 是 HerbaceousPlant 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4834-4834 | CloverPlant 是 HerbaceousPlant 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4229-4229 | CucumberPlant 是 HerbaceousPlant 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4283-4283 | EggplantPlant 是 HerbaceousPlant 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9372-9372 | 草 是 HerbaceousPlant 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4866-4866 | 兰花 是 HerbaceousPlant 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4860-4860 | 罂粟 是 HerbaceousPlant 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4506-4506 | 向日葵 是 HerbaceousPlant 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9381-9381 | 烟草 是 HerbaceousPlant 的 subclass |
| 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 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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