![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11651-11652 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11649-11649 | Skeleton is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11650-11650 | 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 11654-11659 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11661-11666 |
|
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 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11706-11714 |
|
![]() |
![]() |