![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13839-13839 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 92-92 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13838-13838 | Finger is a subclass of digit appendage |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13848-13848 | Thumb is a subclass of finger |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23869-23869 | Thumb is a subclass of finger |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23868-23868 | Thumb is a subclass of finger |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23867-23867 | Thumb is a subclass of finger |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13868-13878 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13841-13846 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13868-13878 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1567-1575 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1139-1152 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14126-14131 |
|
![]() |
![]() |