Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| locatedAtTime |
| appearance as argument number 1 |
|
| (instance locatedAtTime TernaryPredicate) | Mid-level-ontology.kif 25616-25616 | located at time is an instance of ternary predicate |
| (domain locatedAtTime 1 Object) | Mid-level-ontology.kif 25617-25617 | The number 1 argument of located at time is an instance of object |
| (domain locatedAtTime 2 TimePosition) | Mid-level-ontology.kif 25618-25618 | The number 2 argument of located at time is an instance of time position |
| (domain locatedAtTime 3 Object) | Mid-level-ontology.kif 25619-25619 | The number 3 argument of located at time is an instance of object |
| (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 25621-25624 | The number 3 argument of located at time is an instance of object |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage locatedAtTime "%1 %n{doesn't} located at time %2 for %3") | domainEnglishFormat.kif 1565-1565 | |
| (format ChineseTraditionalLanguage locatedAtTime "%1 %n{不} 對於 %3 在時間 %2 located ") | domainEnglishFormat.kif 1566-1566 | |
| (format ChineseLanguage locatedAtTime "%1 %n{不} 对于 %3 在时间 %2 located ") | domainEnglishFormat.kif 1567-1567 | |
| (termFormat EnglishLanguage locatedAtTime "located at time") | domainEnglishFormat.kif 34867-34867 | |
| (termFormat ChineseTraditionalLanguage locatedAtTime "位於時間") | domainEnglishFormat.kif 34868-34868 | |
| (termFormat ChineseLanguage locatedAtTime "位于时间") | domainEnglishFormat.kif 34869-34869 |
| antecedent |
|
|
| (=> (and (locatedAtTime ?COLLECTION ?TIME ?PLACE) (memberAtTime ?OBJ ?COLLECTION ?TIME)) (locatedAtTime ?OBJ ?TIME ?PLACE)) |
Mid-level-ontology.kif 24985-24989 | If X located at time Y for Z and W is a member of X during Y, then W located at time Y for Z |
| (<=> (locatedAtTime ?OBJ ?TIME ?PLACE) (holdsDuring ?TIME (located ?OBJ ?PLACE))) |
Mid-level-ontology.kif 25626-25628 | X located at time Y for Z if and only if X is located at Z holds during Y |
| (=> (and (locatedAtTime ?OBJ ?TIME ?PLACE) (geographicSubregion ?PLACE ?REGION)) (locatedAtTime ?OBJ ?TIME ?REGION)) |
Mid-level-ontology.kif 25705-25709 | If X located at time Y for Z and Z is a geographic subregion of W, then X located at time Y for W |
| (=> (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 3804-3817 | If All of the following hold: (1) X is an instance of fog (2) X is located at Y (3) Y is an instance of geographic area (4) Z is an instance of atmospheric region (5) Z is above to Y (6) W is an instance of aerosal (7) W located at time the time of existence of X for Z (8) the visibility at Y during the time of existence of X is V meter(s), then V 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 3833-3847 | If All of the following hold: (1) X is an instance of atmospheric hazing (2) X is located at Y (3) Y is an instance of geographic area (4) Z is an instance of atmospheric region (5) Z is above to Y (6) W located at time the time of existence of X for Z (7) the visibility at Y during the time of existence of X is V kilometer(s), then V is greater than 2.0 and V is less than 5.0 |
| consequent |
|
|
| (=> (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 19776-19794 | If X is an instance of land mine, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of land area (3) X is located at Y (4) Z is an instance of explosion (5) X is an instrument for Z (6) X located at time the time of existence of Z for Y (7) W causes Z (8) W is an instance of motion (9) W is located at Y (10) W originates at V (11) V is on to X (12) V is an instance of human or V is an instance of land vehicle |
| (=> (and (locatedAtTime ?COLLECTION ?TIME ?PLACE) (memberAtTime ?OBJ ?COLLECTION ?TIME)) (locatedAtTime ?OBJ ?TIME ?PLACE)) |
Mid-level-ontology.kif 24985-24989 | If X located at time Y for Z and W is a member of X during Y, then W located at time Y for Z |
| (=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (time ?EVENT ?TIME) (eventLocated ?EVENT ?PLACE)) (locatedAtTime ?OBJ ?TIME ?PLACE)) |
Mid-level-ontology.kif 25630-25635 | If X plays role in event Y for Z, Z exists during W, and Z is located at V, then X located at time W for V |
| (=> (and (locatedAtTime ?OBJ ?TIME ?PLACE) (geographicSubregion ?PLACE ?REGION)) (locatedAtTime ?OBJ ?TIME ?REGION)) |
Mid-level-ontology.kif 25705-25709 | If X located at time Y for Z and Z is a geographic subregion of W, then X located at time Y for W |
| (=> (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 X requires customers to wear Y, then All of the following hold: (1) the statement there exist Z (2) W such that Z is an instance of outfit (3) X believes Z is Y (4) V (5) U X is a customer of V (6) V located at time W for X (7) U is a member of Z (8) V wears U holds during W has the modal force of obligation |
| (=> (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE) (locatedAtTime ?OBJ ?TIME ?PLACE)) |
Justice.kif 47-49 | If X is observed at time in place Y for Z with W, then X located at time Z for W |
| (=> (instance ?S AirportStagingArea) (hasPurpose ?S (exists (?B ?C ?D ?T) (and (instance ?B Boarding) (instance ?C CollectionOfObjects) (instrument ?B ?C) (member ?D ?C) (instance ?D Device) (locatedAtTime ?C ?T ?S) (during ?T (WhenFn ?B)))))) |
Transportation.kif 1318-1329 | If X is an instance of airport staging area, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of boarding (3) Z is an instance of collection (4) Z is an instrument for Y (5) W is a member of Z (6) W is an instance of device (7) Z located at time V for X (8) V takes place during the time of existence of Y |
| (=> (instance ?S AirportStagingArea) (hasPurpose ?S (exists (?DB ?C ?D ?T) (and (instance ?DB Deboarding) (instance ?C CollectionOfObjects) (instrument ?DB ?C) (member ?D ?C) (instance ?D Device) (locatedAtTime ?C ?T ?S) (during ?T (WhenFn ?DB)))))) |
Transportation.kif 1331-1342 | If X is an instance of airport staging area, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of deboarding (3) Z is an instance of collection (4) Z is an instrument for Y (5) W is a member of Z (6) W is an instance of device (7) Z located at time V for X (8) V takes place during the time of existence of Y |
| (=> (instance ?TERM TransitTerminal) (hasPurpose ?TERM (exists (?T ?P ?TIME) (and (instance ?T Translocation) (locatedAtTime ?P ?TIME ?TERM) (or (passenger ?T ?P) (conveyance ?T ?P)) (or (equal ?TIME (BeginFn (WhenFn ?T))) (equal ?TIME (EndFn (WhenFn ?T)))))))) |
Transportation.kif 4196-4208 | If X is an instance of transit terminal, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of translocation (3) Z located at time W for X (4) Z is a passenger in Y, Z is a conveyance during Y (5) equal W (6) the beginning of the time of existence of Y, or equal W (7) the end of the time of existence of Y |
|