| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3495-3496 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15135-15136 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25386-25386 | Every animal anatomical structure is initially part of a animal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15134-15134 | Animal anatomical structure is a subclass of anatomical structure |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15053-15053 | Anatomical structure is exhaustively partitioned into animal anatomical structure and plant anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14166-14166 | Abdomen is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12441-12441 | Alveolus is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12874-12874 | Animal shell is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11499-11499 | Blood cell is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12427-12427 | Blood vessel is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13196-13196 | Brain is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14177-14177 | Breast is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12415-12415 | Bronchial duct is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12562-12562 | Chest is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14267-14267 | Chin is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13830-13830 | Digit appendage is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13490-13490 | Ear is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15163-15163 | Egg is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13018-13018 | Exoskeleton is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13456-13456 | Eye is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14231-14231 | Face is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21970-21970 | Feather is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14046-14046 | Foot is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13400-13400 | GI is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 265-265 | Gills is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13130-13130 | Hair is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13818-13818 | Hand is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14214-14214 | Head is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12685-12685 | Heart is a subclass of animal anatomical structure |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15138-15143 |
|
|
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