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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3310-3311
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12551-12552
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11838-11838
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10269-10269
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12550-12550	Seeing is a subclass of perception

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12581-12581	Looking is a subclass of seeing
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1217-1217
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1660-1660

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 807-814	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6997-7011	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 12554-12562	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 12571-12579	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 12564-12569	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

No TPTP formula. May not be expressible in strict first order.	Biography.kif 518-537	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 5736-5745	If a process is an instance of concealing and an entity is a patient of the process, then the process 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17588-17590	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 12857-12867	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 12842-12851	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 purpose the formula and the third object 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 2313-2332	If arts and recreation tickets is an attribute of an object, then the object 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 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13742-13744	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 2959-2965	If a physical is an instance of optical device, then the physical 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10053-10055	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 3575-3599	If a physical is an instance of SafetyVest, then the physical 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 %n{ない} 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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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