| 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 15067-15068 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24669-24669 | Every animal anatomical structure is initially part of a animal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15066-15066 | 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 14985-14985 | 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 13641-13641 | Abdomen is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11916-11916 | Alveolus is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12349-12349 | Animal shell is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10976-10976 | Blood cell is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11902-11902 | Blood vessel is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12671-12671 | Brain is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13652-13652 | Breast is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11890-11890 | Bronchial duct is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12037-12037 | Chest is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13742-13742 | Chin is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13305-13305 | Digit appendage is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12965-12965 | Ear is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15095-15095 | Egg is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12493-12493 | Exoskeleton is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12931-12931 | Eye is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13706-13706 | Face is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21254-21254 | Feather is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13521-13521 | Foot is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12875-12875 | 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 12605-12605 | Hair is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13293-13293 | Hand is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13689-13689 | Head is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12160-12160 | 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 15070-15075 |
|
|
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