TreeView Knowledge Base Browser - Seeing

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

s__documentation(s__Seeing,s__ChineseLanguage,'"这个 subclass 是属于由视觉 Organ 作出感觉的 Perception。"')	chinese_format.kif 3310-3311
s__documentation(s__Seeing,s__EnglishLanguage,'"The subclass of Perception in which the sensing is done by an ocular Organ."')	Merge.kif 12911-12912
s__externalImage(s__Seeing,'"http://upload.wikimedia.org/wikipedia/commons/7/7e/ Slum_boy_staring_at_camera.jpg"')	pictureList.kif 11827-11827
s__externalImage(s__Seeing,'"http://upload.wikimedia.org/wikipedia/en/1/1d/Mirvseyes.jpg"')	pictureList.kif 10258-10258
s__instance(s__Perception,s__Class) s__subclass(s__Seeing,s__Perception) s__instance(s__Seeing,s__Class)	Merge.kif 12910-12910	Seeing is a subclass of perception

appearance as argument number 2

s__subclass(s__Looking,s__Seeing)

s__instance(s__Looking,s__Class)

s__instance(s__Seeing,s__Class)

Merge.kif 12941-12941

Looking is a subclass of seeing

s__termFormat(s__ChineseLanguage,s__Seeing,'"看"')

chinese_format.kif 1217-1217

s__termFormat(s__EnglishLanguage,s__Seeing,'"seeing"')

english_format.kif 1655-1655

antecedent

( ! [V__R,V__S,V__H] : (((s__instance(V__R,s__RadiatingLight) & s__instance(V__H,s__Human) & s__instance(V__S,s__Seeing) & s__agent(V__S,V__H) & s__patient(V__S,V__R)) => (s__instance(V__R,s__RadiatingVisibleLight))) ) )	Mid-level-ontology.kif 595-602	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
( ! [V__STAGE,V__AUDITORIUM,V__SEE,V__SEAT,V__PERSON] : (((s__instance(V__SEE,s__Class) & s__subclass(V__SEE,s__Process)) => (((s__instance(V__SEAT,s__AuditoriumSeat) & s__part(V__SEAT,V__AUDITORIUM) & s__part(V__STAGE,V__AUDITORIUM) & s__instance(V__AUDITORIUM,s__Auditorium) & s__instance(V__STAGE,s__PerformanceStage) & s__located(V__PERSON,V__SEAT) & s__instance(V__PERSON,s__Human) & s__subclass(V__SEE,s__Seeing) & ( ! [V__INST] : ((s__instance(V__INST,s__Process) => ((s__instance(V__INST,V__SEE) => (s__patient(V__INST,V__STAGE)))))))) => (s__capability(V__SEE,s__agent__m,V__PERSON))))) ) )	Mid-level-ontology.kif 6987-7001	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12914-12922	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12931-12939	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12924-12929	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
No TPTP formula. May not be expressible in strict first order.	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

( ! [V__ACTOR,V__SPEAK,V__DRAMA,V__VIEWER] : (((s__instance(V__ACTOR,s__Agent) & s__instance(V__VIEWER,s__Agent)) => (((s__attribute(V__ACTOR,s__VoiceActor) & s__instance(V__DRAMA,s__DramaticActing) & s__agent(V__DRAMA,V__ACTOR) & s__instance(V__SPEAK,s__LinguisticCommunication) & s__agent(V__SPEAK,V__ACTOR) & s__subProcess(V__SPEAK,V__DRAMA)) => ((~(( ? [V__S] : ((s__instance(V__S,s__Seeing) & s__patient(V__S,V__ACTOR) & s__agent(V__S,V__VIEWER))))) & ( ? [V__H] : ((s__instance(V__H,s__Hearing) & s__patient(V__H,V__ACTOR) & s__agent(V__H,V__VIEWER))))))))) ) )	Biography.kif 524-543	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 doesn't exist a third process such that the third process is an instance of seeing and the agent is a patient of the third process and another agent is an agent of the third process and there exists a fourth process 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5158-5167	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 932-945	If a person in an object can see a kind of physical and the object is an instance of room and a kind of physical is outside to the object, then the statement there exist an entity, another entity and a third 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 third entity is an instance of the kind of physical and the third entity is a patient of the other entity and the entity is an agent of the other entity has the modal force of possibility
( ! [V__AGENT] : ((s__instance(V__AGENT,s__Object) => ((s__attribute(V__AGENT,s__Blind) => (~(s__capability(s__Seeing,s__agent__m,V__AGENT)))))) ) )	Mid-level-ontology.kif 18979-18981	If blind is an attribute of an object, then the object is not capable of doing seeing as a agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14439-14449	If translucent is an attribute of an object, then the statement there doesn't exist an entity such that the entity is an instance of seeing and another entity is an agent of the entity and the entity ends up at a third entity and the other entity is between the object and the third entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14423-14432	If transparent is an attribute of an object, then the statement there exists an entity such that the entity is an instance of seeing and another entity is an agent of the entity and the entity ends up at a third entity and the other entity is between the object and the third entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Dining.kif 909-933	If open layout is an attribute of an object, then the object is an instance of room and there exist another object and a third 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 a 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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2326-2345	If arts and recreation tickets is an attribute of an object, then the object has the purpose there exist an entity and another 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 a 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
( ! [V__CLOUD] : ((s__instance(V__CLOUD,s__Cloud) => (s__capability(s__Seeing,s__patient__m,V__CLOUD))) ) )	Merge.kif 14111-14113	If an object is an instance of cloud, then the object is capable of doing seeing as a patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2435-2441	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
( ! [V__EYE] : ((s__instance(V__EYE,s__Eye) => (s__capability(s__Seeing,s__instrument__m,V__EYE))) ) )	Mid-level-ontology.kif 11460-11462	If an object is an instance of eye, then the object is capable of doing seeing as a instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3562-3586	If a physical is an instance of SafetyVest, 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
( ! [V__AGENT,V__TIME,V__PLACE,V__OBJ] : (((s__instance(V__AGENT,s__Agent) & s__instance(V__TIME,s__TimeInterval) & s__instance(V__PLACE,s__Object) & s__instance(V__OBJ,s__Object)) => ((s__observedAtTimeInPlace(V__OBJ,V__AGENT,V__TIME,V__PLACE) => (( ? [V__SEEING] : ((s__instance(V__SEEING,s__Seeing) & s__agent(V__SEEING,V__AGENT) & s__during(s__WhenFn(V__SEEING) ,V__TIME) & s__located(V__SEEING,V__PLACE) & s__patient(V__SEEING,V__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
( ! [V__AGENT,V__TIME,V__PLACE,V__OBJ] : (((s__instance(V__AGENT,s__Agent) & s__instance(V__TIME,s__TimePosition) & s__instance(V__PLACE,s__Object) & s__instance(V__OBJ,s__Object)) => ((s__observedAtTimeInPlace(V__OBJ,V__AGENT,V__TIME,V__PLACE) => (s__playsRoleInEventOfType(V__AGENT,s__agent__m,s__Seeing,V__TIME,V__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
( ! [V__AGENT,V__TIME,V__PLACE,V__OBJ] : (((s__instance(V__AGENT,s__Agent) & s__instance(V__TIME,s__TimePosition) & s__instance(V__PLACE,s__Object) & s__instance(V__OBJ,s__Object)) => ((s__observedAtTimeInPlace(V__OBJ,V__AGENT,V__TIME,V__PLACE) => (s__playsRoleInEventOfType(V__OBJ,s__patient__m,s__Seeing,V__TIME,V__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 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