| Finger
| |
| appearance as argument number 1 |
|
|
| (documentation Finger EnglishLanguage "The five extremities of Hands.") | Mid-level-ontology.kif 9378-9378 | |
| (externalImage Finger "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Finger.agr.jpg") | pictureList.kif 92-92 | |
| (subclass Finger DigitAppendage) | Mid-level-ontology.kif 9377-9377 |
| appearance as argument number 2 |
|
|
| (subclass Thumb Finger) | Mid-level-ontology.kif 9387-9387 | |
| (termFormat ChineseLanguage Finger "手指") | domainEnglishFormat.kif 23859-23859 | |
| (termFormat ChineseTraditionalLanguage Finger "手指") | domainEnglishFormat.kif 23858-23858 | |
| (termFormat EnglishLanguage Finger "finger") | domainEnglishFormat.kif 23857-23857 |
| antecedent |
|
|
| (=> (and (attribute ?O ?P) (instance ?P Fingerprint) (not (instance ?O Finger))) (exists (?PR ?F) (and (instrument ?PR ?F) (instance ?F Finger) (attribute ?F ?P) (patient ?PR ?O)))) |
Mid-level-ontology.kif 9407-9417 | |
| (=> (instance ?FINGER Finger) (exists (?HAND) (and (instance ?HAND Hand) (part ?FINGER ?HAND)))) |
Mid-level-ontology.kif 9380-9385 |
| consequent |
|
|
| (=> (and (attribute ?O ?P) (instance ?P Fingerprint) (not (instance ?O Finger))) (exists (?PR ?F) (and (instrument ?PR ?F) (instance ?F Finger) (attribute ?F ?P) (patient ?PR ?O)))) |
Mid-level-ontology.kif 9407-9417 | |
| (=> (instance ?ACTION TouchSurfaceDoubleFingerSlide) (exists (?FINGER1 ?FINGER2) (and (instrument ?ACTION ?FINGER1) (instance ?FINGER1 Finger) (instrument ?ACTION ?FINGER2) (not (equal ?FINGER1 ?FINGER2)) (instance ?FINGER2 Finger)))) |
ComputerInput.kif 1596-1604 | |
| (=> (instance ?B BowlingBall) (exists (?HOLES) (and (instance ?HOLES Collection) (memberType ?HOLES Hole) (memberCount ?HOLES 3) (located ?HOLES ?B) (hasPurpose ?HOLES (exists (?FINGER) (and (member ?FINGER ?HOLES) (instance ?FINGER Finger) (partiallyFills ?FINGER ?HOLE))))))) |
Sports.kif 977-990 | |
| (=> (instance ?KNUCKLE Knuckle) (exists (?FINGER) (and (instance ?FINGER Finger) (part ?KNUCKLE ?FINGER)))) |
Mid-level-ontology.kif 9628-9633 |
|
|
|