TreeView Knowledge Base Browser - Eye

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Eye

Sigma KEE - Eye

Eye

appearance as argument number 1

(documentation Eye EnglishLanguage "The Organ of sight.")	Mid-level-ontology.kif 10051-10051
(externalImage Eye "http://upload.wikimedia.org/wikipedia/commons/7/71/Menschliches_auge.jpg")	pictureList.kif 87-87
(externalImage Eye "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ bodypart/ eye/ eye_01.png")	pictureList.kif 421-421
(subclass Eye AnimalAnatomicalStructure)	Mid-level-ontology.kif 10050-10050	subclass Eye and AnimalAnatomicalStructure
(subclass Eye Organ)	Mid-level-ontology.kif 10049-10049	subclass Eye and Organ

appearance as argument number 2

(termFormat ChineseLanguage Eye "眼睛")	domainEnglishFormat.kif 23038-23038
(termFormat ChineseTraditionalLanguage Eye "眼睛")	domainEnglishFormat.kif 23037-23037
(termFormat EnglishLanguage Eye "eye")	domainEnglishFormat.kif 23036-23036

antecedent

(=> (instance ?EYE Eye) (capability Seeing instrument ?EYE))	Mid-level-ontology.kif 10053-10055	instance Object and Eye capability Seeing, instrument and Object
(=> (instance ?EYE Eye) (exists (?HEAD) (and (instance ?HEAD Head) (part ?EYE ?HEAD))))	Mid-level-ontology.kif 10057-10062	instance Object and Eye Object instance Object and Head part Object and Object

consequent

(=> (instance ?E Eyelid) (hasPurpose ?E (exists (?EYE ?P ?C) (and (instance ?C Covering) (instance ?C BodyMotion) (instance ?P Human) (experiencer ?C ?P) (instrument ?C ?E) (patient ?C ?EYE) (instance ?EYE Eye) (part ?EYE ?P) (part ?E ?P)))))	Mid-level-ontology.kif 10086-10099	instance Physical and Eyelid hasPurpose Physical and PhysicalYE entity and entity instance entity and Covering instance entity and BodyMotion instance entity and Human experiencer entity and entity instrument entity and Physical patient entity and PhysicalYE instance PhysicalYE and Eye part PhysicalYE and entity part Physical and entity
(=> (instance ?I EyeIris) (exists (?E) (and (instance ?E Eye) (part ?I ?E))))	Mid-level-ontology.kif 10104-10109	instance Object and EyeIris Object instance Object and Eye part Object and Object
(=> (instance ?PE ProtectiveEyewear) (hasPurpose ?PE (=> (and (instance ?PERSON Human) (wears ?PERSON ?PE)) (exists (?PROTECT ?EYE ?INJ) (and (instance ?PROTECT Process) (instrument ?PROTECT ?PE) (subclass ?INJ (KappaFn ?I (exists (?HUMAN) (and (instance ?I Injuring) (instance ?EYE Eye) (instance ?HUMAN Human) (properPart ?EYE ?HUMAN) (patient ?I ?EYE) (=> (holdsDuring ?T (patient ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROTECT ?PERSON)))))))) (prevents ?PROTECT ?INJ))))))	Cars.kif 3460-3486	instance Physical and ProtectiveEyewear hasPurpose Physical and instance PhysicalRSON and Human wears PhysicalRSON and Physical entity entity and entity instance entity and Process instrument entity and Physical subclass entity and KappaFn entity and entity instance entity and Injuring instance entity and Eye instance entity and Human properPart entity and entity patient entity and entity holdsDuring entity and patient entity and PhysicalRSON holdsDuring entity and patient entity and PhysicalRSON prevents entity and entity
(=> (instance ?PE ProtectiveEyewear) (hasPurpose ?PE (exists (?PERSON ?FACE ?EYE ?COVER) (and (instance ?PERSON Animal) (instance ?FACE Face) (instance ?EYE Eye) (properPart ?EYE ?FACE) (properPart ?FACE ?PERSON) (wears ?PERSON ?PE) (instance ?COVER Covering) (agent ?COVER ?PE) (patient ?COVER ?FACE)))))	Cars.kif 3488-3501	instance Physical and ProtectiveEyewear hasPurpose Physical and PhysicalRSON entity, entity and entity instance PhysicalRSON and Animal instance entity and Face instance entity and Eye properPart entity and entity properPart entity and PhysicalRSON wears PhysicalRSON and Physical instance entity and Covering agent entity and Physical patient entity and entity
(=> (instance ?R Retina) (exists (?E) (and (instance ?E Eye) (part ?R ?E))))	Mid-level-ontology.kif 9436-9441	instance Object and Retina Object instance Object and Eye part Object and Object
(=> (instance ?T TearSubstance) (exists (?P ?E) (and (instance ?E Eye) (instrument ?P ?E) (result ?P ?T))))	Mid-level-ontology.kif 9271-9277	instance Entity and TearSubstance Process Object instance Object and Eye instrument Process and Object result Process and Entity

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