locatedAtTime - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - locatedAtTime

locatedAtTime

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23303-23306
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23299-23299	The number 1 argument of located at time is an instance of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23300-23300	The number 2 argument of located at time is an instance of time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23301-23301	The number 3 argument of located at time is an instance of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23298-23298	located at time is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1567-1567
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1566-1566
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1565-1565
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34865-34865
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34864-34864
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34863-34863

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23308-23310	An object located at time a time position for another object if and only if the object is located at the other object holds during the time position
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2537-2550	If a process is an instance of fog and the process is located at a region and the region is an instance of geographic area and an object is an instance of atmospheric region and the object is above to the region and another object is an instance of aerosal and the other object located at time the time of existence of the process for the object and the visibility at the region during the time of existence of the process is a real number meter(s), then the real number is less than 1000.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2566-2580	If a process is an instance of atmospheric hazing and the process is located at a region and the region is an instance of geographic area and an object is an instance of atmospheric region and the object is above to the region and another object located at time the time of existence of the process for the object and the visibility at the region during the time of existence of the process is a real number kilometer(s), then the real number is greater than 2.0 and the real number is less than 5.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22707-22711	If a collection located at time a time position for an object and a self connected object is a member of the collection during the time position, then the self connected object located at time the time position for the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23387-23391	If an object located at time a time position for a geographic area and the geographic area is a geographic subregion of another geographic area, then the object located at time the time position for the other geographic area

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22707-22711	If a collection located at time a time position for an object and a self connected object is a member of the collection during the time position, then the self connected object located at time the time position for the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23387-23391	If an object located at time a time position for a geographic area and the geographic area is a geographic subregion of another geographic area, then the object located at time the time position for the other geographic area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23312-23317	If an object plays role in event a case role for a process and the process exists during a time position and the process is located at another object, then the object located at time the time position for the other object
No TPTP formula. May not be expressible in strict first order.	Dining.kif 492-505	If an agent requires customers to wear an ambience, then the statement there exist an entity and another entity such that the entity is an instance of outfit and the agent believes the entity is the ambience and for all a third entity and a fourth entity the agent is a customer of the third entity and the third entity located at time the other entity for the agent and the fourth entity is a member of the entity and the third entity wears the fourth entity holds during the other entity has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	Justice.kif 47-49	If an object is observed at time in place an agent for a time position with another object, then the object located at time the time position for 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