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
-------------------------


s__documentation(s__locatedAtTime__m,s__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 22044-22047
s__domain(s__locatedAtTime__m,n__1,s__Object)

Mid-level-ontology.kif 22040-22040 The number 1 argument of located at time is an instance of object
s__domain(s__locatedAtTime__m,n__2,s__TimePosition)

Mid-level-ontology.kif 22041-22041 The number 2 argument of located at time is an instance of time position
s__domain(s__locatedAtTime__m,n__3,s__Object)

Mid-level-ontology.kif 22042-22042 The number 3 argument of located at time is an instance of object
s__instance(s__TernaryPredicate,s__SetOrClass)

s__instance(s__locatedAtTime__m,s__TernaryPredicate)

Mid-level-ontology.kif 22039-22039 located at time is an instance of ternary predicate

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__locatedAtTime__m,'"%1 %n{不} 对于 %3 在时间 %2 located "')

domainEnglishFormat.kif 1567-1567
s__format(s__ChineseTraditionalLanguage,s__locatedAtTime__m,'"%1 %n{不} 對於 %3 在時間 %2 located "')

domainEnglishFormat.kif 1566-1566
s__format(s__EnglishLanguage,s__locatedAtTime__m,'"%1 %n{doesnt} located at time %2 for %3"')

domainEnglishFormat.kif 1565-1565
s__termFormat(s__ChineseLanguage,s__locatedAtTime__m,'"位于时间"')

domainEnglishFormat.kif 34848-34848
s__termFormat(s__ChineseTraditionalLanguage,s__locatedAtTime__m,'"位於時間"')

domainEnglishFormat.kif 34847-34847
s__termFormat(s__EnglishLanguage,s__locatedAtTime__m,'"located at time"')

domainEnglishFormat.kif 34846-34846

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22049-22051 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
( ! [V__FOG,V__A,V__AIR,V__VISIBILITY,V__AREA] :
   ((s__instance(V__VISIBILITY,s__RealNumber) =>
       (((s__instance(V__FOG,s__Fogging) &
             s__eventLocated(V__FOG,V__AREA)
           &
           s__instance(V__AREA,s__GeographicArea) &
           s__instance(V__AIR,s__AtmosphericRegion) &
           s__orientation(V__AIR,V__AREA,s__Above) &
           s__instance(V__A,s__Aerosal) &
           s__locatedAtTime(V__A,s__WhenFn(V__FOG)
        ,V__AIR)
       &
       s__visibilityInMeteorology(V__AREA,s__WhenFn(V__FOG)
    ,s__MeasureFn(V__VISIBILITY,s__Meter)))
=>
(s__lessThan(V__VISIBILITY,n__1000)))))
)
)

Weather.kif 2530-2543
( ! [V__AIR,V__VISIBILITY,V__HAZE,V__AREA,V__PARTICULATE] :
   (((s__instance(V__VISIBILITY,s__RealNumber) &
         s__instance(V__PARTICULATE,s__Object))
       =>
       (((s__instance(V__HAZE,s__AtmosphericHazing) &
             s__eventLocated(V__HAZE,V__AREA)
           &
           s__instance(V__AREA,s__GeographicArea) &
           s__instance(V__AIR,s__AtmosphericRegion) &
           s__orientation(V__AIR,V__AREA,s__Above) &
           s__locatedAtTime(V__PARTICULATE,s__WhenFn(V__HAZE)
        ,V__AIR)
       &
       s__visibilityInMeteorology(V__AREA,s__WhenFn(V__HAZE)
    ,s__MeasureFn(V__VISIBILITY,s__Kilometer)))
=>
((s__greaterThan(V__VISIBILITY,n__2)
   &
   s__lessThan(V__VISIBILITY,n__5))))))
)
)

Weather.kif 2559-2573
( ! [V__TIME,V__PLACE,V__OBJ,V__COLLECTION] :
   (((s__instance(V__TIME,s__TimePosition) &
         s__instance(V__PLACE,s__Object) &
         s__instance(V__OBJ,s__SelfConnectedObject) &
         s__instance(V__COLLECTION,s__Collection))
       =>
       (((s__locatedAtTime(V__COLLECTION,V__TIME,V__PLACE)
           &
           s__memberAtTime(V__OBJ,V__COLLECTION,V__TIME))
       =>
       (s__locatedAtTime(V__OBJ,V__TIME,V__PLACE)))))
)
)

Mid-level-ontology.kif 21447-21451
( ! [V__REGION,V__TIME,V__PLACE,V__OBJ] :
   (((s__instance(V__REGION,s__GeographicArea) &
         s__instance(V__TIME,s__TimePosition) &
         s__instance(V__PLACE,s__GeographicArea) &
         s__instance(V__OBJ,s__Object))
       =>
       (((s__locatedAtTime(V__OBJ,V__TIME,V__PLACE)
           &
           s__geographicSubregion(V__PLACE,V__REGION))
       =>
       (s__locatedAtTime(V__OBJ,V__TIME,V__REGION)))))
)
)

Mid-level-ontology.kif 22128-22132

consequent
-------------------------


( ! [V__TIME,V__PLACE,V__OBJ,V__COLLECTION] :
   (((s__instance(V__TIME,s__TimePosition) &
         s__instance(V__PLACE,s__Object) &
         s__instance(V__OBJ,s__SelfConnectedObject) &
         s__instance(V__COLLECTION,s__Collection))
       =>
       (((s__locatedAtTime(V__COLLECTION,V__TIME,V__PLACE)
           &
           s__memberAtTime(V__OBJ,V__COLLECTION,V__TIME))
       =>
       (s__locatedAtTime(V__OBJ,V__TIME,V__PLACE)))))
)
)

Mid-level-ontology.kif 21447-21451
( ! [V__REGION,V__TIME,V__PLACE,V__OBJ] :
   (((s__instance(V__REGION,s__GeographicArea) &
         s__instance(V__TIME,s__TimePosition) &
         s__instance(V__PLACE,s__GeographicArea) &
         s__instance(V__OBJ,s__Object))
       =>
       (((s__locatedAtTime(V__OBJ,V__TIME,V__PLACE)
           &
           s__geographicSubregion(V__PLACE,V__REGION))
       =>
       (s__locatedAtTime(V__OBJ,V__TIME,V__REGION)))))
)
)

Mid-level-ontology.kif 22128-22132
( ! [V__TIME,V__PLACE,V__OBJ,V__ROLE,V__EVENT] :
   (((s__instance(V__TIME,s__TimePosition) &
         s__instance(V__PLACE,s__Object) &
         s__instance(V__OBJ,s__Object) &
         s__instance(V__ROLE,s__CaseRole) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__playsRoleInEvent(V__OBJ,V__ROLE,V__EVENT)
           &
           s__time(V__EVENT,V__TIME)
         &
         s__eventLocated(V__EVENT,V__PLACE))
     =>
     (s__locatedAtTime(V__OBJ,V__TIME,V__PLACE)))))
)
)

Mid-level-ontology.kif 22053-22058
( ! [V__AGENT,V__TIME,V__PLACE,V__OBJ] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__TIME,s__TimePosition) &
         s__instance(V__PLACE,s__Object) &
         s__instance(V__OBJ,s__Object))
       =>
       ((s__observedAtTimeInPlace(V__OBJ,V__AGENT,V__TIME,V__PLACE)
         =>
         (s__locatedAtTime(V__OBJ,V__TIME,V__PLACE)))))
)
)

Justice.kif 47-49


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