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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Fingerprint

Sigma KEE - Fingerprint
Fingerprint

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


(documentation Fingerprint EnglishLanguage "That pattern of arches, loops, and whorls that mark the imprint of a Finger.") Mid-level-ontology.kif 10253-10254
(externalImage Fingerprint "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ people/ bodypart/ fingerprint_2.png") pictureList.kif 429-429 externalImage Fingerprint and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ bodypart/ fingerprint_2.png"
(subclass Fingerprint BiologicalAttribute) Mid-level-ontology.kif 10252-10252 Fingerprint生物属性subclass
(subclass Fingerprint ShapeAttribute) Mid-level-ontology.kif 10251-10251 Fingerprint形状属性subclass

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


(termFormat EnglishLanguage Fingerprint "fingerprint") domainEnglishFormat.kif 4400-4400 termFormat EnglishLanguage, Fingerprint and "fingerprint"

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 10255-10265


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners