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
holdsDuring
Sigma KEE - holdsDuring
holdsDuring
appearance as argument number 1
(
documentation
holdsDuring
ChineseLanguage
"(
holdsDuring
?TIME ?FORMULA) 的意思是 由 ?FORMULA 表示的命题在 ?TIME时段是事实。注:这意味着 ?FORMULA 在每一个
TimePoint
都是真的,
TimePoint
是 ?TIME 一个的
temporalPart
。")
chinese_format.kif 2083-2085
(
documentation
holdsDuring
EnglishLanguage
"(
holdsDuring
?TIME ?FORMULA) means that the proposition denoted by ?FORMULA is true in the time frame ?TIME. Note that this implies that ?FORMULA is true at every
TimePoint
which is a
temporalPart
of ?TIME.")
Merge.kif 3885-3888
(
documentation
holdsDuring
JapaneseLanguage
"(
holdsDuring
?TIME ?FORMULA) とは、?FORMULA で示される命題が時間枠 ?TIME に当てはまることを意味する。 注:これは、?FORMULA が
temporalPart
であるすべての?TIMEの
TimePoint
に当てはまることを意味する。")
japanese_format.kif 731-733
(
domain
holdsDuring
1
TimePosition
)
Merge.kif 3882-3882
在这段时间为真
的 1 数量 是
时间位置
的
instance
(
domain
holdsDuring
2
Formula
)
Merge.kif 3883-3883
在这段时间为真
的 2 数量 是
公式
的
instance
(
instance
holdsDuring
AsymmetricRelation
)
Merge.kif 3881-3881
在这段时间为真
是
非对称关系
的
instance
(
instance
holdsDuring
BinaryPredicate
)
Merge.kif 3880-3880
在这段时间为真
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
holdsDuring
"%2 %n{doesn't} 在 %1
holdsDuring
")
chinese_format.kif 121-121
(
format
EnglishLanguage
holdsDuring
"%2 %n{doesn't} hold%p{s}
during
%1")
english_format.kif 122-122
(
format
FrenchLanguage
holdsDuring
"%2 pendant %1")
french_format.kif 82-82
(
format
ItalianLanguage
holdsDuring
"%2 %n{non} vale%p{s} durante %1")
relations-it.txt 129-129
(
format
JapaneseLanguage
holdsDuring
"%2 は %1 の
during
hold%p{s} %n{ない}")
japanese_format.kif 1909-1909
(
format
PortugueseLanguage
holdsDuring
"%2 vale durante %1")
portuguese_format.kif 34-34
(
format
cz
holdsDuring
"%2' %2a{%n{ne}plat�} %1a{b�hem} %1'")
relations-cz.txt 117-117
(
format
de
holdsDuring
"%2 haelt waehrend %1 %n{nicht}")
relations-de.txt 142-142
(
format
hi
holdsDuring
"%2 %1 kii samayaavadhi men yathaartha %n{nahiin} hai")
relations-hindi.txt 169-169
(
format
ro
holdsDuring
"%2 %n{nu} se verificã
during
%t{pe perioada} %1")
relations-ro.kif 101-101
(
format
sv
holdsDuring
"%2 gäller %n{inte} under tiden som %1")
relations-sv.txt 81-81
(
format
tg
holdsDuring
"%2 %n ay tutoo panahon ng %1")
relations-tg.txt 264-264
(
relatedInternalConcept
time
holdsDuring
)
Merge.kif 3870-3870
时间
和
在这段时间为真
是 内部相关
(
termFormat
ChineseLanguage
holdsDuring
"在这段时间为真")
chinese_format.kif 122-122
(
termFormat
ChineseLanguage
holdsDuring
"持有期间")
domainEnglishFormat.kif 28353-28353
(
termFormat
ChineseTraditionalLanguage
holdsDuring
"持有期間")
domainEnglishFormat.kif 28352-28352
(
termFormat
EnglishLanguage
holdsDuring
"holds during")
domainEnglishFormat.kif 28351-28351
(
termFormat
de
holdsDuring
"haeltWaehrend")
terms-de.txt 42-42
(
termFormat
tg
holdsDuring
"tutoo sa panahon")
relations-tg.txt 265-265
antecedent
(<=>
(
and
(
instance
?B
BodyPart
)
(
holdsDuring
?T
(
attribute
?B
Bare
)))
(
holdsDuring
?T
(
not
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
covers
?C ?B))))))
Mid-level-ontology.kif 30202-30212
实体
是
身体部位
的
instance
和
Bare
是
那个 实体
的
attribute
在
时间位置
holdsDuring
若且唯若 不存在
另一个 实体
这样
那个 另外 实体
是
服装
的
instance
和
covers
那个 另外 实体
and
那个 实体
在
那个 时间位置
holdsDuring
(<=>
(
and
(
instance
?X
Region
)
(
holdsDuring
?T
(
property
?X
StandardAmbientTemperaturePressure
)))
(
holdsDuring
?T
(
and
(
airTemperature
?X
(
MeasureFn
298.15
KelvinDegree
))
(
barometricPressure
?X
(
MeasureFn
29.530
InchMercury
)))))
Weather.kif 2663-2673
实体
是
地区
的
instance
和
那个 实体
有
标准状况
的
attribute
在
时间位置
holdsDuring
若且唯若 298.15
凯文度
是
那个 实体
的
air
温度 和 29.530
英寸汞
是
那个 实体
的
barometric
压力 在
那个 时间位置
holdsDuring
(<=>
(
holdsDuring
?T
(
and
(
instance
?PERSON
Human
)
(
forall
(?ORG)
(
not
(
employs
?ORG ?PERSON)))))
(
holdsDuring
?T
(
attribute
?PERSON
Unemployed
)))
Merge.kif 17325-17333
实体
是
人类
的
instance
和 对所有
另一个 实体
那个 另外 实体
doesn't
employs
那个 实体
在
时间位置
holdsDuring
若且唯若
失业的
是
那个 实体
的
attribute
在
那个 时间位置
holdsDuring
(<=>
(
holdsDuring
?T
(
attribute
?A
Barefoot
))
(
holdsDuring
?T
(
not
(
exists
(?S)
(
and
(
instance
?S
Shoe
)
(
wears
?A ?S))))))
Mid-level-ontology.kif 30156-30164
Barefoot
是
实体
的
attribute
在
时间位置
holdsDuring
若且唯若 不存在
另一个 实体
这样
那个 另外 实体
是
鞋
的
instance
和
那个 实体
wears
那个 另外 实体
在
那个 时间位置
holdsDuring
(<=>
(
holdsDuring
?T
(
attribute
?A
Naked
))
(
holdsDuring
?T
(
not
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
wears
?A ?C))))))
Mid-level-ontology.kif 30169-30177
Naked
是
实体
的
attribute
在
时间位置
holdsDuring
若且唯若 不存在
另一个 实体
这样
那个 另外 实体
是
服装
的
instance
和
那个 实体
wears
那个 另外 实体
在
那个 时间位置
holdsDuring
(<=>
(
holdsDuring
?T
(
attribute
?H
Alone
))
(
not
(
exists
(?H2 ?SI)
(
and
(
not
(
equal
?H ?H2))
(
instance
?H2
AutonomousAgent
)
(
instance
?SI
SocialInteraction
)
(
during
(
WhenFn
?SI) ?T)
(
involvedInEvent
?SI ?H)
(
involvedInEvent
?SI ?H2)))))
Mid-level-ontology.kif 30247-30260
Alone
是
实体
的
attribute
在
时距
holdsDuring
若且唯若 不存在
那个 实体
2 和
过程
这样
那个 实体
不
equal
那个 实体
2 和
那个 实体
2 是
施事体
的
instance
和
那个 过程
是
社交
的
instance
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 实体
是事件
那个 过程
的
involved
和
那个 实体
2 是事件
那个 过程
的
involved
(<=>
(
holdsDuring
?T
(
attribute
?P
Mute
))
(
not
(
exists
(?S)
(
and
(
instance
?S
Speaking
)
(
during
(
WhenFn
?S) ?T)
(
agent
?S ?P)))))
Mid-level-ontology.kif 30295-30303
Mute
是
施事体
的
attribute
在
时距
holdsDuring
若且唯若 不存在
过程
这样
那个 过程
是
说话
的
instance
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 施事体
是
那个 过程
的
agent
(<=>
(
holdsDuring
?TIME
(
attribute
?AGENT
LegalAgent
))
(
holdsDuring
?TIME
(
or
(
capability
LegalAction
agent
?AGENT)
(
capability
LegalAction
patient
?AGENT))))
Merge.kif 1601-1607
LegalAgent
是
实体
的
attribute
在
时间位置
holdsDuring
若且唯若
那个 实体
能够担当
主事
的角色做
法律诉讼
或
那个 实体
能够担当
受事
的角色做
法律诉讼
在
那个 时间位置
holdsDuring
(=>
(
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 6225-6238
如果
allergic
人类
and
有点 物质
和
有点 物质
UB 是
那个 有点 物质
的
instance
和
那个 有点 物质
UB 接上
那个 人类
在
时间位置
holdsDuring
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
AllergicReaction
的
instance
和
那个 人类
经历了
那个 另外 实体
和
那个 另外 实体
出现 的
time
时段 和
那个 时间位置
重叠 和
那个 时间位置
的开始%n在
那个 另外 实体
出现 的
time
的开始
before
发生 的声明 has
容易
的语气
(=>
(
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 13887-13900
如果
实数
测量单位
是
有点 純物质
的
boiling
点 和
实体
是
有点 純物质
的
instance
和
那个 实体
的
measure
是
另一个 实数
那个 测量单位
在
时距
holdsDuring
和
那个 测量单位
是
UnitOfTemperature
的
instance
和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
,
然后
加油站
是
那个 实体
的
attribute
在
那个 时距
holdsDuring
或 有存在
过程
这样
那个 时距
时段 和
那个 过程
出现 的
time
重叠 和
那个 过程
是
沸腾
的
instance
和
那个 实体
是
那个 过程
的
patient
(=>
(
and
(
breathingRate
?H ?T ?R)
(
instance
?T
Minute
)
(
not
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
?T
(
WhenFn
?R)))))
(
holdsDuring
?T
(
attribute
?H
HumanAdult
))
(
or
(
greaterThan
?R 16)
(
lessThan
?R 12)))
(
holdsDuring
?T
(
not
(
attribute
?H
Healthy
))))
Medicine.kif 367-385
如果
breathingRate
施事体
,
时距
and
整数
和
那个 时距
是
分钟
的
instance
和 不存在
那个 整数
这样
那个 整数
是
娱乐或锻炼
的
instance
和
那个 施事体
是
那个 整数
的
agent
和
那个 时距
在
那个 整数
出现 的
time
时段内发生 和
人类成人
是
那个 施事体
的
attribute
在
那个 时距
holdsDuring
和
那个 整数
是
greaterThan
16 或
那个 整数
是
lessThan
12,
然后
Healthy
不 是
那个 施事体
的
attribute
在
那个 时距
holdsDuring
(=>
(
and
(
climateTypeInArea
?AREA
PolarTypeFClimateZone
)
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
airTemperature
?AREA
(
MeasureFn
?TEMP
CelsiusDegree
))))
(
holdsDuring
?TIME
(
greaterThan
10.0 ?TEMP)))
Geography.kif 1597-1603
如果
极地型F气候区
是
地理区域
地区的
climate
类别 和
时间位置
是
时间位置
的
instance
和
实体
摄氏度
是
那个 地理区域
的
air
温度 在
那个 时间位置
holdsDuring
,
然后 10.0 是
greaterThan
那个 实体
在
那个 时间位置
holdsDuring
(=>
(
and
(
dampingRatio
?P ?R)
(
greaterThan
?R 0)
(
instance
?T
Tremor
)
(
patient
?T ?P)
(
instance
?U
UnitOfLength
)
(
holdsDuring
?T1
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
?T2
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U)))
(
during
?T1 ?T)
(
during
?T2 ?T)
(
earlier
?T1 ?T2))
(
greaterThan
?A1 ?A2))
Cars.kif 809-825
如果
dampingRatio
物理系统
and
实数
和
那个 实数
是
greaterThan
0 和
时距
是
震
的
instance
和
那个 物理系统
是
那个 时距
的
patient
和
实体
是
UnitOfLength
的
instance
和
physicalAmplitude
那个 时距
and
另一个 实数
那个 实体
在
那个 时距
1
holdsDuring
和
physicalAmplitude
那个 时距
and
第三 实数
那个 实体
在
那个 时距
2
holdsDuring
和
那个 时距
1 在
那个 时距
时段内发生 和
那个 时距
2 在
那个 时距
时段内发生 和
那个 时距
1 比
那个 时距
2发生的
earlier
,
然后
那个 另外 实数
是
greaterThan
那个 第三 实数
(=>
(
and
(
engineIdleSpeed
?E
(
RotationFn
(
MeasureFn
?N1
MilesPerHour
) ?M))
(
instance
?A
Automobile
)
(
instance
?P
GasPedal
)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?E ?A)
(
part
?GP ?A)
(
instance
?C
Crankshaft
)
(
part
?C ?E)
(
holdsDuring
(
WhenFn
?P)
(
measure
?C
(
RotationFn
(
MeasureFn
?N2
MilesPerHour
) ?M))))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Cars.kif 2568-2586
如果
engineIdleSpeed
内燃机
and
RotationFn
实数
英里每小時
and
持续时间
和
客体
是
汽车
的
instance
和
过程
是
GasPedal
的
instance
和
那个 过程
是
Pushing
的
instance
和
那个 过程
在
另一个 客体
结束 和
那个 内燃机
是
那个 客体
的
part
和
那个 另外 客体
是
那个 客体
的
part
和
第三 客体
是
Crankshaft
的
instance
和
那个 第三 客体
是
那个 内燃机
的
part
和
那个 第三 客体
的
measure
是
RotationFn
实体
英里每小時
and
那个 持续时间
在
那个 过程
出现 的
time
holdsDuring
,
然后
那个 实体
是
greaterThan
那个 实数
的声明 has
容易
的语气
(=>
(
and
(
governmentType
?PLACE
Monarchy
)
(
instance
?MONARCH
Human
)
(
instance
?SUCCESSOR
Human
)
(
holdsDuring
?T1
(
chiefOfState
?PLACE ?ROLE ?MONARCH))
(
familyRelation
?MONARCH ?SUCCESSOR)
(
earlier
?T1 ?T2))
(
modalAttribute
(
holdsDuring
?T2
(
chiefOfState
?PLACE ?ROLE ?SUCCESSOR))
Possibility
))
Government.kif 223-234
如果 %2 是 1% 的
government
类别 和
生物
是
人类
的
instance
和
另一个 生物
是
人类
的
instance
和
施事体
州
实体
的
chief
对于
那个 生物
在
时距
holdsDuring
和
那个 生物
和
那个 另外 生物
是 亲属 和
那个 时距
比
另一个 实体
earlier
,
然后
那个 施事体
州
那个 实体
的
chief
对于
那个 另外 生物
在
另一个 时距
holdsDuring
的声明 has
可能性
的语气
(=>
(
and
(
holdsDuring
?H
(
attribute
?A
Christian
))
(
instance
?H
ChristmasDay
))
(
observesHoliday
?A ?H))
Media.kif 406-411
如果
基督教
是
有认知的主事
的
attribute
在
假日
holdsDuring
和
那个 假日
是
ChristmasDay
的
instance
,
然后
那个 有认知的主事
observes
那个 假日
(=>
(
and
(
holdsDuring
?H
(
attribute
?A
Christian
))
(
instance
?H
EasterSunday
))
(
observesHoliday
?A ?H))
Media.kif 509-514
如果
基督教
是
有认知的主事
的
attribute
在
假日
holdsDuring
和
那个 假日
是
EasterSunday
的
instance
,
然后
那个 有认知的主事
observes
那个 假日
(=>
(
and
(
holdsDuring
?INTERVAL
(?REL ?INST1 ?INST2))
(
instance
?INST1
Physical
)
(
instance
?INST2
Physical
))
(
and
(
time
?INST1 ?INTERVAL)
(
time
?INST2 ?INTERVAL)))
Merge.kif 7996-8003
如果
实体
物理
and
另一个 物理
在
时间位置
holdsDuring
和
那个 物理
是
物理
的
instance
和
那个 另外 物理
是
物理
的
instance
,
然后
那个 物理
在
那个 时间位置
是 存在 和
那个 另外 物理
在
那个 时间位置
是 存在
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?LA ?O)
(
meetsSpatially
?LL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?RA ?O))
(
not
(
meetsSpatially
?RL ?O)))))
Anatomy.kif 1838-1860
如果
LateralRecumbant
是
客体
的
attribute
和
那个 客体
在
另一个 客体
的
上
在
时间位置
holdsDuring
和
第三 客体
是
LeftArm
的
instance
和
那个 第三 客体
是
那个 客体
的
part
和
第四 客体
是
RightArm
的
instance
和
那个 第四 客体
是
那个 客体
的
part
和
第五 客体
是
LeftLeg
的
instance
和
那个 第五 客体
是
那个 客体
的
part
和
第六 客体
是
RightLeg
的
instance
和
那个 第六 客体
是
那个 客体
的
part
和
那个 第三 客体
接上
那个 另外 客体
或
那个 第五 客体
接上
那个 另外 客体
,
然后
那个 第四 客体
不 接上
那个 另外 客体
和
那个 第六 客体
不 接上
那个 另外 客体
在
那个 时间位置
holdsDuring
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?RA ?O)
(
meetsSpatially
?RL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?LA ?O))
(
not
(
meetsSpatially
?LL ?O)))))
Anatomy.kif 1862-1884
如果
LateralRecumbant
是
客体
的
attribute
和
那个 客体
在
另一个 客体
的
上
在
时间位置
holdsDuring
和
第三 客体
是
LeftArm
的
instance
和
那个 第三 客体
是
那个 客体
的
part
和
第四 客体
是
RightArm
的
instance
和
那个 第四 客体
是
那个 客体
的
part
和
第五 客体
是
LeftLeg
的
instance
和
那个 第五 客体
是
那个 客体
的
part
和
第六 客体
是
RightLeg
的
instance
和
那个 第六 客体
是
那个 客体
的
part
和
那个 第四 客体
接上
那个 另外 客体
或
那个 第六 客体
接上
那个 另外 客体
,
然后
那个 第三 客体
不 接上
那个 另外 客体
和
那个 第五 客体
不 接上
那个 另外 客体
在
那个 时间位置
holdsDuring
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
Prone
)
(
orientation
?H ?O
On
)))
(
instance
?C
Chest
)
(
part
?C ?H))
(
meetsSpatially
?C ?O))
Anatomy.kif 1799-1807
如果
Prone
是
客体
的
attribute
和
那个 客体
在
另一个 客体
的
上
在
时间位置
holdsDuring
和
第三 客体
是
Chest
的
instance
和
那个 第三 客体
是
那个 客体
的
part
,
然后
那个 第三 客体
接上
那个 另外 客体
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
Supine
)
(
orientation
?H ?O
On
)))
(
equal
?B
(
BackFn
?H)))
(
meetsSpatially
?B ?O))
Anatomy.kif 1814-1821
如果
Supine
是
自身连接物体
的
attribute
和
那个 自身连接物体
在
客体
的
上
在
时间位置
holdsDuring
和
另一个 自身连接物体
equal
那个 自身连接物体
的后面,
然后
那个 另外 自身连接物体
接上
那个 客体
(=>
(
and
(
holdsDuring
?T
(
attribute
?A ?ES))
(
actionTendency
?ES ?PI))
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?PI)
(
during
(
WhenFn
?P) ?T)
(
experiencer
?P ?A)))
Likely
))
emotion.kif 161-172
如果
情绪状态
是
实体
的
attribute
在
时间位置
holdsDuring
和
actionTendency
那个 情绪状态
and
有点 EmotionalBehavioralProcess
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
有点 EmotionalBehavioralProcess
的
instance
和
那个 另外 实体
出现 的
time
在
那个 时间位置
时段内发生 和
那个 实体
经历了
那个 另外 实体
的声明 has
容易
的语气
(=>
(
and
(
holdsDuring
?T
(
attribute
?F
Menopausal
))
(
birthdate
?F ?B)
(
instance
?B
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?A1
(
AdditionFn
49 ?Y))
(
equal
?A2
(
AdditionFn
52 ?Y))
(
equal
?START
(
BeginFn
?T)))
(
modalAttribute
(
and
(
greaterThan
?START ?A1)
(
greaterThan
?A2 ?START))
Likely
))
Mid-level-ontology.kif 23973-23989
如果
Menopausal
是
人类
的
attribute
在
时距
holdsDuring
和
日
是
那个 人类
的
birthdate
和
那个 日
是
正整数
day
的
instance
和
实数
equal
(49 和
整数
) 和
另一个 实数
equal
(52 和
那个 整数
) 和
时点
equal
那个 时距
的开始,
然后
那个 时点
是
greaterThan
那个 实数
和
那个 另外 实数
是
greaterThan
那个 时点
的声明 has
容易
的语气
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
(
DeadOrMissingBodyPartFn
?P)))
(
instance
?PI ?P)
(
part
?PI ?H)
(
hasPurpose
?PI ?F))
(
not
?F))
Merge.kif 18325-18333
如果
DeadOrMissingBodyPartFn
类
是
客体
的
attribute
在
时间位置
holdsDuring
和
那个 类
I 是
那个 类
的
instance
和
那个 类
I 是
那个 客体
的
part
和
那个 类
I 的 目的 是
公式
,
然后
那个 公式
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
and
(
instance
?B
BodyPart
)
(
holdsDuring
?T
(
attribute
?B
Bare
)))
(
holdsDuring
?T
(
not
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
covers
?C ?B))))))
Mid-level-ontology.kif 30202-30212
实体
是
身体部位
的
instance
和
Bare
是
那个 实体
的
attribute
在
时间位置
holdsDuring
若且唯若 不存在
另一个 实体
这样
那个 另外 实体
是
服装
的
instance
和
covers
那个 另外 实体
and
那个 实体
在
那个 时间位置
holdsDuring
(<=>
(
and
(
instance
?COMBINE
Combining
)
(
resource
?COMBINE ?OBJ1)
(
result
?COMBINE ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COMBINE))
(
not
(
part
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?COMBINE))
(
part
?OBJ1 ?OBJ2))))
Merge.kif 12512-12519
过程
是
结合
的
instance
和
客体
是
那个 过程
的
resource
和
实体
是
那个 过程
的
result
若且唯若
那个 客体
不 是
那个 实体
的
part
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 客体
是
那个 实体
的
part
在
那个 过程
出现 的
time
的结束
holdsDuring
(<=>
(
and
(
instance
?X
Region
)
(
holdsDuring
?T
(
property
?X
StandardAmbientTemperaturePressure
)))
(
holdsDuring
?T
(
and
(
airTemperature
?X
(
MeasureFn
298.15
KelvinDegree
))
(
barometricPressure
?X
(
MeasureFn
29.530
InchMercury
)))))
Weather.kif 2663-2673
实体
是
地区
的
instance
和
那个 实体
有
标准状况
的
attribute
在
时间位置
holdsDuring
若且唯若 298.15
凯文度
是
那个 实体
的
air
温度 和 29.530
英寸汞
是
那个 实体
的
barometric
压力 在
那个 时间位置
holdsDuring
(<=>
(
and
(
instance
?Y
(
YearFn
?YEAR))
(
equal
(
MaleLifeExpectancyAtBirthFn
?AREA ?Y) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Male
)
(
during
(
WhenFn
?BIRTH) ?Y)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 357-390
年
是
那个 年
EAR
year
的
instance
和
地缘政治区域
和
那个 年
的
male
出生估计寿命
equal
实数
若且唯若 有存在
串列
,
另一个 整数
,, ,
符号串
,, ,
实体
,, ,
另一个 实体
, and 和
第三 实体
这样
那个 串列
是
串列
的
instance
和
那个 串列
的长度 是
那个 另外 整数
的
instance
和 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
那个 符号串
的
instance
和 不存在
第五 实体
这样
那个 第五 实体
是
那个 符号串
的
instance
和
那个 第五 实体
不 是
那个 串列
的
member
和
那个 另外 整数
equal
那个 符号串
所描述的类别
instance
的数量
和
那个 实数
是
那个 串列
的
average
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
FemaleLifeExpectancyAtBirthFn
?AREA ?YEAR) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Female
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 403-436
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
的
female
出生预期寿命
equal
实数
若且唯若 有存在
串列
,
另一个 整数
,, ,
符号串
,, ,
实体
,, ,
另一个 实体
, and 和
第三 实体
这样
那个 串列
是
串列
的
instance
和
那个 串列
的长度 是
那个 另外 整数
的
instance
和 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
那个 符号串
的
instance
和 不存在
第五 实体
这样
那个 第五 实体
是
那个 符号串
的
instance
和
那个 第五 实体
不 是
那个 串列
的
member
和
那个 另外 整数
equal
那个 符号串
所描述的类别
instance
的数量
和
那个 实数
是
那个 串列
的
average
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
LifeExpectancyAtBirthFn
?AREA ?YEAR) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 310-342
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
的出生预期
life
equal
实数
若且唯若 有存在
串列
,
另一个 整数
,, ,
符号串
,, ,
实体
,, ,
另一个 实体
, and 和
第三 实体
这样
那个 串列
是
串列
的
instance
和
那个 串列
的长度 是
那个 另外 整数
的
instance
和 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
那个 符号串
的
instance
和 不存在
第五 实体
这样
那个 第五 实体
是
那个 符号串
的
instance
和
那个 第五 实体
不 是
那个 串列
的
member
和
那个 另外 整数
equal
那个 符号串
所描述的类别
instance
的数量
和
那个 实数
是
那个 串列
的
average
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
MigrantsPerThousandFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
(
SubtractionFn
?Y ?PY) 1)
(
instance
?PREVIOUSYEAR
(
YearFn
?PY))
(
holdsDuring
?YEAR
(
equal
(
PopulationFn
?AREA) ?POPULATION))
(
equal
(
DivisionFn
?POPULATION 1000) ?THOUSANDS)
(
equal
?IMMIGRATION
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
holdsDuring
?PREVIOUSYEAR
(
not
(
inhabits
?PERSON ?AREA)))
(
holdsDuring
?YEAR
(
inhabits
?PERSON ?AREA))))))
(
equal
?EMMIGRATION
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
holdsDuring
?PREVIOUSYEAR
(
inhabits
?PERSON ?AREA))
(
holdsDuring
?YEAR
(
not
(
inhabits
?PERSON ?AREA)))))))
(
equal
(
SubtractionFn
?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT)
(
equal
(
DivisionFn
?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 156-187
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
每一千的
migrants
equal
实数
若且唯若 (
那个 整数
和
另一个 整数
)
equal
1 和
实体
是
那个 另外 整数
year
的
instance
和
那个 地缘政治区域
的
population
equal
另一个 实数
在
那个 年
holdsDuring
和
那个 另外 实数
和 1000
equal
第三 实数
和
第三 整数
equal
符号串
所描述的类别
instance
的数量 和
第四 整数
equal
那个 符号串
所描述的类别
instance
的数量 和 (
那个 第三 整数
和
那个 第四 整数
)
equal
第四 实数
和
那个 第四 实数
和
那个 第三 实数
equal
那个 实数
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
PopulationGrowthFn
?AREA ?YEAR) ?ADJUSTEDPERCENT))
(
and
(
equal
(
SubtractionFn
?Y ?YP) 1)
(
instance
?PREVIOUSYEAR
(
YearFn
?YP))
(
holdsDuring
?YEAR
(
equal
(
PopulationFn
?AREA) ?POPULATION))
(
holdsDuring
?PREVIOUSYEAR
(
equal
(
PopulationFn
?AREA) ?PREVIOUSPOPULATION))
(
equal
(
DivisionFn
?POPULATION ?PREVIOUSPOPULATION) ?PERCENT)
(
equal
(
SubtractionFn
?PERCENT 1) ?ADJUSTEDPERCENT)))
People.kif 52-64
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
的
population
成长
equal
实数
若且唯若 (
那个 整数
和
那个 整数
P)
equal
1 和
时间位置
是
那个 整数
P
year
的
instance
和
那个 地缘政治区域
的
population
equal
另一个 实数
在
那个 年
holdsDuring
和
那个 地缘政治区域
的
population
equal
第三 实数
在
那个 时间位置
holdsDuring
和
那个 另外 实数
和
那个 第三 实数
equal
第四 实数
和 (
那个 第四 实数
和 1)
equal
那个 实数
(<=>
(
annualExpendituresOfAreaInPeriod
?AREA ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
annualExpendituresOfArea
?AREA ?AMOUNT)))))
Economy.kif 1517-1522
1 对于 %3 在周期 %2 的
annual
地区消费 若且唯若 有存在
时间位置
这样
那个 时间位置
是
有点 时距
的
instance
和
货币测量
是
地缘政治区域
在
annual
地区消费 在
那个 时间位置
holdsDuring
(<=>
(
annualRevenuesOfAreaInPeriod
?AREA ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
annualRevenuesOfArea
?AREA ?AMOUNT)))))
Economy.kif 1488-1493
地缘政治区域
annual
对于
有点 时距
在周期
货币测量
的地区收入 若且唯若 有存在
时间位置
这样
那个 时间位置
是
有点 时距
的
instance
和
那个 货币测量
是
那个 地缘政治区域
的
annual
地区收入 在
那个 时间位置
holdsDuring
(<=>
(
capitalExpendituresOfAreaInPeriod
?AREA ?CAPAMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
capitalExpendituresOfArea
?AREA ?CAPAMOUNT)))))
Economy.kif 1565-1570
地缘政治区域
在周期
货币测量
对于
有点 时距
的
capital
地区支出 若且唯若 有存在
时间位置
这样
那个 时间位置
是
有点 时距
的
instance
和
那个 货币测量
是
那个 地缘政治区域
的
capital
地区支出 在
那个 时间位置
holdsDuring
(<=>
(
currencyExchangePerUSDollar
?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
currencyExchangeRate
UnitedStatesDollar
?AMOUNT)))))
Economy.kif 3661-3666
有点 时距
是
货币测量
的
currency
交换 每美元 若且唯若 有存在
时间位置
这样
那个 时间位置
是
有点 时距
的
instance
和
那个 货币测量
是
美国美元
的
currency
交换汇率 在
那个 时间位置
holdsDuring
(<=>
(
currencyExchangeRateInPeriod
?UNIT ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
currencyExchangeRate
?UNIT ?AMOUNT)))))
Economy.kif 3668-3673
UnitOfCurrency
对于
有点 时距
在周期
货币测量
的
currency
交换汇率 若且唯若 有存在
时间位置
这样
那个 时间位置
是
有点 时距
的
instance
和
那个 货币测量
是
那个 UnitOfCurrency
的
currency
交换汇率 在
那个 时间位置
holdsDuring
(<=>
(
economicAidDonatedInPeriod
?COUNTRY ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
economicAidDonated
?COUNTRY ?AMOUNT)))))
Economy.kif 2819-2824
地缘政治区域
是 对于
有点 时距
在期间
货币测量
的
economic
间赠补助 若且唯若 有存在
时间位置
这样
那个 时间位置
是
有点 时距
的
instance
和
那个 货币测量
是
那个 地缘政治区域
的
economic
捐赠补助 在
那个 时间位置
holdsDuring
(<=>
(
economicAidReceivedNetInPeriod
?COUNTRY ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
economicAidReceivedNet
?COUNTRY ?AMOUNT)))))
Economy.kif 2859-2864
地缘政治区域
是 对于
有点 时距
在期间
货币测量
总共收到的
economic
补助 若且唯若 有存在
时间位置
这样
那个 时间位置
是
有点 时距
的
instance
和
那个 货币测量
是
那个 地缘政治区域
总共收到的
economic
补助 在
那个 时间位置
holdsDuring
(<=>
(
electricityFractionFromSourceInPeriod
?AREA ?SOURCE ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
electricityFractionFromSource
?AREA ?SOURCE ?FRACTION)))))
Economy.kif 2056-2061
地缘政治区域
是 对于
实数
和
有点 时距
在周期
有点 发电
从来源的
electricity
分支 若且唯若 有存在
时间位置
这样
那个 时间位置
是
有点 时距
的
instance
和
那个 地缘政治区域
is 对于
那个 实数
从来源
有点 发电
的
electricity
分支 在
那个 时间位置
holdsDuring
(<=>
(
exportPartnerByFractionInPeriod
?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
exportPartnerByFraction
?AREA1 ?AREA2 ?FRACTION)))))
Economy.kif 2549-2554
地缘政治区域
对
正实数
和
有点 时距
在周期
另一个 地缘政治区域
由部分
export
伙伴 若且唯若 有存在
时间位置
这样
那个 时间位置
是
有点 时距
的
instance
和
那个 地缘政治区域
对于
那个 正实数
由部分
那个 另外 地缘政治区域
export
伙伴 在
那个 时间位置
holdsDuring
(<=>
(
exportPartnerByRankInPeriod
?AREA1 ?AREA2 ?NTH ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
exportPartnerByRank
?AREA1 ?AREA2 ?NTH)))))
Economy.kif 2511-2516
地缘政治区域
对
正整数
和
有点 时距
在周期
另一个 地缘政治区域
由阶级
export
伙伴 若且唯若 有存在
时间位置
这样
那个 时间位置
是
有点 时距
的
instance
和
那个 地缘政治区域
对于
那个 正整数
由阶级
那个 另外 地缘政治区域
export
伙伴 在
那个 时间位置
holdsDuring
(<=>
(
exportPartnerInPeriod
?AGENT1 ?AGENT2 ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
exportPartner
?AGENT1 ?AGENT2)))))
Economy.kif 2387-2392
施事体
对于
有点 时距
在周期
另一个 施事体
export
伙伴 若且唯若 有存在
时间位置
这样
那个 时间位置
是
有点 时距
的
instance
和
那个 另外 施事体
是
那个 施事体
的
export
伙伴 在
那个 时间位置
holdsDuring
(<=>
(
externalDebtInPeriod
?COUNTRY ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
externalDebt
?COUNTRY ?AMOUNT)))))
Economy.kif 2775-2780
地缘政治区域
是 对于
有点 时距
在周期
货币测量
的
external
债务 若且唯若 有存在
时间位置
这样
那个 时间位置
是
有点 时距
的
instance
和
那个 货币测量
是
那个 地缘政治区域
的
external
债务 在
那个 时间位置
holdsDuring
(<=>
(
highestDecileShareOfHouseholdIncomeInPeriod
?AREA ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
highestDecileShareOfHouseholdIncome
?AREA ?FRACTION)))))
Economy.kif 1279-1284
实数
是对于
地缘政治区域
在周期
那个 实数
的
highest
平分家庭收入 若且唯若 有存在
时间位置
这样
那个 时间位置
是
有点 时距
的
instance
和
那个 实数
是
那个 地缘政治区域
的
highest
平分家庭收入 在
那个 时间位置
holdsDuring
(<=>
(
holdsDuring
?T
(
and
(
instance
?PERSON
Human
)
(
forall
(?ORG)
(
not
(
employs
?ORG ?PERSON)))))
(
holdsDuring
?T
(
attribute
?PERSON
Unemployed
)))
Merge.kif 17325-17333
实体
是
人类
的
instance
和 对所有
另一个 实体
那个 另外 实体
doesn't
employs
那个 实体
在
时间位置
holdsDuring
若且唯若
失业的
是
那个 实体
的
attribute
在
那个 时间位置
holdsDuring
(<=>
(
holdsDuring
?T
(
attribute
?A
Barefoot
))
(
holdsDuring
?T
(
not
(
exists
(?S)
(
and
(
instance
?S
Shoe
)
(
wears
?A ?S))))))
Mid-level-ontology.kif 30156-30164
Barefoot
是
实体
的
attribute
在
时间位置
holdsDuring
若且唯若 不存在
另一个 实体
这样
那个 另外 实体
是
鞋
的
instance
和
那个 实体
wears
那个 另外 实体
在
那个 时间位置
holdsDuring
(<=>
(
holdsDuring
?T
(
attribute
?A
Naked
))
(
holdsDuring
?T
(
not
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
wears
?A ?C))))))
Mid-level-ontology.kif 30169-30177
Naked
是
实体
的
attribute
在
时间位置
holdsDuring
若且唯若 不存在
另一个 实体
这样
那个 另外 实体
是
服装
的
instance
和
那个 实体
wears
那个 另外 实体
在
那个 时间位置
holdsDuring
(<=>
(
holdsDuring
?TIME
(
attribute
?AGENT
LegalAgent
))
(
holdsDuring
?TIME
(
or
(
capability
LegalAction
agent
?AGENT)
(
capability
LegalAction
patient
?AGENT))))
Merge.kif 1601-1607
LegalAgent
是
实体
的
attribute
在
时间位置
holdsDuring
若且唯若
那个 实体
能够担当
主事
的角色做
法律诉讼
或
那个 实体
能够担当
受事
的角色做
法律诉讼
在
那个 时间位置
holdsDuring
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
ChildrenBornPerWomanFn
?AREA ?YEAR)
(
CardinalityFn
(
KappaFn
?INFANT
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
agent
?BIRTH ?WOMAN)
(
instance
?WOMAN
Human
)
(
attribute
?WOMAN
Female
)
(
holdsDuring
?YEAR
(
inhabits
?WOMAN ?AREA)))))))
People.kif 456-469
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
每个女人生的
children
equal
符号串
所描述的类别
instance
的数量
(
equal
(
ReachingMilitaryAgeAnnuallyMaleFn
?AREA ?YEAR)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
militaryAge
?AREA ?MILITARYAGE)
(
equal
?AGEMINUSONE
(
SubtractionFn
?AGE 1))
(
holdsDuring
?YEAR
(
or
(
age
?PERSON ?AGEMINUSONE)
(
age
?PERSON ?AGE)))
(
equal
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 924-937
地缘政治区域
和
年
每年的
reaching
军事男性年龄
equal
符号串
所描述的类别
instance
的数量
(
exists
(?T)
(
and
(
instance
?T
(
YearFn
1976))
(
holdsDuring
?T
(
coworker
SteveJobsOfApple
SteveWozniakOfApple
))))
ComputingBrands.kif 2453-2457
有存在
时间位置
这样
那个 时间位置
是 1976
year
的
instance
和
斯蒂夫·沃兹尼亚克
是
史蒂芬·贾伯斯
的
coworker
在
那个 时间位置
holdsDuring
(
exists
(?T)
(
and
(
instance
?T
(
YearFn
2002))
(
holdsDuring
?T
(
coworker
SteveJobsOfApple
TimCookOfApple
))))
ComputingBrands.kif 2441-2445
有存在
时间位置
这样
那个 时间位置
是 2002
year
的
instance
和
提姆·库克
是
史蒂芬·贾伯斯
的
coworker
在
那个 时间位置
holdsDuring
(
exists
(?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
finishes
?TIME
(
WhenFn
JesusOfNazareth
))
(
starts
?TIME
(
WhenFn
TwelveApostles
))
(
forall
(?MEM)
(=>
(
holdsDuring
?TIME
(
member
?MEM
TwelveApostles
))
(
holdsDuring
?TIME
(
friend
?MEM
JesusOfNazareth
))))))
Media.kif 1970-1978
有存在
时距
这样
那个 时距
是
时距
的
instance
和
那个 时距
finishes
了才到
JesusOfNazareth
出现 的
time
和
那个 时距
starts
了才到
TwelveApostles
出现 的
time
和 对所有
实体
如果
那个 实体
是
TwelveApostles
的
member
在
那个 时距
holdsDuring
,
然后
那个 实体
是
JesusOfNazareth
的
friend
在
那个 时距
holdsDuring
appearance as argument number 0
(
holdsDuring
(
FutureFn
?T)
(
and
(
instance
Serbia
EuropeanNation
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2501-2504
Serbia
是
欧洲国家
的
instance
和
时间位置
是 5
day
的
instance
在
那个 时间位置
之后
holdsDuring
(
holdsDuring
(
FutureFn
?T)
(
and
(
instance
Serbia
IndependentState
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2496-2499
Serbia
是
独立国家
的
instance
和
时间位置
是 5
day
的
instance
在
那个 时间位置
之后
holdsDuring
(
holdsDuring
(
FutureFn
?T)
(
and
(
names
"Republic of Serbia"
Serbia
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2506-2509
Serbia
的名 是 "Republic of Serbia" 和
时间位置
是 5
day
的
instance
在
那个 时间位置
之后
holdsDuring
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
instance
Montenegro
EuropeanNation
)))
Media.kif 2528-2531
时间位置
是 3
day
的
instance
和
Montenegro
是
欧洲国家
的
instance
在
那个 时间位置
之后
holdsDuring
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
instance
Montenegro
IndependentState
)))
Media.kif 2523-2526
时间位置
是 3
day
的
instance
和
Montenegro
是
独立国家
的
instance
在
那个 时间位置
之后
holdsDuring
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
names
"Montenegro"
Montenegro
)))
Media.kif 2533-2536
时间位置
是 3
day
的
instance
和
Montenegro
的名 是 "Montenegro" 在
那个 时间位置
之后
holdsDuring
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
not
(
instance
SerbiaAndMontenegro
IndependentState
))))
Media.kif 2546-2550
时间位置
是 3
day
的
instance
和
塞尔维亚和黑山
不 是
独立国家
的
instance
在
那个 时间位置
之后
holdsDuring
(
holdsDuring
(
ImmediateFutureFn
?T)
(
and
(
instance
?T
(
DayFn
1
(
MonthFn
October
(
YearFn
1992))))
(
conventionalLongName
"Andean Community of Nations"
AndeanCommunityOfNations
)))
Government.kif 2755-2758
时间位置
是 1
day
的
instance
和
安第斯国际社会
是 "Andean Community of Nations" 的
conventional
全名 在 紧接
那个 时间位置
after
holdsDuring
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
and
(
instance
?TIME
(
YearFn
1996))
(
conventionalLongName
"Agency for the French-Speaking Community"
AgencyForTheFrenchSpeakingCommunity
)))
Government.kif 2729-2733
时间位置
是 1996
year
的
instance
和
法语社区的代理机构
是 "Agency for the French-Speaking Community" 的
conventional
全名 在 紧接
那个 时间位置
after
holdsDuring
(
holdsDuring
(
WhenFn
JesusOfNazareth
)
(
located
JesusOfNazareth
Palestine
))
Media.kif 1920-1920
JesusOfNazareth
是
located
在
巴勒斯坦
在
JesusOfNazareth
出现 的
time
holdsDuring
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