Seeing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Seeing

Seeing(seeing)

afterimage, aftersensation, anamorphism, anamorphosis, appear, ascertained, behold, beholding, blindly, browse, catch, catching, come_on, come_out, continuous_receiver_watch, dekko, descry, detection, discovered, erupt, espial, espy, evil_eye, eye-beaming, eyeful, face_recognition, fusion, gape, gawk, gawp, give_the_eye, give_the_glad_eye, give_the_once_over, glare, glimpse, glower, goggle, keep_one's_eyes_open, keep_one's_eyes_peeled, keep_one's_eyes_skinned, landfall, lay_eyes_on, listening_watch, look_away, lookout, lose, lose_sight_of, manifest, nonvisual, object_recognition...

appearance as argument number 1

(documentation Seeing ChineseLanguage "这个 subclass 是属于由视觉 Organ 作出感觉的 Perception。")	chinese_format.kif 3310-3311
(documentation Seeing EnglishLanguage "The subclass of Perception in which the sensing is done by an ocular Organ.")	Merge.kif 13568-13569
(externalImage Seeing "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Slum_boy_staring_at_camera.jpg")	pictureList.kif 11811-11811
(externalImage Seeing "http://upload.wikimedia.org/wikipedia/en/1/1d/Mirvseyes.jpg")	pictureList.kif 10248-10248
(subclass Seeing Perception)	Merge.kif 13567-13567	Seeing is a subclass of perception

appearance as argument number 2

(subclass Looking Seeing)	Merge.kif 13598-13598	Looking is a subclass of seeing
(termFormat ChineseLanguage Seeing "看")	chinese_format.kif 1217-1217	Looking is a subclass of seeing
(termFormat EnglishLanguage Seeing "seeing")	english_format.kif 1655-1655	Looking is a subclass of seeing
(termFormat FrenchLanguage Seeing "voir")	french_format.kif 895-895	Looking is a subclass of seeing
(termFormat Hindi Seeing "darshana")	terms-hindi.txt 428-428	Looking is a subclass of seeing
(termFormat ItalianLanguage Seeing "Vista")	terms-it.txt 431-431	Looking is a subclass of seeing
(termFormat JapaneseLanguage Seeing "見ること")	japanese_format.kif 2579-2579	Looking is a subclass of seeing
(termFormat PortugueseLanguage Seeing "Visao")	portuguese_format.kif 847-847	Looking is a subclass of seeing
(termFormat cb Seeing "pagtan-aw")	terms-cb.txt 433-433	Looking is a subclass of seeing
(termFormat cz Seeing "seeing")	terms-cz.txt 467-467	Looking is a subclass of seeing
(termFormat ro Seeing "vedere")	relations-ro.kif 916-916	Looking is a subclass of seeing
(termFormat tg Seeing "nagkikita")	terms-tg.txt 432-432	Looking is a subclass of seeing

antecedent

(=> (and (employs ?ORG ?CO) (instance ?D DoNetworkMessaging) (result ?D ?MSG) (attribute ?MSG NSFW) (instance ?S Seeing) (patient ?S ?MSG) (agent ?S ?CO)) (modalAttribute (exists (?PROC) (and (causes ?S ?PROC) (suffers ?PROC ?CO))) Possibility))	Medicine.kif 3040-3054	If an agent employs a cognitive agent and a process is an instance of do network messaging and an object is a result of the process and not safe for work is an attribute of the object and another process is an instance of seeing and the object is a patient of the other process and the cognitive agent is an agent of the other process, then the statement there exists an entity such that the other process causes the entity and the cognitive agent suffers from the entity has the modal force of possibility
(=> (and (employs ?ORG ?P) (employs ?ORG ?CO) (instance ?D DoNetworkMessaging) (result ?D ?MSG) (attribute ?MSG NSFW) (agent ?D ?P) (instance ?S Seeing) (patient ?S ?MSG) (agent ?S ?CO)) (modalAttribute (exists (?PROC) (and (causes ?D ?PROC) (suffers ?PROC ?P))) Likely))	Medicine.kif 3022-3038	If an agent employs a cognitive agent and the agent employs another cognitive agent and a process is an instance of do network messaging and an object is a result of the process and not safe for work is an attribute of the object and the cognitive agent is an agent of the process and another process is an instance of seeing and the object is a patient of the other process and the other cognitive agent is an agent of the other process, then the statement there exists the cognitive agentROC such that the process causes the cognitive agentROC and the cognitive agent suffers from the cognitive agentROC has the modal force of likely
(=> (and (instance ?R RadiatingLight) (instance ?H Human) (instance ?S Seeing) (agent ?S ?H) (patient ?S ?R)) (instance ?R RadiatingVisibleLight))	Mid-level-ontology.kif 617-624	If an entity is an instance of radiating light and an agent is an instance of human and a process is an instance of seeing and the agent is an agent of the process and the entity is a patient of the process, then the entity is an instance of radiating visible light
(=> (and (instance ?SEAT AuditoriumSeat) (part ?SEAT ?AUDITORIUM) (part ?STAGE ?AUDITORIUM) (instance ?AUDITORIUM Auditorium) (instance ?STAGE PerformanceStage) (located ?PERSON ?SEAT) (instance ?PERSON Human) (subclass ?SEE Seeing) (forall (?INST) (=> (instance ?INST ?SEE) (patient ?INST ?STAGE)))) (capability ?SEE agent ?PERSON))	Mid-level-ontology.kif 7569-7583	If an object is an instance of auditorium seat and the object is a part of another object and a third object is a part of the other object and the other object is an instance of auditorium and the third object is an instance of performance stage and a fourth object is located at the object and the fourth object is an instance of human and a kind of process is a subclass of seeing and for all another process if the other process is an instance of a kind of process, then the third object is a patient of the other process , then the fourth object is capable of doing the kind of process as a agent
(=> (and (instance ?SEE Seeing) (agent ?SEE ?AGENT) (patient ?SEE ?OBJ)) (exists (?PROP) (and (instance ?PROP ColorAttribute) (knows ?AGENT (attribute ?OBJ ?PROP)))))	Merge.kif 13571-13579	If a process is an instance of seeing and a cognitive agent is an agent of the process and an entity is a patient of the process, then there exists another entity such that the other entity is an instance of color attribute and the cognitive agent knows the other entity is an attribute of the entity
(=> (and (instance ?SEE Seeing) (patient ?SEE ?OBJ)) (exists (?ATTR) (and (instance ?ATTR ColorAttribute) (holdsDuring (WhenFn ?SEE) (attribute ?OBJ ?ATTR)))))	Merge.kif 13588-13596	If a process is an instance of seeing and an entity is a patient of the process, then there exists another entity such that the other entity is an instance of color attribute and the other entity is an attribute of the entity holds during the time of existence of the process
(=> (and (instance ?SEE Seeing) (patient ?SEE ?OBJ)) (holdsDuring (WhenFn ?SEE) (attribute ?OBJ Illuminated)))	Merge.kif 13581-13586	If a process is an instance of seeing and an entity is a patient of the process, then illuminated is an attribute of the entity holds during the time of existence of the process
(=> (and (instance ?SEEING Seeing) (patient ?SEEING ?OBJ) (agent ?SEEING ?AGENT) (instance ?OBJ Object) (time ?SEEING ?TIME) (holdsDuring ?TIME (located ?OBJ ?PLACE))) (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE))	Justice.kif 61-69	If a process is an instance of seeing and an object is a patient of the process and an agent is an agent of the process and the object is an instance of object and the process exists during a time position and the object is located at another object holds during the time position, then the object is observed at time in place the agent for the time position with the other object

consequent

(=> (and (attribute ?ACTOR VoiceActor) (instance ?DRAMA DramaticActing) (agent ?DRAMA ?ACTOR) (instance ?SPEAK LinguisticCommunication) (agent ?SPEAK ?ACTOR) (subProcess ?SPEAK ?DRAMA)) (and (not (exists (?S ?VIEWER) (and (instance ?S Seeing) (patient ?S ?ACTOR) (agent ?S ?VIEWER)))) (exists (?H ?VIEWER) (and (instance ?H Hearing) (patient ?H ?ACTOR) (agent ?H ?VIEWER)))))	Biography.kif 757-776	If voice actor is an attribute of an agent and a process is an instance of dramatic acting and the agent is an agent of the process and another process is an instance of linguistic communication and the agent is an agent of the other process and the other process is a subprocess of the process, then there don't exist a third process and another agent such that the third process is an instance of seeing and the agent is a patient of the third process and the other agent is an agent of the third process and there exist a fourth process and the other agent such that the fourth process is an instance of hearing and the agent is a patient of the fourth process and the other agent is an agent of the fourth process
(=> (and (instance ?C Concealing) (patient ?C ?OBJ)) (hasPurpose ?C (not (exists (?S) (and (instance ?S Seeing) (patient ?S ?OBJ))))))	Mid-level-ontology.kif 5483-5492	If a process is an instance of concealing and an entity is a patient of the process, then the process has the purpose there doesn't exist another entity such that the other entity is an instance of seeing and the entity is a patient of the other entity
(=> (and (viewType ?ROOM ?OBJ) (instance ?ROOM Room) (instance ?INST ?OBJ) (orientation ?INST ?ROOM Outside)) (modalAttribute (exists (?HUMAN ?SEE) (and (instance ?HUMAN Human) (located ?HUMAN ?ROOM) (instance ?SEE Seeing) (patient ?SEE ?INST) (agent ?SEE ?HUMAN))) Possibility))	Hotel.kif 954-967	If a person in an object can see a kind of physical and the object is an instance of room and another object is an instance of a kind of physical and the other object is outside to the object, then the statement there exist an entity and another entity such that the entity is an instance of human and the entity is located at the object and the other entity is an instance of seeing and the other object is a patient of the other entity and the entity is an agent of the other entity has the modal force of possibility
(=> (attribute ?AGENT Blind) (not (capability Seeing agent ?AGENT)))	Mid-level-ontology.kif 20032-20034	If blind is an attribute of an object, then the object is not capable of doing seeing as a agent
(=> (attribute ?O Translucent) (modalAttribute (not (exists (?S ?A ?D) (and (instance ?S Seeing) (agent ?S ?A) (destination ?S ?D) (between ?O ?A ?D)))) Likely))	Mid-level-ontology.kif 15358-15368	If translucent is an attribute of an object, then the statement there don't exist an entity, another entity and a third entity such that the entity is an instance of seeing and the other entity is an agent of the entity and the entity ends up at the third entity and the other entity is between the object and the third entity has the modal force of likely
(=> (attribute ?O Transparent) (modalAttribute (exists (?S ?A ?D) (and (instance ?S Seeing) (agent ?S ?A) (destination ?S ?D) (between ?O ?A ?D))) Possibility))	Mid-level-ontology.kif 15342-15351	If transparent is an attribute of an object, then the statement there exist an entity, another entity and a third entity such that the entity is an instance of seeing and the other entity is an agent of the entity and the entity ends up at the third entity and the other entity is between the object and the third entity has the modal force of possibility
(=> (attribute ?ROOM OpenLayout) (and (instance ?ROOM Room) (exists (?R1 ?R2 ?H) (and (instance ?R1 Region) (instance ?R2 Region) (located ?R1 ?ROOM) (located ?R2 ?ROOM) (not (equal ?R1 ?R2)) (orientation ?R1 ?R2 Adjacent) (exists (?P1 ?P2) (and (instance ?P1 Process) (instance ?P2 Process) (hasPurpose ?R1 ?P1) (hasPurpose ?R2 ?P2))) (=> (and (instance ?H AutonomousAgent) (located ?H ?R2)) (and (capability Seeing agent ?H) (capability Seeing patient ?R1)))))))	Dining.kif 956-980	If open layout is an attribute of an object, then the object is an instance of room and there exist another object, a third object and a fourth object such that the other object is an instance of region and the third object is an instance of region and the other object is located at the object and the third object is located at the object and the other object is not equal to the third object and the other object is adjacent to the third object and there exist a formula and another formula such that the formula is an instance of process and the other formula is an instance of process and the other object has the purpose the formula and the third object has the purpose the other formula and if the fourth object is an instance of agent and the fourth object is located at the third object, then the fourth object is capable of doing seeing as a agent and the other object is capable of doing seeing as a patient
(=> (attribute ?X ArtsAndRecreationTicketingServices) (hasPurpose ?X (exists (?SELL ?TICKET ?CUST) (and (instance ?SELL Selling) (patient ?SELL ?TICKET) (agent ?SELL ?X) (instance ?TICKET Ticket) (destination ?SELL ?CUST) (hasPurpose ?TICKET (confersRight (exists (?WATCH ?PERF) (and (instance ?WATCH Seeing) (agent ?WATCH ?CUST) (patient ?WATCH ?PERF) (or (instance ?PERF Performance) (instance ?PERF Sport)))) ?X ?CUST))))))	Hotel.kif 2353-2372	If arts and recreation tickets is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of selling and the other entity is a patient of the entity and the object is an agent of the entity and the other entity is an instance of ticket and the entity ends up at the third entity and the other entity has the purpose the object allows the third entity to perform task of the type there exist a fourth entity and a fifth entity such that the fourth entity is an instance of seeing and the third entity is an agent of the fourth entity and the fifth entity is a patient of the fourth entity and the fifth entity is an instance of performance or the fifth entity is an instance of sport
(=> (instance ?CLOUD Cloud) (capability Seeing patient ?CLOUD))	Merge.kif 14800-14802	If an object is an instance of cloud, then the object is capable of doing seeing as a patient
(=> (instance ?D OpticalDevice) (hasPurpose ?D (exists (?S) (and (instance ?S Seeing) (instrument ?S ?D)))))	Mid-level-ontology.kif 2490-2496	If a physical is an instance of optical device, then the physical has the purpose there exists an entity such that the entity is an instance of seeing and the physical is an instrument for the entity
(=> (instance ?E Exhaust) (modalAttribute (capability Seeing patient ?E) Possibility))	Cars.kif 1161-1165	If an entity is an instance of exhaust, then the statement the entity is capable of doing seeing as a patient has the modal force of possibility
(=> (instance ?E Exhaust) (modalAttribute (not (capability Seeing patient ?E)) Possibility))	Cars.kif 1167-1172	If an entity is an instance of exhaust, then the statement the entity is not capable of doing seeing as a patient has the modal force of possibility
(=> (instance ?EYE Eye) (capability Seeing instrument ?EYE))	Mid-level-ontology.kif 12328-12330	If an object is an instance of eye, then the object is capable of doing seeing as a instrument
(=> (instance ?SV SafetyVest) (hasPurpose ?SV (exists (?PERSON ?SPECTATOR) (and (instance ?PERSON Animal) (instance ?SPECTATOR Human) (increasesLikelihood (wears ?PERSON ?SV) (exists (?SEE) (and (instance ?SEE Seeing) (patient ?SEE ?PERSON) (experiencer ?SEE ?SPECTATOR)))) (decreasesLikelihood (exists (?SEE) (and (instance ?SEE Seeing) (patient ?SEE ?PERSON) (experiencer ?SEE ?SPECTATOR))) (exists (?INJ) (and (instance ?INJ Injuring) (agent ?INJ ?SPECTATOR) (patient ?INJ ?PERSON))))))))	Cars.kif 3543-3567	If a physical is an instance of safety vest, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of animal and the other entity is an instance of human and the entity wears the physical increases likelihood of there exists a third entity such that the third entity is an instance of seeing and the entity is a patient of the third entity and the other entity experiences the third entity and there exists the third entity such that the third entity is an instance of seeing and the entity is a patient of the third entity and the other entity experiences the third entity decreases likelihood of there exists a fourth entity such that the fourth entity is an instance of injuring and the other entity is an agent of the fourth entity and the entity is a patient of the fourth entity
(=> (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE) (exists (?SEEING) (and (instance ?SEEING Seeing) (agent ?SEEING ?AGENT) (during (WhenFn ?SEEING) ?TIME) (located ?SEEING ?PLACE) (patient ?SEEING ?OBJ))))	Justice.kif 51-59	If an object is observed at time in place an agent for a time interval with another object, then there exists a process such that the process is an instance of seeing and the agent is an agent of the process and the time of existence of the process takes place during the time interval and the process is located at the other object and the object is a patient of the process
(=> (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE) (playsRoleInEventOfType ?AGENT agent Seeing ?TIME ?PLACE))	Justice.kif 75-77	If an object is observed at time in place an agent for a time position with another object, then the agent plays role in event of type agent for seeing with the time position and the other object
(=> (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE) (playsRoleInEventOfType ?OBJ patient Seeing ?TIME ?PLACE))	Justice.kif 71-73	If an object is observed at time in place an agent for a time position with another object, then the object plays role in event of type patient for seeing with the time position and the other object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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