Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 |
|
|
| 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 |
|