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 24963-24966
(domain locatedAtTime 1 Object)	Mid-level-ontology.kif 24959-24959	The number 1 argument of located at time is an instance of object
(domain locatedAtTime 2 TimePosition)	Mid-level-ontology.kif 24960-24960	The number 2 argument of located at time is an instance of time position
(domain locatedAtTime 3 Object)	Mid-level-ontology.kif 24961-24961	The number 3 argument of located at time is an instance of object
(instance locatedAtTime TernaryPredicate)	Mid-level-ontology.kif 24958-24958	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 34893-34893
(termFormat ChineseTraditionalLanguage locatedAtTime "位於時間")	domainEnglishFormat.kif 34892-34892
(termFormat EnglishLanguage locatedAtTime "located at time")	domainEnglishFormat.kif 34891-34891

antecedent

(<=> (locatedAtTime ?OBJ ?TIME ?PLACE) (holdsDuring ?TIME (located ?OBJ ?PLACE)))	Mid-level-ontology.kif 24968-24970	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 2519-2532	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 2548-2562	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 24367-24371	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 25047-25051	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 24367-24371	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 25047-25051	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 24972-24977	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 ?MINE LandMine) (hasPurpose ?MINE (exists (?L ?E ?M ?O) (and (instance ?L LandArea) (located ?MINE ?L) (instance ?E Explosion) (instrument ?E ?MINE) (locatedAtTime ?MINE (WhenFn ?E) ?L) (causes ?M ?E) (instance ?M Motion) (eventLocated ?M ?L) (origin ?M ?O) (orientation ?O ?MINE On) (or (instance ?O Human) (instance ?O LandVehicle))))))	Mid-level-ontology.kif 19430-19448	If a physical is an instance of land mine, 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 land area and the physical is located at the entity and the other entity is an instance of explosion and the physical is an instrument for the other entity and the physical located at time the time of existence of the other entity for the entity and the third entity causes the other entity and the third entity is an instance of motion and the third entity is located at the entity and the third entity originates at the fourth entity and the fourth entity is on to the physical and the fourth entity is an instance of human or the fourth entity is an instance of land vehicle
(=> (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 3653-3666	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