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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 " pictures/ people/ bodypart/ fingerprint_2.png") pictureList.kif 429-429 externalImage Fingerprint and " 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"


        (attribute ?O ?P)
        (instance ?P Fingerprint)
            (instance ?O Finger)))
    (exists (?PR ?F)
            (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