Skeleton
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11652-11653 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11650-11650 | Skeleton is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11651-11651 | Skeleton is a subclass of body part |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53294-53294 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53293-53293 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53292-53292 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11655-11660 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11662-11667 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11682-11689 | An object is an instance of bone if and only if there exists another object such that the other object is an instance of skeleton or the other object is an instance of exoskeleton and the object is a part of the other object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11707-11715 |
|