| Finger
| |
| appearance as argument number 1 |
|
|
| (documentation Finger EnglishLanguage "The five extremities of Hands.") | Mid-level-ontology.kif 12726-12726 | |
| (externalImage Finger "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Finger.agr.jpg") | pictureList.kif 92-92 | |
| (subclass Finger DigitAppendage) | Mid-level-ontology.kif 12725-12725 |
| appearance as argument number 2 |
|
|
| (subclass Thumb Finger) | Mid-level-ontology.kif 12735-12735 | |
| (termFormat ChineseLanguage Finger "手指") | domainEnglishFormat.kif 23881-23881 | |
| (termFormat ChineseTraditionalLanguage Finger "手指") | domainEnglishFormat.kif 23880-23880 | |
| (termFormat EnglishLanguage Finger "finger") | domainEnglishFormat.kif 23879-23879 |
| 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 12755-12765 | |
| (=> (instance ?FINGER Finger) (exists (?HAND) (and (instance ?HAND Hand) (part ?FINGER ?HAND)))) |
Mid-level-ontology.kif 12728-12733 |
| 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 12755-12765 | |
| (=> (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 1567-1575 | |
| (=> (instance ?B BowlingBall) (exists (?HOLES) (and (instance ?HOLES Collection) (memberType ?HOLES HoleRegion) (memberCount ?HOLES 3) (located ?HOLES ?B) (hasPurpose ?HOLES (exists (?FINGER ?HOLE) (and (member ?HOLE ?HOLES) (instance ?FINGER Finger) (partiallyFills ?FINGER ?HOLE))))))) |
Sports.kif 1126-1139 | |
| (=> (instance ?KNUCKLE Knuckle) (exists (?FINGER) (and (instance ?FINGER Finger) (part ?KNUCKLE ?FINGER)))) |
Mid-level-ontology.kif 13013-13018 |
|
|
|