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 13597-13598
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11804-11804
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10246-10246
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13596-13596	Seeing is a subclass of perception

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13627-13627	Looking is a subclass of seeing
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1217-1217	Looking is a subclass of seeing
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1655-1655	Looking is a subclass of seeing
No TPTP formula. May not be expressible in strict first order.	french_format.kif 895-895	Looking is a subclass of seeing
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 428-428	Looking is a subclass of seeing
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 431-431	Looking is a subclass of seeing
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2579-2579	Looking is a subclass of seeing
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 847-847	Looking is a subclass of seeing
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 433-433	Looking is a subclass of seeing
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 467-467	Looking is a subclass of seeing
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 726-726	Looking is a subclass of seeing
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 916-916	Looking is a subclass of seeing
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 432-432	Looking is a subclass of seeing

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3028-3042	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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3010-3026	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8124-8138	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 13600-13608	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 13617-13625	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 13610-13615	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 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6038-6047	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 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20863-20865	If blindness 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 16068-16078	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16052-16061	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14828-14830	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 2563-2569	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13006-13008	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 3619-3643	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
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