Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Finger
Finger(finger)
finger, forefinger, index, index_finger

appearance as argument number 1
-------------------------


s__documentation(s__Finger,s__EnglishLanguage,'"The five extremities of Hands."')

Mid-level-ontology.kif 11721-11721
s__externalImage(s__Finger,'"http://upload.wikimedia.org/wikipedia/commons/c/cd/ Finger.agr.jpg"')

pictureList.kif 92-92
s__instance(s__DigitAppendage,s__SetOrClass)

s__instance(s__Finger,s__SetOrClass)

s__subclass(s__Finger,s__DigitAppendage)

Mid-level-ontology.kif 11720-11720 Finger is a subclass of digit appendage

appearance as argument number 2
-------------------------


s__subclass(s__Thumb,s__Finger)

s__instance(s__Finger,s__SetOrClass)

s__instance(s__Thumb,s__SetOrClass)

Mid-level-ontology.kif 11730-11730 Thumb is a subclass of finger
s__termFormat(s__ChineseLanguage,s__Finger,'"手指"')

domainEnglishFormat.kif 23859-23859
s__termFormat(s__ChineseTraditionalLanguage,s__Finger,'"手指"')

domainEnglishFormat.kif 23858-23858
s__termFormat(s__EnglishLanguage,s__Finger,'"finger"')

domainEnglishFormat.kif 23857-23857

antecedent
-------------------------


( ! [V__O,V__P] :
   ((s__instance(V__O,s__Object) =>
       (((s__attribute(V__O,V__P)
           &
           s__instance(V__P,s__Fingerprint) &
           ~(s__instance(V__O,s__Finger)))
         =>
         (( ? [V__PR, V__F] :
             ((s__instance(V__PR,s__Process) &
                 (s__instrument(V__PR,V__F)
                 &
                 s__instance(V__F,s__Finger) &
                 s__attribute(V__F,V__P)
               &
               s__patient(V__PR,V__O)))))))))
)
)

Mid-level-ontology.kif 11750-11760
( ! [V__FINGER] :
   ((s__instance(V__FINGER,s__Finger) =>
       (( ? [V__HAND] :
           ((s__instance(V__HAND,s__Hand) &
               s__part(V__FINGER,V__HAND))))))
   )
)

Mid-level-ontology.kif 11723-11728

consequent
-------------------------


( ! [V__O,V__P] :
   ((s__instance(V__O,s__Object) =>
       (((s__attribute(V__O,V__P)
           &
           s__instance(V__P,s__Fingerprint) &
           ~(s__instance(V__O,s__Finger)))
         =>
         (( ? [V__PR, V__F] :
             ((s__instance(V__PR,s__Process) &
                 (s__instrument(V__PR,V__F)
                 &
                 s__instance(V__F,s__Finger) &
                 s__attribute(V__F,V__P)
               &
               s__patient(V__PR,V__O)))))))))
)
)

Mid-level-ontology.kif 11750-11760
( ! [V__ACTION] :
   ((s__instance(V__ACTION,s__TouchSurfaceDoubleFingerSlide) =>
       (( ? [V__FINGER1, V__FINGER2] :
           ((s__instrument(V__ACTION,V__FINGER1)
             &
             s__instance(V__FINGER1,s__Finger) &
             s__instrument(V__ACTION,V__FINGER2)
           &
           ~((V__FINGER1 = V__FINGER2))
           &
           s__instance(V__FINGER2,s__Finger))))))
)
)

ComputerInput.kif 1596-1604
No TPTP formula. May not be expressible in strict first order. Sports.kif 1053-1066
( ! [V__KNUCKLE] :
   ((s__instance(V__KNUCKLE,s__Knuckle) =>
       (( ? [V__FINGER] :
           ((s__instance(V__FINGER,s__Finger) &
               s__part(V__KNUCKLE,V__FINGER))))))
   )
)

Mid-level-ontology.kif 11992-11997


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners