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 23303-23306
(
domain
locatedAtTime
1
Object
)
Mid-level-ontology.kif 23299-23299
(
domain
locatedAtTime
2
TimePosition
)
Mid-level-ontology.kif 23300-23300
(
domain
locatedAtTime
3
Object
)
Mid-level-ontology.kif 23301-23301
(
instance
locatedAtTime
TernaryPredicate
)
Mid-level-ontology.kif 23298-23298
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 23308-23310
(=>
(
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 2537-2550
(=>
(
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 2566-2580
(=>
(
and
(
locatedAtTime
?COLLECTION ?TIME ?PLACE)
(
memberAtTime
?OBJ ?COLLECTION ?TIME))
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Mid-level-ontology.kif 22707-22711
(=>
(
and
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
geographicSubregion
?PLACE ?REGION))
(
locatedAtTime
?OBJ ?TIME ?REGION))
Mid-level-ontology.kif 23387-23391
consequent
(=>
(
and
(
locatedAtTime
?COLLECTION ?TIME ?PLACE)
(
memberAtTime
?OBJ ?COLLECTION ?TIME))
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Mid-level-ontology.kif 22707-22711
(=>
(
and
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
geographicSubregion
?PLACE ?REGION))
(
locatedAtTime
?OBJ ?TIME ?REGION))
Mid-level-ontology.kif 23387-23391
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Mid-level-ontology.kif 23312-23317
(=>
(
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