| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3497-3498 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15078-15079 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15077-15077 | Plant anatomical structure is a subclass of anatomical structure |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5922-5922 | Cotton is a subclass of plant anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10345-10345 | Flower is a subclass of plant anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15124-15124 | Fruit or vegetable is a subclass of plant anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10424-10424 | Plant areole is a subclass of plant anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10297-10297 | Plant branch is a subclass of plant anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10292-10292 | Plant leaf is a subclass of plant anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10324-10324 | Plant root is a subclass of plant anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10400-10400 | Plant spinose structure is a subclass of plant anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10357-10357 | Plant stem is a subclass of plant anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15119-15119 | Pollen is a subclass of plant anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15107-15107 | Seed is a subclass of plant anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15132-15132 | Spore is a subclass of plant anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46141-46141 | Spore is a subclass of plant anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46140-46140 | Spore is a subclass of plant anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46139-46139 | Spore is a subclass of plant anatomical structure |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3352-3352 | The number 1 argument of plant fn is a subclass of plant anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14985-14985 | Anatomical structure is exhaustively partitioned into animal anatomical structure and plant anatomical structure |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15081-15086 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4580-4587 |
|
|
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