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 13865-13866
(externalImage Fingerprint "http://articulatesoftware.com/SUMOpictures/people/ bodypart/ fingerprint_2.png") pictureList.kif 429-429
(subclass Fingerprint BiologicalAttribute) Mid-level-ontology.kif 13864-13864 指纹生物属性subclass
(subclass Fingerprint ShapeAttribute) Mid-level-ontology.kif 13863-13863 指纹形状属性subclass

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


(termFormat ChineseLanguage Fingerprint "指纹") domainEnglishFormat.kif 23875-23875
(termFormat ChineseTraditionalLanguage Fingerprint "指紋") domainEnglishFormat.kif 23874-23874
(termFormat EnglishLanguage Fingerprint "fingerprint") domainEnglishFormat.kif 23873-23873

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


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 3.0 is open source software produced by Articulate Software and its partners