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
locatedAtTime
の数値 1 引数は
オブジェクト
の
instance
では %n
(
domain
locatedAtTime
2
TimePosition
)
Mid-level-ontology.kif 23299-23299
locatedAtTime
の数値 2 引数は
時間位置
の
instance
では %n
(
domain
locatedAtTime
3
Object
)
Mid-level-ontology.kif 23300-23300
locatedAtTime
の数値 3 引数は
オブジェクト
の
instance
では %n
(
instance
locatedAtTime
TernaryPredicate
)
Mid-level-ontology.kif 23297-23297
locatedAtTime
は
3進述語
の
instance
では %n
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
locatedAtTime
オブジェクト
,
時間位置
and
オブジェクト
オブジェクト
は
オブジェクト
に
located
して %n は
時間位置
の
during
holds %n{ない}
(=>
(
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
工程
は
Fogging
の
instance
では %n
eventLocated
工程
and
地域
地域
は
地理的地域
の
instance
では %n
オブジェクト
は
AtmosphericRegion
の
instance
では %n
オブジェクト
は
Above
対
地域
では %n
オブジェクト
は
Aerosal
の
instance
では %n
locatedAtTime
オブジェクト
,
工程
の
time
の existence and
オブジェクト
visibilityInMeteorology
地域
,
工程
の
time
の existence and
実数
の
Meter
(s)
実数
は 1000.0 より
less
では %n
(=>
(
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
工程
は
AtmosphericHazing
の
instance
では %n
eventLocated
工程
and
地域
地域
は
地理的地域
の
instance
では %n
オブジェクト
は
AtmosphericRegion
の
instance
では %n
オブジェクト
は
Above
対
地域
では %n
locatedAtTime
オブジェクト
,
工程
の
time
の existence and
オブジェクト
visibilityInMeteorology
地域
,
工程
の
time
の existence and
実数
の
Kilometer
(s)
実数
は 2.0 より
greater
では %n
実数
は 5.0 より
less
では %n
(=>
(
and
(
locatedAtTime
?COLLECTION ?TIME ?PLACE)
(
memberAtTime
?OBJ ?COLLECTION ?TIME))
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Mid-level-ontology.kif 22706-22710
locatedAtTime
コレクション
,
時間位置
and
オブジェクト
自己接続オブジェクト
は
時間位置
の最中
コレクション
の
member
では %n
locatedAtTime
自己接続オブジェクト
,
時間位置
and
オブジェクト
(=>
(
and
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
geographicSubregion
?PLACE ?REGION))
(
locatedAtTime
?OBJ ?TIME ?REGION))
Mid-level-ontology.kif 23386-23390
locatedAtTime
オブジェクト
,
時間位置
and
地理的地域
geographicSubregion
地理的地域
and
地理的地域
locatedAtTime
オブジェクト
,
時間位置
and
地理的地域
consequent
(=>
(
and
(
locatedAtTime
?COLLECTION ?TIME ?PLACE)
(
memberAtTime
?OBJ ?COLLECTION ?TIME))
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Mid-level-ontology.kif 22706-22710
locatedAtTime
コレクション
,
時間位置
and
オブジェクト
自己接続オブジェクト
は
時間位置
の最中
コレクション
の
member
では %n
locatedAtTime
自己接続オブジェクト
,
時間位置
and
オブジェクト
(=>
(
and
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
geographicSubregion
?PLACE ?REGION))
(
locatedAtTime
?OBJ ?TIME ?REGION))
Mid-level-ontology.kif 23386-23390
locatedAtTime
オブジェクト
,
時間位置
and
地理的地域
geographicSubregion
地理的地域
and
地理的地域
locatedAtTime
オブジェクト
,
時間位置
and
地理的地域
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Mid-level-ontology.kif 23311-23316
playsRoleInEvent
オブジェクト
,
格役割
and
工程
工程
は
時間位置
の
during
exists %n{ない}
eventLocated
工程
and
オブジェクト
locatedAtTime
オブジェクト
,
時間位置
and
オブジェクト
(=>
(
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
dressCode
AmbienceAttribute
and
AutonomousAgent
ステートメント
エンティティー
エンティティー
エンティティー
は
Outfit
の
instance
では %n
subjectiveAttribute
エンティティー
,
AmbienceAttribute
and
AutonomousAgent
エンティティー
エンティティー
customer
エンティティー
and
AutonomousAgent
locatedAtTime
エンティティー
,
エンティティー
and
AutonomousAgent
エンティティー
は
エンティティー
の
member
では %n
エンティティー
は % を
wear
s %n{ない} は
エンティティー
の
during
holds %n{ない} には
Obligation
の
modal
force
が ある
(=>
(
observedAtTimeInPlace
?OBJ ?AGENT ?TIME ?PLACE)
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Justice.kif 47-49
observedAtTimeInPlace
オブジェクト
,
AutonomousAgent
,
時間位置
and
オブジェクト
locatedAtTime
オブジェクト
,
時間位置
and
オブジェクト
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