Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
locatedAtTime
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
(
domain
locatedAtTime
2
TimePosition
)
Mid-level-ontology.kif 23299-23299
(
domain
locatedAtTime
3
Object
)
Mid-level-ontology.kif 23300-23300
(
instance
locatedAtTime
TernaryPredicate
)
Mid-level-ontology.kif 23297-23297
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
(=>
(
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
(=>
(
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
(=>
(
and
(
locatedAtTime
?COLLECTION ?TIME ?PLACE)
(
memberAtTime
?OBJ ?COLLECTION ?TIME))
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Mid-level-ontology.kif 22706-22710
(=>
(
and
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
geographicSubregion
?PLACE ?REGION))
(
locatedAtTime
?OBJ ?TIME ?REGION))
Mid-level-ontology.kif 23386-23390
consequent
(=>
(
and
(
locatedAtTime
?COLLECTION ?TIME ?PLACE)
(
memberAtTime
?OBJ ?COLLECTION ?TIME))
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Mid-level-ontology.kif 22706-22710
(=>
(
and
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
geographicSubregion
?PLACE ?REGION))
(
locatedAtTime
?OBJ ?TIME ?REGION))
Mid-level-ontology.kif 23386-23390
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Mid-level-ontology.kif 23311-23316
(=>
(
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
(=>
(
observedAtTimeInPlace
?OBJ ?AGENT ?TIME ?PLACE)
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Justice.kif 47-49
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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