| Finger
| |
| appearance as argument number 1 |
|
|
| (documentation Finger EnglishLanguage "The five extremities of Hands.") | Mid-level-ontology.kif 12507-12507 | |
| (externalImage Finger "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Finger.agr.jpg") | pictureList.kif 92-92 | |
| (subclass Finger DigitAppendage) | Mid-level-ontology.kif 12506-12506 | Finger e' uma sub-classe de DigitAppendage |
| appearance as argument number 2 |
|
|
| (subclass Thumb Finger) | Mid-level-ontology.kif 12516-12516 | Thumb e' uma sub-classe de Finger |
| (termFormat ChineseLanguage Finger "手指") | domainEnglishFormat.kif 23864-23864 | |
| (termFormat ChineseTraditionalLanguage Finger "手指") | domainEnglishFormat.kif 23863-23863 | |
| (termFormat EnglishLanguage Finger "finger") | domainEnglishFormat.kif 23862-23862 |
| 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 12536-12546 | |
| (=> (instance ?FINGER Finger) (exists (?HAND) (and (instance ?HAND Hand) (part ?FINGER ?HAND)))) |
Mid-level-ontology.kif 12509-12514 |
| 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 12536-12546 | |
| (=> (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 12794-12799 |
|
|
|