Exoskeleton
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11671-11672 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5997-5997 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6499-6499 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11673-11673 | Every exoskeleton is initially part of a animal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11669-11669 | Exoskeleton is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11670-11670 | Exoskeleton is a subclass of body part |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22786-22786 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22785-22785 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22784-22784 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11675-11680 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11691-11701 |
|
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 |