Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Fingerprint

 Sigma KEE - Fingerprint
Fingerprint(fingerprint)
fingerprint, thumbprint

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


(subclass Fingerprint ShapeAttribute) Mid-level-ontology.kif 14147-14147 Fingerprint is a subclass of shape attribute
(subclass Fingerprint BiologicalAttribute) Mid-level-ontology.kif 14148-14148 Fingerprint is a subclass of biological attribute
(documentation Fingerprint EnglishLanguage "That pattern of arches, loops, and whorls that mark the imprint of a Finger.") Mid-level-ontology.kif 14149-14150 Fingerprint is a subclass of biological attribute
(externalImage Fingerprint "http://articulatesoftware.com/SUMOpictures/people/ bodypart/ fingerprint_2.png") pictureList.kif 429-429 Fingerprint is a subclass of biological attribute

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


(termFormat EnglishLanguage Fingerprint "fingerprint") domainEnglishFormat.kif 23866-23866
(termFormat ChineseTraditionalLanguage Fingerprint "指紋") domainEnglishFormat.kif 23867-23867
(termFormat ChineseLanguage Fingerprint "指纹") domainEnglishFormat.kif 23868-23868

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 14152-14162 If X is an attribute of Y, X is an instance of fingerprint, and Y is not an instance of finger, then there exist Z, W such that W is an instrument for Z, W is an instance of finger, X is an attribute of W, and Y is a patient of Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners