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
位于时间
的 1 数量 是
客体
的
instance
(
domain
locatedAtTime
2
TimePosition
)
Mid-level-ontology.kif 23300-23300
位于时间
的 2 数量 是
时间位置
的
instance
(
domain
locatedAtTime
3
Object
)
Mid-level-ontology.kif 23301-23301
位于时间
的 3 数量 是
客体
的
instance
(
instance
locatedAtTime
TernaryPredicate
)
Mid-level-ontology.kif 23298-23298
位于时间
是
三元谓语
的
instance
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
客体
对于
另一个 客体
在时间
时间位置
located
若且唯若
那个 客体
是
located
在
那个 另外 客体
在
那个 时间位置
holdsDuring
(=>
(
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
如果
过程
是
雾
的
instance
和
那个 过程
是
located
在
地区
和
那个 地区
是
地理区域
的
instance
和
客体
是
大气地区
的
instance
和
那个 客体
在
那个 地区
的
以上
和
另一个 客体
是
气溶胶
的
instance
和
那个 另外 客体
对于
那个 客体
在时间
那个 过程
出现 的
time
located
和
visibility
在
那个 地区
期间
那个 过程
出现 的
time
是
实数
仪表
,
然后
那个 实数
是
lessThan
1000.0
(=>
(
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
如果
过程
是
阴霾
的
instance
和
那个 过程
是
located
在
地区
和
那个 地区
是
地理区域
的
instance
和
客体
是
大气地区
的
instance
和
那个 客体
在
那个 地区
的
以上
和
另一个 客体
对于
那个 客体
在时间
那个 过程
出现 的
time
located
和
visibility
在
那个 地区
期间
那个 过程
出现 的
time
是
实数
公里
,
然后
那个 实数
是
greaterThan
2.0 和
那个 实数
是
lessThan
5.0
(=>
(
and
(
locatedAtTime
?COLLECTION ?TIME ?PLACE)
(
memberAtTime
?OBJ ?COLLECTION ?TIME))
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Mid-level-ontology.kif 22707-22711
如果
群体
对于
客体
在时间
时间位置
located
和
自身连接物体
在
那个 时间位置
时 是
那个 群体
的
member
,
然后
那个 自身连接物体
对于
那个 客体
在时间
那个 时间位置
located
(=>
(
and
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
geographicSubregion
?PLACE ?REGION))
(
locatedAtTime
?OBJ ?TIME ?REGION))
Mid-level-ontology.kif 23387-23391
如果
客体
对于
地理区域
在时间
时间位置
located
和
那个 地理区域
是
另一个 地理区域
的
geographic
次要地区,
然后
那个 客体
对于
那个 另外 地理区域
在时间
那个 时间位置
located
consequent
(=>
(
and
(
locatedAtTime
?COLLECTION ?TIME ?PLACE)
(
memberAtTime
?OBJ ?COLLECTION ?TIME))
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Mid-level-ontology.kif 22707-22711
如果
群体
对于
客体
在时间
时间位置
located
和
自身连接物体
在
那个 时间位置
时 是
那个 群体
的
member
,
然后
那个 自身连接物体
对于
那个 客体
在时间
那个 时间位置
located
(=>
(
and
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
geographicSubregion
?PLACE ?REGION))
(
locatedAtTime
?OBJ ?TIME ?REGION))
Mid-level-ontology.kif 23387-23391
如果
客体
对于
地理区域
在时间
时间位置
located
和
那个 地理区域
是
另一个 地理区域
的
geographic
次要地区,
然后
那个 客体
对于
那个 另外 地理区域
在时间
那个 时间位置
located
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Mid-level-ontology.kif 23312-23317
如果
客体
对于
过程
在事件
格角色
plays
角色 和
那个 过程
在
时间位置
是 存在 和
那个 过程
是
located
在
另一个 客体
,
然后
那个 客体
对于
那个 另外 客体
在时间
那个 时间位置
located
(=>
(
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
如果
施事体
要求顾客去穿
AmbienceAttribute
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
Outfit
的
instance
和
那个 施事体
believes
那个 实体
是
那个 AmbienceAttribute
和 对所有
第三 实体
和
第四 实体
那个 施事体
是
那个 第三 实体
的
customer
和
那个 第三 实体
对于
那个 施事体
在时间
那个 另外 实体
located
和
那个 第四 实体
是
那个 实体
的
member
和
那个 第三 实体
wears
那个 第四 实体
在
那个 另外 实体
holdsDuring
的声明 has
义务
的语气
(=>
(
observedAtTimeInPlace
?OBJ ?AGENT ?TIME ?PLACE)
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Justice.kif 47-49
如果
客体
是在此刻
observed
对于
时间位置
和
另一个 客体
在地方
施事体
,
然后
那个 客体
对于
那个 另外 客体
在时间
那个 时间位置
located
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