Finger![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Finger EnglishLanguage "The five extremities of Hands.") | Mid-level-ontology.kif 13839-13839 | |
(externalImage Finger "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Finger.agr.jpg") | pictureList.kif 92-92 | |
(subclass Finger DigitAppendage) | Mid-level-ontology.kif 13838-13838 |
appearance as argument number 2 |
![]() |
(subclass Thumb Finger) | Mid-level-ontology.kif 13848-13848 | |
(termFormat ChineseLanguage Finger "手指") | domainEnglishFormat.kif 23869-23869 | |
(termFormat ChineseTraditionalLanguage Finger "手指") | domainEnglishFormat.kif 23868-23868 | |
(termFormat EnglishLanguage Finger "finger") | domainEnglishFormat.kif 23867-23867 |
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 13868-13878 | |
(=> (instance ?FINGER Finger) (exists (?HAND) (and (instance ?HAND Hand) (part ?FINGER ?HAND)))) |
Mid-level-ontology.kif 13841-13846 |
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 13868-13878 | |
(=> (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 1139-1152 | |
(=> (instance ?KNUCKLE Knuckle) (exists (?FINGER) (and (instance ?FINGER Finger) (part ?KNUCKLE ?FINGER)))) |
Mid-level-ontology.kif 14126-14131 |
![]() |
![]() |