| Finger(finger)
| | finger, forefinger, index, index_finger |
| appearance as argument number 1 |
|
|
| (subclass Finger DigitAppendage) | Mid-level-ontology.kif 13994-13994 | Finger is a subclass of digit appendage |
| (documentation Finger EnglishLanguage "The five extremities of Hands.") | Mid-level-ontology.kif 13995-13995 | Finger is a subclass of digit appendage |
| (externalImage Finger "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Finger.agr.jpg") | pictureList.kif 92-92 | Finger is a subclass of digit appendage |
| appearance as argument number 2 |
|
|
| (subclass Thumb Finger) | Mid-level-ontology.kif 14004-14004 | Thumb is a subclass of finger |
| (termFormat EnglishLanguage Finger "finger") | domainEnglishFormat.kif 23860-23860 | Thumb is a subclass of finger |
| (termFormat ChineseTraditionalLanguage Finger "手指") | domainEnglishFormat.kif 23861-23861 | Thumb is a subclass of finger |
| (termFormat ChineseLanguage Finger "手指") | domainEnglishFormat.kif 23862-23862 | Thumb is a subclass of finger |
| antecedent |
|
|
| (=> (instance ?FINGER Finger) (exists (?HAND) (and (instance ?HAND Hand) (part ?FINGER ?HAND)))) |
Mid-level-ontology.kif 13997-14002 | If X is an instance of finger, then there exists Y such that Y is an instance of hand and X is a part of Y |
| (=> (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 14024-14034 | If X is an attribute of Y, X is an instance of fingerprint, and Y is not an instance of finger, then there exist Z, W such that W is an instrument for Z, W is an instance of finger, X is an attribute of W, and Y is a patient of Z |
| 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 14024-14034 | If X is an attribute of Y, X is an instance of fingerprint, and Y is not an instance of finger, then there exist Z, W such that W is an instrument for Z, W is an instance of finger, X is an attribute of W, and Y is a patient of Z |
| (=> (instance ?KNUCKLE Knuckle) (exists (?FINGER) (and (instance ?FINGER Finger) (part ?KNUCKLE ?FINGER)))) |
Mid-level-ontology.kif 14282-14287 | If X is an instance of knuckle, then there exists Y such that Y is an instance of finger and X is a part of Y |
| (=> (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 | If X is an instance of touch surface double finger slide, then All of the following hold: (1) there exist Y (2) Z such that Y is an instrument for X (3) Y is an instance of finger (4) Z is an instrument for X (5) equal Y (6) Z (7) Z is an instance of finger |
| (=> (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 1139-1152 | If X is an instance of bowling ball, then All of the following hold: (1) there exists Y such that Y is an instance of collection (2) hole is a member type of Y (3) 3 is a member count of Y (4) Y is located at X (5) Y has the purpose there exist Z (6) W such that W is a member of Y (7) Z is an instance of finger (8) Z partially fills W |
|
|
|