Looking - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Looking

Looking(looking)

admire, catch, catch_a_glimpse, catch_sight, consider, contemplate, contemplation, coup_d'oeil, examine, eye, eyeball, follow, gaze, get_a_load, get_a_look, glance, glimpse, glint, have_a_look, inspect, keep_an_eye_on, keep_tabs_on, leer, look, look_after, look_around, look_back, look_backward, look_on, look_out, looking, looking_at, monitor, monitoring, note, observance, observation, observe, peek, peep, peer, reexamine, regard, review, scrutinise, scrutinize, see, sight, size_up, stare...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3312-3312
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13554-13554
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6677-6677
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13553-13553	Looking is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13552-13552	Looking is a subclass of seeing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35021-35021
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35020-35020
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35019-35019

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2728-2748	If the visibility at a region during a time interval is a real number an unit of measure(s) and the unit of measure is an instance of unit of measure and the time interval is an instance of day time and a process is an instance of looking and an object is an instance of object and the object is the color black and an agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the process is located at the region and the time of existence of the process takes place during the time interval and the object is an instance of object, then there exists another real number such that the distance between the agent and the object is the other real number the unit of measure(s) and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2750-2771	If the visibility at a region during a time interval is a real number an unit of measure(s) and the unit of measure is an instance of unit of measure and the time interval is an instance of night time and a process is an instance of looking and an object is an instance of region and illuminated is an attribute of the object and the measure of the object is 1000.0 candela(s) and an agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the process is located at the region and the time of existence of the process takes place during the time interval and the object is an instance of object, then there exists another real number such that the distance between the agent and the object is the other real number the unit of measure(s) and the real number is greater than the other real number

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15887-15900	If a process is an instance of commenting and an entity is an instance of process and the entity is a patient of the process, then there exist an agent, another process and a third process such that the agent is an instance of agent and the other process is an instance of speaking and the third process is an instance of looking and the agent is an agent of the other process and the agent is an agent of the third process and the entity is a patient of the third process and the other process includes a reference to the entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2709-2726	If the visibility at a region during a time interval is a real number an unit of measure(s) and the unit of measure is an instance of unit of measure, then there don't exist a process, an agent,, , an object and another real number such that the process is an instance of looking and the agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the time of existence of the process takes place during the time interval and the process is located at the region and the distance between the agent and the object is the other real number the unit of measure(s) and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1726-1733	If a human has an integer/another integer eyesight, then there exist an entity and a process such that the entity is an instance of Snellen chart and the process is an instance of looking and the process ends up at the entity and the human is an agent of the process

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