![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11670-11671 | |
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 11672-11672 | Every exoskeleton is initially part of a animal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11668-11668 | Exoskeleton is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11669-11669 | 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 11674-11679 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11690-11700 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11681-11688 | 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 |
![]() |
![]() |