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
Die Zahl 1 Argument von
locatedAtTime
ist ein
fall
von
Object
%n{nicht}
(
domain
locatedAtTime
2
TimePosition
)
Mid-level-ontology.kif 23300-23300
Die Zahl 2 Argument von
locatedAtTime
ist ein
fall
von
TimePosition
%n{nicht}
(
domain
locatedAtTime
3
Object
)
Mid-level-ontology.kif 23301-23301
Die Zahl 3 Argument von
locatedAtTime
ist ein
fall
von
Object
%n{nicht}
(
instance
locatedAtTime
TernaryPredicate
)
Mid-level-ontology.kif 23298-23298
locatedAtTime
ist ein
fall
von
TernaryPredicate
%n{nicht}
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
locatedAtTime
Object
,
TimePosition
and
** Object
genau dann wenn
** Object
befindet
sich an %n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Fogging
%n{nicht} und
eventLocated
** Process
and
Region
und
** Region
ist ein
fall
von
GeographicArea
%n{nicht} und
Object
ist ein
fall
von
AtmosphericRegion
%n{nicht} und
** Object
ist
Above
hinsichlich
** Region
%n{nicht} und
** Object
ist ein
fall
von
Aerosal
%n{nicht} und
locatedAtTime
** ** Object
, die
zeit
des Bestehens von
** Process
and
** Object
und
visibilityInMeteorology
** Region
, die
zeit
des Bestehens von
** Process
and
RealNumber
Meter
(s),
dann
** RealNumber
ist
kleinerAls
1000.0 %n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
AtmosphericHazing
%n{nicht} und
eventLocated
** Process
and
Region
und
** Region
ist ein
fall
von
GeographicArea
%n{nicht} und
Object
ist ein
fall
von
AtmosphericRegion
%n{nicht} und
** Object
ist
Above
hinsichlich
** Region
%n{nicht} und
locatedAtTime
** Object
, die
zeit
des Bestehens von
** Process
and
** Object
und
visibilityInMeteorology
** Region
, die
zeit
des Bestehens von
** Process
and
RealNumber
Kilometer
(s),
dann
** RealNumber
ist
groesserAls
2.0 %n{nicht} und
** RealNumber
ist
kleinerAls
5.0 %n{nicht}
(=>
(
and
(
locatedAtTime
?COLLECTION ?TIME ?PLACE)
(
memberAtTime
?OBJ ?COLLECTION ?TIME))
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Mid-level-ontology.kif 22707-22711
Wenn
locatedAtTime
Collection
,
TimePosition
and
Object
und
memberAtTime
SelfConnectedObject
,
** Collection
and
** TimePosition
,
dann
locatedAtTime
** SelfConnectedObject
,
** TimePosition
and
** Object
(=>
(
and
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
geographicSubregion
?PLACE ?REGION))
(
locatedAtTime
?OBJ ?TIME ?REGION))
Mid-level-ontology.kif 23387-23391
Wenn
locatedAtTime
Object
,
TimePosition
and
GeographicArea
und
geographicSubregion
** GeographicArea
and
** GeographicArea
,
dann
locatedAtTime
** Object
,
** TimePosition
and
** ** GeographicArea
consequent
(=>
(
and
(
locatedAtTime
?COLLECTION ?TIME ?PLACE)
(
memberAtTime
?OBJ ?COLLECTION ?TIME))
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Mid-level-ontology.kif 22707-22711
Wenn
locatedAtTime
Collection
,
TimePosition
and
Object
und
memberAtTime
SelfConnectedObject
,
** Collection
and
** TimePosition
,
dann
locatedAtTime
** SelfConnectedObject
,
** TimePosition
and
** Object
(=>
(
and
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
geographicSubregion
?PLACE ?REGION))
(
locatedAtTime
?OBJ ?TIME ?REGION))
Mid-level-ontology.kif 23387-23391
Wenn
locatedAtTime
Object
,
TimePosition
and
GeographicArea
und
geographicSubregion
** GeographicArea
and
** GeographicArea
,
dann
locatedAtTime
** Object
,
** TimePosition
and
** ** GeographicArea
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Mid-level-ontology.kif 23312-23317
Wenn
playsRoleInEvent
Object
,
CaseRole
and
Process
und
** Process
besteht
waehrend
TimePosition
%n{nicht} und
eventLocated
** Process
and
** Object
,
dann
locatedAtTime
** Object
,
** TimePosition
and
** ** 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
Wenn
dressCode
AmbienceAttribute
and
AutonomousAgent
,
dann die Aussage es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Outfit
%n{nicht} und
subjectiveAttribute
** entity
,
** AmbienceAttribute
and
** AutonomousAgent
und fuer alle
** entity
und
** entity
customer
** ** entity
and
** AutonomousAgent
und
locatedAtTime
** ** entity
,
** ** entity
and
** AutonomousAgent
und
** ** entity
ist ein
Mitglied
von
** entity
%n{nicht} und
wears
** ** entity
and
** ** entity
haelt
waehrend
** ** entity
%n{nicht} hat die modale Kraft von
Obligation
(=>
(
observedAtTimeInPlace
?OBJ ?AGENT ?TIME ?PLACE)
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Justice.kif 47-49
Wenn
observedAtTimeInPlace
Object
,
AutonomousAgent
,
TimePosition
and
** Object
,
dann
locatedAtTime
** Object
,
** TimePosition
and
** ** Object
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