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
overlapsTemporally
Sigma KEE - overlapsTemporally
overlapsTemporally
appearance as argument number 1
(
documentation
overlapsTemporally
ChineseLanguage
"(
overlapsTemporally
?INTERVAL1 ?INTERVAL2)的意思是
TimeInterval
?INTERVAL1 和 ?INTERVAL2 有
TimeInterval
作为它们的 一个共同部分。")
chinese_format.kif 2717-2719
(
documentation
overlapsTemporally
EnglishLanguage
"(
overlapsTemporally
?INTERVAL1 ?INTERVAL2) means that the
TimeInterval
s ?INTERVAL1 and ?INTERVAL2 have a
TimeInterval
as a common part.")
Merge.kif 8230-8232
(
documentation
overlapsTemporally
JapaneseLanguage
"(
overlapsTemporally
?INTERVAL1 ?INTERVAL2) とは、
TimeInterval
s ?INTERVAL1 と ?INTERVAL2 が共通の部分として
TimeInterval
を持っていることを意味する。")
japanese_format.kif 1441-1443
(
domain
overlapsTemporally
1
TimeInterval
)
Merge.kif 8227-8227
在时间上重叠
的 1 数量 是
时距
的
instance
(
domain
overlapsTemporally
2
TimeInterval
)
Merge.kif 8228-8228
在时间上重叠
的 2 数量 是
时距
的
instance
(
instance
overlapsTemporally
BinaryPredicate
)
Merge.kif 8223-8223
在时间上重叠
是
二元谓语
的
instance
(
instance
overlapsTemporally
ReflexiveRelation
)
Merge.kif 8225-8225
在时间上重叠
是
自反关系
的
instance
(
instance
overlapsTemporally
SymmetricRelation
)
Merge.kif 8226-8226
在时间上重叠
是
对称关系
的
instance
(
instance
overlapsTemporally
TemporalRelation
)
Merge.kif 8224-8224
在时间上重叠
是
时间关系
的
instance
appearance as argument number 2
(
format
ChineseLanguage
overlapsTemporally
"%2 时段 %n{doesn't} 和 %1 重叠")
chinese_format.kif 431-431
(
format
EnglishLanguage
overlapsTemporally
"%2 %n{doesn't} overlap%p{s} %1")
english_format.kif 437-437
(
format
FrenchLanguage
overlapsTemporally
"%2 %n{ne} recouvre %n{pas} %1")
french_format.kif 250-250
(
format
ItalianLanguage
overlapsTemporally
"%2 %n{non} sovrappone%p{s} %1")
relations-it.txt 208-208
(
format
JapaneseLanguage
overlapsTemporally
"%2 は %1 と overlap%p{s} %n{dない}")
japanese_format.kif 2044-2044
(
format
PortugueseLanguage
overlapsTemporally
"%2 %n{nao} engloba %n %1")
portuguese_format.kif 202-202
(
format
cz
overlapsTemporally
"%2 %n{doesn't} overlap%p{s} %1")
relations-cz.txt 256-256
(
format
de
overlapsTemporally
"%2
de
ckt sich mit %1 %n{nicht}")
relations-de.txt 562-562
(
format
hi
overlapsTemporally
"%2 %1 se ativyaapta %n{nahiin} hai")
relations-hindi.txt 246-246
(
format
ro
overlapsTemporally
"%2 %n{nu} overlap%t{se suprapune} peste %1")
relations-ro.kif 271-271
(
format
sv
overlapsTemporally
"%2 överlappar %n{inte} %1")
relations-sv.txt 274-274
(
format
tg
overlapsTemporally
"%2 %n ay natataklob sa %1")
relations-tg.txt 398-398
(
termFormat
ChineseLanguage
overlapsTemporally
"在时间上重叠")
chinese_format.kif 432-432
(
termFormat
ChineseLanguage
overlapsTemporally
"暂时重叠")
domainEnglishFormat.kif 43788-43788
(
termFormat
ChineseTraditionalLanguage
overlapsTemporally
"暫時重疊")
domainEnglishFormat.kif 43787-43787
(
termFormat
EnglishLanguage
overlapsTemporally
"overlap temporally")
domainEnglishFormat.kif 43786-43786
(
termFormat
tg
overlapsTemporally
"natataklob ng panahon")
relations-tg.txt 399-399
antecedent
(=>
(
and
(
instance
?LOW
LowTide
)
(
instance
?HIGH
HighTide
)
(
eventLocated
?LOW ?PLACE)
(
eventLocated
?HIGH ?PLACE)
(
instance
?DAY
Day
)
(
overlapsTemporally
?LOW ?DAY)
(
overlapsTemporally
?HIGH ?DAY))
(
exists
(?AMOUNT1 ?AMOUNT2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
?LOW
(
waterDepth
?PLACE
(
MeasureFn
?AMOUNT1 ?U)))
(
holdsDuring
?HIGH
(
waterDepth
?PLACE
(
MeasureFn
?AMOUNT2 ?U)))
(
greaterThan
?AMOUNT2 ?AMOUNT1))))
Geography.kif 4958-4976
如果
时距
是
低潮
的
instance
和
另一个 时距
是
高潮
的
instance
和
那个 时距
是
located
在
客体
和
那个 另外 时距
是
located
在
那个 客体
和
第三 时距
是
日
的
instance
和
那个 第三 时距
时段 和
那个 时距
重叠 和
那个 第三 时距
时段 和
那个 另外 时距
重叠,
然后 有存在
实数
,
另一个 实数
, and 和
实体
这样
那个 实体
是
UnitOfLength
的
instance
和
那个 实数
那个 实体
是
那个 客体
的
water
深度 在
那个 时距
holdsDuring
和
那个 另外 实数
那个 实体
是
那个 客体
的
water
深度 在
那个 另外 时距
holdsDuring
和
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
lowTide
?PLACE ?TIME1
(
MeasureFn
?AMOUNT1 ?U))
(
highTide
?PLACE ?TIME2
(
MeasureFn
?AMOUNT2 ?U))
(
instance
?U
UnitOfLength
)
(
instance
?DAY
Day
)
(
overlapsTemporally
?TIME1 ?DAY)
(
overlapsTemporally
?TIME2 ?DAY))
(
greaterThan
?AMOUNT1 ?AMOUNT2))
Geography.kif 5027-5037
如果
地区
对于 %3
low
潮汐 和
那个 地区
是 对于
实数
测量单位
的
high
潮汐
时距
和
那个 测量单位
是
UnitOfLength
的
instance
和
另一个 时距
是
日
的
instance
和
那个 另外 时距
时段 和
第三 时距
重叠 和
那个 另外 时距
时段 和
那个 时距
重叠,
然后
另一个 实数
是
greaterThan
那个 实数
(=>
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2)
(
exists
(?INTERVAL3)
(
and
(
instance
?INTERVAL3
TimeInterval
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))))
Merge.kif 8234-8240
如果
时距
时段 和
另一个 时距
重叠,
然后 有存在
时间位置
这样
那个 时间位置
是
时距
的
instance
和
那个 时间位置
时段 是
那个 另外 时距
时段 的一
part
和
那个 时间位置
时段 是
那个 时距
时段 的一
part
(=>
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2)
(
exists
(?INTERVAL3)
(
and
(
instance
?INTERVAL3
TimePosition
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))))
Merge.kif 8290-8296
如果
时距
时段 和
另一个 时距
重叠,
然后 有存在
时间位置
这样
那个 时间位置
是
时间位置
的
instance
和
那个 时间位置
时段 是
那个 另外 时距
时段 的一
part
和
那个 时间位置
时段 是
那个 时距
时段 的一
part
consequent
(<=>
(
yearOfFounding
?O ?Y)
(
exists
(?F ?YEAR)
(
and
(
overlapsTemporally
(
WhenFn
?F) ?YEAR)
(
instance
?YEAR
(
YearFn
?Y))
(
instance
?F
Founding
)
(
result
?F ?O))))
Mid-level-ontology.kif 968-975
整数
是
机构
的
year
资金 若且唯若 有存在
过程
和
那个 整数
EAR 这样
那个 整数
EAR 时段 和
那个 过程
出现 的
time
重叠 和
那个 整数
EAR 是
那个 整数
year
的
instance
和
那个 过程
是
创建
的
instance
和
那个 机构
是
那个 过程
的
result
(=>
(
and
(
allergic
?H ?S)
(
instance
?SUB ?S)
(
holdsDuring
?T
(
meetsSpatially
?SUB ?H)))
(
modalAttribute
(
exists
(?AR)
(
and
(
instance
?AR
AllergicReaction
)
(
experiencer
?AR ?H)
(
overlapsTemporally
?T
(
WhenFn
?AR))
(
before
(
BeginFn
?T)
(
BeginFn
(
WhenFn
?AR)))))
Likely
))
Mid-level-ontology.kif 6231-6244
如果
allergic
人类
and
有点 物质
和
有点 物质
UB 是
那个 有点 物质
的
instance
和
那个 有点 物质
UB 接上
那个 人类
在
时间位置
holdsDuring
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
AllergicReaction
的
instance
和
那个 人类
经历了
那个 另外 实体
和
那个 另外 实体
出现 的
time
时段 和
那个 时间位置
重叠 和
那个 时间位置
的开始%n在
那个 另外 实体
出现 的
time
的开始
before
发生 的声明 has
容易
的语气
(=>
(
and
(
attribute
?Order
GTCOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Execute ?Time)
(
and
(
instance
?Execute
FillingAnOrder
)
(
patient
?Execute ?Order)
(
equal
(
WhenFn
?Execute) ?Time)
(
overlapsTemporally
?Time ?Period)))
(
exists
(?Cancel ?End)
(
and
(
instance
?Cancel
CancellingAnOrder
)
(
patient
?Cancel ?Order)
(
equal
(
WhenFn
?Cancel) ?End)
(
finishes
?End ?Period)))))
FinancialOntology.kif 2917-2933
如果
GTC订单
是
协议
的
attribute
和
时距
是
那个 协议
的
agreement
週期,
然后 有存在
过程
和
另一个 时距
这样
那个 过程
是
填写订单
的
instance
和
那个 协议
是
那个 过程
的
patient
和
那个 过程
出现 的
time
equal
那个 另外 时距
和
那个 时距
时段 和
那个 另外 时距
重叠 或 有存在
另一个 过程
和
第三 时距
这样
那个 另外 过程
是
取消订单
的
instance
和
那个 协议
是
那个 另外 过程
的
patient
和
那个 另外 过程
出现 的
time
equal
那个 第三 时距
和
那个 第三 时距
finishes
了才到
那个 时距
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Buying
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
instance
?U
UnitOfCurrency
)
(
askPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
lessThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Buy) ?BuyingTime)
(
overlapsTemporally
?Time ?BuyingTime))) ?Broker))
FinancialOntology.kif 2008-2029
如果
限价订单
是
金融交易
的
attribute
和
协议
是
那个 金融交易
的
party
协议 和
经纪人
是
那个 协议
的
attribute
和
那个 金融交易
是 對於
安全
的
order
购买
和
那个 安全
的
measure
是
物理量
和
实数
测量单位
是
那个 金融交易
的
limit
价格 和
那个 测量单位
是
UnitOfCurrency
的
instance
和
施事体
为了
那个 安全
asks
另一个 实数
那个 测量单位
和
那个 另外 实数
是
lessThanOrEqualTo
那个 实数
,
然后
那个 协议
有义务执行
符号串
所描述的类别 的任务
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Selling
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
bidPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
greaterThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Sell) ?SellingTime)
(
overlapsTemporally
?SellingTime ?Time))) ?Broker))
FinancialOntology.kif 2031-2052
如果
限价订单
是
金融交易
的
attribute
和
协议
是
那个 金融交易
的
party
协议 和
经纪人
是
那个 协议
的
attribute
和
那个 金融交易
是 對於
安全
的
order
出售
和
那个 安全
的
measure
是
物理量
和
实数
测量单位
是
那个 金融交易
的
limit
价格 和
施事体
bids
另一个 实数
那个 测量单位
對於
那个 安全
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
,
然后
那个 协议
有义务执行
符号串
所描述的类别 的任务
(=>
(
and
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Gas
))
(
exists
(?BOIL)
(
and
(
overlapsTemporally
(
WhenFn
?BOIL) ?TIME)
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?SUBSTANCE)))))
Merge.kif 13841-13854
如果
实数
测量单位
是
有点 純物质
的
boiling
点 和
实体
是
有点 純物质
的
instance
和
那个 实体
的
measure
是
另一个 实数
那个 测量单位
在
时距
holdsDuring
和
那个 测量单位
是
UnitOfTemperature
的
instance
和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
,
然后
加油站
是
那个 实体
的
attribute
在
那个 时距
holdsDuring
或 有存在
过程
这样
那个 时距
时段 和
那个 过程
出现 的
time
重叠 和
那个 过程
是
沸腾
的
instance
和
那个 实体
是
那个 过程
的
patient
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Embryonic
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
not
(
overlapsTemporally
?TIME ?BW)))
Merge.kif 18203-18209
如果
胚胎
是
施事体
的
attribute
在
时距
holdsDuring
和
过程
是
出生
的
instance
和
另一个 时距
equal
那个 过程
出现 的
time
和
那个 施事体
经历了
那个 过程
,
然后
那个 另外 时距
时段 doesn't 和
那个 时距
重叠
(=>
(
and
(
instance
?C
Convoy
)
(
member
?VEH ?C))
(
exists
(?DRIVE)
(
and
(
instance
?DRIVE
Driving
)
(
overlapsTemporally
(
WhenFn
?DRIVE)
(
WhenFn
?C))
(
patient
?DRIVE ?VEH))))
Mid-level-ontology.kif 22348-22356
如果
群体
是
护航
的
instance
和
物理
是
那个 群体
的
member
,
然后 有存在
过程
这样
那个 过程
是
驾驶
的
instance
和
那个 群体
出现 的
time
时段 和
那个 过程
出现 的
time
重叠 和
那个 物理
是
那个 过程
的
patient
(=>
(
and
(
instance
?D
Dodging
)
(
agent
?D ?A)
(
equal
?DT
(
WhenFn
?D)))
(
hasPurpose
?D
(
not
(
exists
(?I)
(
and
(
or
(
meetsTemporally
?DT
(
WhenFn
?I))
(
overlapsTemporally
?DT
(
WhenFn
?I)))
(
instance
?I
Impacting
)
(
patient
?I ?A))))))
Mid-level-ontology.kif 450-463
如果
过程
是
躲着
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 过程
T
equal
那个 过程
出现 的
time
,
然后
那个 过程
的 目的 是 不存在
实体
这样
那个 过程
T 接着
那个 实体
出现 的
time
或
那个 实体
出现 的
time
时段 和
那个 过程
T 重叠 和
那个 实体
是
碰撞
的
instance
和
那个 施事体
是
那个 实体
的
patient
(=>
(
and
(
instance
?DIGEST
Digesting
)
(
agent
?DIGEST ?ORGANISM))
(
exists
(?INGEST)
(
and
(
instance
?INGEST
Ingesting
)
(
agent
?INGEST ?ORGANISM)
(
overlapsTemporally
(
WhenFn
?INGEST)
(
WhenFn
?DIGEST)))))
Merge.kif 10289-10297
如果
过程
是
消化
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
消化
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 过程
出现 的
time
时段 和
那个 另外 过程
出现 的
time
重叠
(=>
(
and
(
instance
?DRYSPELL
Drought
)
(
eventLocated
?DRYSPELL ?AREA))
(
not
(
exists
(?RAIN ?PLACE)
(
and
(
instance
?RAIN
Raining
)
(
instance
?PLACE
Region
)
(
eventLocated
?RAIN ?PLACE)
(
overlapsSpatially
?PLACE ?AREA)
(
overlapsTemporally
?RAIN ?DRYSPELL)))))
Weather.kif 2471-2482
如果
时距
是
干旱
的
instance
和
那个 时距
是
located
在
客体
,
然后 不存在
另一个 时距
和
另一个 客体
这样
那个 另外 时距
是
下雨
的
instance
和
那个 另外 客体
是
地区
的
instance
和
那个 另外 时距
是
located
在
那个 另外 客体
和
那个 另外 客体
和
那个 客体
重叠 和
那个 时距
时段 和
那个 另外 时距
重叠
(=>
(
and
(
instance
?INTERVAL3
TimeInterval
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8242-8247
如果
时间位置
是
时距
的
instance
和
那个 时间位置
时段 是
时距
时段 的一
part
和
那个 时间位置
时段 是
另一个 时距
时段 的一
part
,
然后
那个 另外 时距
时段 和
那个 时距
重叠
(=>
(
and
(
instance
?INTERVAL3
TimePosition
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8298-8303
如果
时间位置
是
时间位置
的
instance
和
那个 时间位置
时段 是
时距
时段 的一
part
和
那个 时间位置
时段 是
另一个 时距
时段 的一
part
,
然后
那个 另外 时距
时段 和
那个 时距
重叠
(=>
(
and
(
instance
?MR
MusclesRelaxing
)
(
experiencer
?MR ?A))
(
not
(
exists
(?MT)
(
and
(
overlapsTemporally
?MT ?MR)
(
instance
?MT
MusclesBecomingTense
)
(
experiencer
?MT ?A)))))
emotion.kif 1464-1473
如果
时距
是
MusclesRelaxing
的
instance
和
施事体
经历了
那个 时距
,
然后 不存在
另一个 时距
这样
那个 时距
时段 和
那个 另外 时距
重叠 和
那个 另外 时距
是
MusclesBecomingTense
的
instance
和
那个 施事体
经历了
那个 另外 时距
(=>
(
and
(
instance
?MT
MusclesBecomingTense
)
(
experiencer
?MT ?A))
(
not
(
exists
(?MR)
(
and
(
overlapsTemporally
?MR ?MT)
(
instance
?MR
MusclesRelaxing
)
(
experiencer
?MR ?A)))))
emotion.kif 1450-1459
如果
时距
是
MusclesBecomingTense
的
instance
和
施事体
经历了
那个 时距
,
然后 不存在
另一个 时距
这样
那个 时距
时段 和
那个 另外 时距
重叠 和
那个 另外 时距
是
MusclesRelaxing
的
instance
和
那个 施事体
经历了
那个 另外 时距
(=>
(
and
(
instance
?R
RelievingPain
)
(
patient
?R ?H))
(
and
(
exists
(?P1)
(
and
(
overlapsTemporally
(
WhenFn
?P1)
(
ImmediatePastFn
(
WhenFn
?R)))
(
instance
?P1
Pain
)
(
located
?P1 ?H)))
(
not
(
exists
(?P2)
(
and
(
overlapsTemporally
(
WhenFn
?P2)
(
ImmediateFutureFn
(
WhenFn
?R)))
(
instance
?P2
Pain
)
(
located
?P2 ?H))))))
Mid-level-ontology.kif 5779-5798
如果
过程
是
缓解疼痛
的
instance
和
客体
是
那个 过程
的
patient
,
然后 有存在
物理
这样 紧接
那个 过程
出现 的
time
before
时段 和
那个 物理
出现 的
time
重叠 和
那个 物理
是
痛
的
instance
和
那个 物理
是
located
在
那个 客体
和 不存在
另一个 物理
这样 紧接
那个 过程
出现 的
time
after
时段 和
那个 另外 物理
出现 的
time
重叠 和
那个 另外 物理
是
痛
的
instance
和
那个 另外 物理
是
located
在
那个 客体
(=>
(
and
(
instance
?REL
BinaryPredicate
)
(
instance
?REL
SpatialRelation
)
(
instance
?OBJ1
Physical
)
(
instance
?OBJ2
Physical
)
(?REL ?OBJ1 ?OBJ2))
(
overlapsTemporally
(
WhenFn
?OBJ1)
(
WhenFn
?OBJ2)))
Merge.kif 8249-8256
如果
实体
是
二元谓语
的
instance
和
那个 实体
是
空间关系
的
instance
和
物理
是
物理
的
instance
和
另一个 物理
是
物理
的
instance
和
那个 实体
那个 物理
and
那个 另外 物理
,
然后
那个 另外 物理
出现 的
time
时段 和
那个 物理
出现 的
time
重叠
(=>
(
and
(
instance
?SUBSTANCE ?TYPE)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
meltingPoint
?TYPE
(
MeasureFn
?TEMP2 ?MEASURE))
(
instance
?MEASURE
UnitOfTemperature
)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP3 ?MEASURE)))
(
greaterThan
?TEMP3 ?TEMP2)
(
lessThan
?TEMP3 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Liquid
))
(
exists
(?MELT)
(
and
(
overlapsTemporally
(
WhenFn
?MELT) ?TIME)
(
instance
?MELT
Melting
)
(
patient
?MELT ?SUBSTANCE)))))
Merge.kif 13863-13878
如果
实体
是
有点 純物质
的
instance
和
实数
测量单位
是
有点 純物质
的
boiling
点 和
另一个 实数
那个 测量单位
是
那个 有点 純物质
的
melting
点 和
那个 测量单位
是
UnitOfTemperature
的
instance
和
那个 实体
的
measure
是
第三 实数
那个 测量单位
在
时距
holdsDuring
和
那个 第三 实数
是
greaterThan
那个 另外 实数
和
那个 第三 实数
是
lessThan
那个 实数
,
然后
液体
是
那个 实体
的
attribute
在
那个 时距
holdsDuring
或 有存在
过程
这样
那个 时距
时段 和
那个 过程
出现 的
time
重叠 和
那个 过程
是
溶化
的
instance
和
那个 实体
是
那个 过程
的
patient
(=>
(
and
(
instance
?SUBSTANCE ?TYPE)
(
meltingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
lessThan
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Solid
))
(
exists
(?FREEZE)
(
and
(
overlapsTemporally
(
WhenFn
?FREEZE) ?TIME)
(
instance
?FREEZE
Freezing
)
(
patient
?FREEZE ?SUBSTANCE)))))
Merge.kif 13880-13893
如果
实体
是
有点 純物质
的
instance
和
实数
测量单位
是
有点 純物质
的
melting
点 和
那个 实体
的
measure
是
另一个 实数
那个 测量单位
在
时距
holdsDuring
和
那个 测量单位
是
UnitOfTemperature
的
instance
和
那个 另外 实数
是
lessThan
那个 实数
,
然后
固体
是
那个 实体
的
attribute
在
那个 时距
holdsDuring
或 有存在
过程
这样
那个 时距
时段 和
那个 过程
出现 的
time
重叠 和
那个 过程
是
结冰
的
instance
和
那个 实体
是
那个 过程
的
patient
(=>
(
and
(
instance
?TI1
TimeInterval
)
(
instance
?TI2
TimeInterval
)
(
beforeOrEqual
(
BeginFn
?TI2)
(
BeginFn
?TI1))
(
before
(
BeginFn
?TI1)
(
EndFn
?TI2)))
(
overlapsTemporally
?TI2 ?TI1))
Merge.kif 8269-8279
如果
时距
是
时距
的
instance
和
另一个 时距
是
时距
的
instance
和
那个 另外 时距
的开始%n{doesn't}在
那个 时距
的开始 之前或同时发生 和
那个 时距
的开始%n在
那个 另外 时距
的结束
before
发生,
然后
那个 时距
时段 和
那个 另外 时距
重叠
(=>
(
and
(
instance
?W
WorkLeave
)
(
instance
?WORK
Working
)
(
agent
?W ?PERSON)
(
agent
?WORK ?PERSON)
(
instance
?PERSON
Human
))
(
not
(
overlapsTemporally
(
WhenFn
?W)
(
WhenFn
?WORK))))
Mid-level-ontology.kif 20426-20436
如果
过程
是
WorkLeave
的
instance
和
那个 过程
ORK 是
工作的
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 施事体
是
那个 过程
ORK 的
agent
和
那个 施事体
是
人类
的
instance
,
然后
那个 过程
ORK 出现 的
time
时段 doesn't 和
那个 过程
出现 的
time
重叠
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
subclass
?TYPE
Process
))
(
exists
(?ITEM)
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA)
(
overlapsTemporally
(
WhenFn
?ITEM)
(
WhenFn
?AREA)))))
Geography.kif 2280-2290
如果
有点 物理
是区域
地理区域
的
natural
有害类别 和
有点 物理
是
过程
的
subclass
,
然后 有存在
另一个 物理
这样
那个 另外 物理
是
那个 有点 物理
的
instance
和
那个 另外 物理
是
located
在
那个 地理区域
和
那个 地理区域
出现 的
time
时段 和
那个 另外 物理
出现 的
time
重叠
(=>
(
attribute
?H
ArtCritic
)
(
hasPurpose
?H
(
exists
(?AW ?T ?CLASS)
(
and
(
instance
?AW
ArtWork
)
(
overlapsTemporally
(
WhenFn
?AW)
(
WhenFn
?H))
(
instance
?T ?CLASS)
(
subclass
?CLASS
Article
)
(
authors
?H ?CLASS)
(
refers
?T ?AW)))))
Mid-level-ontology.kif 21089-21101
如果
艺术评论家
是
客体
的
attribute
,
然后
那个 客体
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
艺术品
的
instance
和
那个 客体
出现 的
time
时段 和
那个 实体
出现 的
time
重叠 和
那个 另外 实体
是
那个 第三 实体
的
instance
和
那个 第三 实体
是
文章
的
subclass
和
那个 客体
是
那个 第三 实体
的
authors
和
那个 另外 实体
提到
那个 实体
(=>
(
attribute
?H
NewsReporter
)
(
hasPurpose
?H
(
exists
(?EV ?T ?NEWS)
(
and
(
instance
?EV
Process
)
(
overlapsTemporally
(
WhenFn
?EV)
(
WhenFn
?H))
(
instance
?T ?NEWS)
(
or
(
subclass
?NEWS
Newspaper
)
(
subclass
?NEWS
NewsProgram
))
(
authors
?H ?NEWS)
(
refers
?T ?EV)))))
Mid-level-ontology.kif 21066-21080
如果
新闻记者
是
客体
的
attribute
,
然后
那个 客体
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
过程
的
instance
和
那个 客体
出现 的
time
时段 和
那个 实体
出现 的
time
重叠 和
那个 另外 实体
是
那个 第三 实体
的
instance
和
那个 第三 实体
是
报纸
的
subclass
或
那个 第三 实体
是
新闻节目
的
subclass
和
那个 客体
是
那个 第三 实体
的
authors
和
那个 另外 实体
提到
那个 实体
(=>
(
dateDissolved
?THING ?DATE)
(
exists
(?DAY)
(
and
(
instance
?DAY ?DATE)
(
overlapsTemporally
?DAY
(
EndFn
(
WhenFn
?THING))))))
Government.kif 2558-2563
如果
有点 时间位置
是
物理
的闭幕
date
,
然后 有存在
时距
这样
那个 时距
是
有点 时间位置
的
instance
和
那个 物理
出现 的
time
的结束 时段 和
那个 时距
重叠
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
not
(
overlapsTemporally
CommonEra
BeforeCommonEra
))
Mid-level-ontology.kif 7891-7891
共同的时代之前
时段 doesn't 和
共同时代
重叠
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