Finger(finger)![]() | ![]() | finger, forefinger, index, index_finger |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11989-11989 | |
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 11988-11988 | 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 11998-11998 | Thumb is a subclass of finger |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23859-23859 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23858-23858 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23857-23857 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12018-12028 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11991-11996 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12018-12028 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1564-1572 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1053-1066 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12260-12265 |
|
![]() |
![]() |