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 23618-23621
(domain locatedAtTime 1 Object)	Mid-level-ontology.kif 23614-23614	The number 1 argument of located at time is an instance of object
(domain locatedAtTime 2 TimePosition)	Mid-level-ontology.kif 23615-23615	The number 2 argument of located at time is an instance of time position
(domain locatedAtTime 3 Object)	Mid-level-ontology.kif 23616-23616	The number 3 argument of located at time is an instance of object
(instance locatedAtTime TernaryPredicate)	Mid-level-ontology.kif 23613-23613	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 34894-34894
(termFormat ChineseTraditionalLanguage locatedAtTime "位於時間")	domainEnglishFormat.kif 34893-34893
(termFormat EnglishLanguage locatedAtTime "located at time")	domainEnglishFormat.kif 34892-34892

antecedent

(<=> (locatedAtTime ?OBJ ?TIME ?PLACE) (holdsDuring ?TIME (located ?OBJ ?PLACE)))	Mid-level-ontology.kif 23623-23625	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 2520-2533	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 2549-2563	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 23022-23026	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 23702-23706	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 23022-23026	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 23702-23706	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 23627-23632	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
(=> (instance ?S AirportStagingArea) (hasPurpose ?S (exists (?B ?C ?D ?T) (and (instance ?B Boarding) (instance ?C Collection) (instrument ?B ?C) (member ?D ?C) (instance ?D Device) (locatedAtTime ?C ?T ?S) (during ?T (WhenFn ?B))))))	Transportation.kif 1318-1329	If a physical is an instance of airport staging area, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of boarding and the other entity is an instance of collection and the other entity is an instrument for the entity and the third entity is a member of the other entity and the third entity is an instance of device and the other entity located at time the fourth entity for the physical and the fourth entity takes place during the time of existence of the entity
(=> (instance ?S AirportStagingArea) (hasPurpose ?S (exists (?DB ?C ?D ?T) (and (instance ?DB Deboarding) (instance ?C Collection) (instrument ?DB ?C) (member ?D ?C) (instance ?D Device) (locatedAtTime ?C ?T ?S) (during ?T (WhenFn ?DB))))))	Transportation.kif 1331-1342	If a physical is an instance of airport staging area, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of deboarding and the other entity is an instance of collection and the other entity is an instrument for the entity and the third entity is a member of the other entity and the third entity is an instance of device and the other entity located at time the fourth entity for the physical and the fourth entity takes place during the time of existence of the entity
(=> (instance ?TERM TransitTerminal) (hasPurpose ?TERM (exists (?T ?P ?) (and (instance ?T Translocation) (locatedAtTime ?P ?TIME ?TERM) (or (passenger ?T ?P) (conveyance ?T ?P)) (equal ?TIME (or (BeginFn (WhenFn ?T)) (EndFn (WhenFn ?T))))))))	Transportation.kif 3649-3662	If a physical is an instance of transit terminal, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of translocation and the other entity located at time the entityIME for the physical and the other entity is a passenger in the entity or the other entity is a conveyance during the entity and the entityIME is equal to the beginning of the time of existence of the entity or the end of the time of existence of the entity
(=> (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