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

(documentation locatedAtTime EnglishLanguage "(locatedAtTime ?OBJ ?TIME ?PLACE) means that during the time specified by ?TIME, ?OBJ was in the location specified by ?PLACE.")	Mid-level-ontology.kif 23302-23305
(domain locatedAtTime 1 Object)	Mid-level-ontology.kif 23298-23298	The number 1 argument of located at time is an instance of object
(domain locatedAtTime 2 TimePosition)	Mid-level-ontology.kif 23299-23299	The number 2 argument of located at time is an instance of time position
(domain locatedAtTime 3 Object)	Mid-level-ontology.kif 23300-23300	The number 3 argument of located at time is an instance of object
(instance locatedAtTime TernaryPredicate)	Mid-level-ontology.kif 23297-23297	located at time is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage locatedAtTime "%1 %n{不} 对于 %3 在时间 %2 located ")	domainEnglishFormat.kif 1567-1567
(format ChineseTraditionalLanguage locatedAtTime "%1 %n{不} 對於 %3 在時間 %2 located ")	domainEnglishFormat.kif 1566-1566
(format EnglishLanguage locatedAtTime "%1 %n{doesn't} located at time %2 for %3")	domainEnglishFormat.kif 1565-1565
(termFormat ChineseLanguage locatedAtTime "位于时间")	domainEnglishFormat.kif 34865-34865
(termFormat ChineseTraditionalLanguage locatedAtTime "位於時間")	domainEnglishFormat.kif 34864-34864
(termFormat EnglishLanguage locatedAtTime "located at time")	domainEnglishFormat.kif 34863-34863

antecedent

(<=> (locatedAtTime ?OBJ ?TIME ?PLACE) (holdsDuring ?TIME (located ?OBJ ?PLACE)))	Mid-level-ontology.kif 23307-23309	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
(=> (and (instance ?FOG Fogging) (eventLocated ?FOG ?AREA) (instance ?AREA GeographicArea) (instance ?AIR AtmosphericRegion) (orientation ?AIR ?AREA Above) (instance ?A Aerosal) (locatedAtTime ?A (WhenFn ?FOG) ?AIR) (visibilityInMeteorology ?AREA (WhenFn ?FOG) (MeasureFn ?VISIBILITY Meter))) (lessThan ?VISIBILITY 1000.0))	Weather.kif 2533-2546	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
(=> (and (instance ?HAZE AtmosphericHazing) (eventLocated ?HAZE ?AREA) (instance ?AREA GeographicArea) (instance ?AIR AtmosphericRegion) (orientation ?AIR ?AREA Above) (locatedAtTime ?PARTICULATE (WhenFn ?HAZE) ?AIR) (visibilityInMeteorology ?AREA (WhenFn ?HAZE) (MeasureFn ?VISIBILITY Kilometer))) (and (greaterThan ?VISIBILITY 2.0) (lessThan ?VISIBILITY 5.0)))	Weather.kif 2562-2576	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
(=> (and (locatedAtTime ?COLLECTION ?TIME ?PLACE) (memberAtTime ?OBJ ?COLLECTION ?TIME)) (locatedAtTime ?OBJ ?TIME ?PLACE))	Mid-level-ontology.kif 22706-22710	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
(=> (and (locatedAtTime ?OBJ ?TIME ?PLACE) (geographicSubregion ?PLACE ?REGION)) (locatedAtTime ?OBJ ?TIME ?REGION))	Mid-level-ontology.kif 23386-23390	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

(=> (and (locatedAtTime ?COLLECTION ?TIME ?PLACE) (memberAtTime ?OBJ ?COLLECTION ?TIME)) (locatedAtTime ?OBJ ?TIME ?PLACE))	Mid-level-ontology.kif 22706-22710	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
(=> (and (locatedAtTime ?OBJ ?TIME ?PLACE) (geographicSubregion ?PLACE ?REGION)) (locatedAtTime ?OBJ ?TIME ?REGION))	Mid-level-ontology.kif 23386-23390	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
(=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (time ?EVENT ?TIME) (eventLocated ?EVENT ?PLACE)) (locatedAtTime ?OBJ ?TIME ?PLACE))	Mid-level-ontology.kif 23311-23316	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
(=> (dressCode ?CODE ?AGENT) (modalAttribute (exists (?OUTFIT ?T) (and (instance ?OUTFIT Outfit) (subjectiveAttribute ?OUTFIT ?CODE ?AGENT) (holdsDuring ?T (forall (?CUST ?ITEM) (and (customer ?CUST ?AGENT) (locatedAtTime ?CUST ?T ?AGENT) (member ?ITEM ?OUTFIT) (wears ?CUST ?ITEM)))))) Obligation))	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
(=> (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE) (locatedAtTime ?OBJ ?TIME ?PLACE))	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