Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
WhenFn
Sigma KEE - WhenFn
WhenFn
appearance as argument number 1
(
documentation
WhenFn
ChineseLanguage
"这是一个
UnaryFunction
,它把一个
Object
或
Process
联系到它存在的准确
TimeInterval
。注:在
TimeInterval
(WhenFn ?THING)以外的 每一个
TimePoint
?TIME, (time ?THING ?TIME) 并不存在")
chinese_format.kif 2736-2738
(
documentation
WhenFn
EnglishLanguage
"A
UnaryFunction
that maps an
Object
or
Process
to the exact
TimeInterval
during which it exists. Note that, for every
TimePoint
?TIME outside of the
TimeInterval
(WhenFn ?THING), (time ?THING ?TIME) does not hold.")
Merge.kif 8373-8376
(
domain
WhenFn
1
Physical
)
Merge.kif 8370-8370
何时函数
的 1 数量 是
物理
的
instance
(
instance
WhenFn
TemporalRelation
)
Merge.kif 8367-8367
何时函数
是
时间关系
的
instance
(
instance
WhenFn
TotalValuedRelation
)
Merge.kif 8369-8369
何时函数
是
总值关系
的
instance
(
instance
WhenFn
UnaryFunction
)
Merge.kif 8368-8368
何时函数
是
一元函数
的
instance
(
range
WhenFn
TimeInterval
)
Merge.kif 8371-8371
何时函数
的
range
是
时距
的实例
appearance as argument number 2
(
format
ChineseLanguage
WhenFn
"%1 出现 的
time
")
chinese_format.kif 455-455
(
format
EnglishLanguage
WhenFn
"the
time
of existence of %1")
english_format.kif 461-461
(
relatedInternalConcept
WhereFn
WhenFn
)
Merge.kif 4135-4135
表示位置的函数
和
何时函数
是 内部相关
(
termFormat
ChineseLanguage
WhenFn
"何时")
domainEnglishFormat.kif 62952-62952
(
termFormat
ChineseLanguage
WhenFn
"何时函数")
chinese_format.kif 456-456
(
termFormat
ChineseTraditionalLanguage
WhenFn
"何時")
domainEnglishFormat.kif 62951-62951
(
termFormat
EnglishLanguage
WhenFn
"when")
domainEnglishFormat.kif 62950-62950
antecedent
(=>
(
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 2585-2603
如果
engineIdleSpeed
内燃机
and
RotationFn
实数
英里每小時
and
持续时间
和
客体
是
汽车
的
instance
和
过程
是
GasPedal
的
instance
和
那个 过程
是
Pushing
的
instance
和
那个 过程
在
另一个 客体
结束 和
那个 内燃机
是
那个 客体
的
part
和
那个 另外 客体
是
那个 客体
的
part
和
第三 客体
是
Crankshaft
的
instance
和
那个 第三 客体
是
那个 内燃机
的
part
和
那个 第三 客体
的
measure
是
RotationFn
实体
英里每小時
and
那个 持续时间
在
那个 过程
出现 的
time
holdsDuring
,
然后
那个 实体
是
greaterThan
那个 实数
的声明 has
容易
的语气
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
benefits
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 22343-22348
如果
时点
equal
过程
出现 的
time
的开始 和
另一个 时点
equal
施事体
出现 的
time
的结束 和
那个 施事体
是
那个 过程
的 受益者,
然后
那个 时点
%n在
那个 另外 时点
before
发生
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
suffers
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 28983-28992
如果
时点
equal
过程
出现 的
time
的开始 和
另一个 时点
equal
施事体
出现 的
time
的结束 和
那个 施事体
suffers
从
那个 过程
,
然后
那个 时点
%n在
那个 另外 时点
before
发生
(=>
(
and
(
holdsDuring
?T
(
attribute
?X
Booting
))
(
holdsDuring
?T2
(
attribute
?X
HostReady
))
(
equal
?T2
(
ImmediateFutureFn
(
WhenFn
?T)))
(
instance
?DIS
ComputerDisplay
)
(
connectedEngineeringComponents
?DIS ?X))
(
modalAttribute
(
exists
(?HS)
(
and
(
instance
?HS
HomeScreen
)
(
displayedUpon
?HS ?DIS)))
Likely
))
ComputingBrands.kif 3197-3211
如果
啟動中
是
工程组件
的
attribute
在
物理
holdsDuring
和
准备好主持
是
那个 工程组件
的
attribute
在
那个 物理
2
holdsDuring
和
那个 物理
2
equal
紧接
那个 物理
出现 的
time
after
和
另一个 工程组件
是
ComputerDisplay
的
instance
和
那个 另外 工程组件
是 和
那个 工程组件
connected
,
然后 有存在
实体
这样
那个 实体
是
主頁面
的
instance
和
那个 实体
是在
那个 另外 工程组件
displayed
的声明 has
容易
的语气
(=>
(
and
(
holdsDuring
?T
(
desires
?M
(
attribute
?V
Dead
)))
(
instance
?MURDER
Murder
)
(
agent
?MURDER ?M)
(
patient
?MURDER ?V)
(
earlier
?T
(
WhenFn
?MURDER)))
(
attribute
?MURDER
Premeditated
))
Law.kif 524-533
如果
施事体
desires
死
是
实体
的
attribute
在
时距
holdsDuring
和
那个 施事体
URDER 是
谋杀
的
instance
和
那个 施事体
是
那个 施事体
URDER 的
agent
和
那个 实体
是
那个 施事体
URDER 的
patient
和
那个 时距
比
那个 施事体
URDER 出现 的
time
发生的
earlier
,
然后
Premeditated
是
那个 施事体
URDER 的
attribute
(=>
(
and
(
holdsDuring
?T1
(
attribute
?H
Dieting
))
(
holdsDuring
?T2
(
not
(
attribute
?H
Dieting
)))
(
instance
?M1
Meal
)
(
instance
?E1
Eating
)
(
agent
?E1 ?H)
(
resource
?E1 ?M1)
(
during
(
WhenFn
?E1) ?T1)
(
measure
?M1
(
MeasureFn
?C1
Calorie
))
(
instance
?M2
Meal
)
(
instance
?E2
Eating
)
(
agent
?E2 ?H)
(
resource
?E2 ?M2)
(
during
(
WhenFn
?E2) ?T2)
(
measure
?M2
(
MeasureFn
?C2
Calorie
)))
(
modalAttribute
(
greaterThan
?C2 ?C1)
Likely
))
Mid-level-ontology.kif 30040-30061
如果
Dieting
是
施事体
的
attribute
在
时距
holdsDuring
和
Dieting
不 是
那个 施事体
的
attribute
在
另一个 时距
holdsDuring
和
客体
是
Meal
的
instance
和
过程
是
进食
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 客体
是
那个 过程
的
resource
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 客体
的
measure
是
实数
卡路里
和
另一个 客体
是
Meal
的
instance
和
另一个 过程
是
进食
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 另外 客体
是
那个 另外 过程
的
resource
和
那个 另外 过程
出现 的
time
在
那个 另外 时距
时段内发生 和
那个 另外 客体
的
measure
是
另一个 实数
卡路里
,
然后
那个 另外 实数
是
greaterThan
那个 实数
的声明 has
容易
的语气
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Embryonic
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
not
(
overlapsTemporally
?TIME ?BW)))
Merge.kif 17930-17936
如果
胚胎
是
施事体
的
attribute
在
时距
holdsDuring
和
过程
是
出生
的
instance
和
另一个 时距
equal
那个 过程
出现 的
time
和
那个 施事体
经历了
那个 过程
,
然后
那个 另外 时距
时段 doesn't 和
那个 时距
重叠
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Larval
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
meetsTemporally
?BW ?TIME))
Merge.kif 17908-17914
如果
幼虫
是
施事体
的
attribute
在
时距
holdsDuring
和
过程
是
出生
的
instance
和
另一个 时距
equal
那个 过程
出现 的
time
和
那个 施事体
经历了
那个 过程
,
然后
那个 另外 时距
接着
那个 时距
(=>
(
and
(
instance
?A
Accelerating
)
(
equal
?T
(
WhenFn
?A))
(
experiencer
?A ?E))
(
not
(
exists
(?D)
(
and
(
instance
?D
Decelerating
)
(
experiencer
?D ?E)
(
equal
?T
(
WhenFn
?D))))))
Mid-level-ontology.kif 16612-16622
如果
过程
是
加速
的
instance
和
时距
equal
那个 过程
出现 的
time
和
施事体
经历了
那个 过程
,
然后 不存在
另一个 过程
这样
那个 另外 过程
是
减速
的
instance
和
那个 施事体
经历了
那个 另外 过程
和
那个 时距
equal
那个 另外 过程
出现 的
time
(=>
(
and
(
instance
?A
Ambulating
)
(
subProcess
?S1 ?A)
(
instance
?S1
Stepping
)
(
subProcess
?S2 ?A)
(
instance
?S2
Stepping
)
(
equal
?S1START
(
BeginFn
(
WhenFn
?S1)))
(
equal
?S2START
(
BeginFn
(
WhenFn
?S2)))
(
not
(
or
(
before
?S1START ?S2START)
(
before
?S2START ?S1START))))
(
equal
?S1 ?S2))
Mid-level-ontology.kif 490-503
如果
过程
是
走动
的
instance
和
另一个 过程
%n是
那个 过程
的
subProcess
和
那个 另外 过程
是
步进
的
instance
和
第三 过程
%n是
那个 过程
的
subProcess
和
那个 第三 过程
是
步进
的
instance
和
那个 另外 过程
START
equal
那个 另外 过程
出现 的
time
的开始 和
那个 第三 过程
START
equal
那个 第三 过程
出现 的
time
的开始 和
那个 另外 过程
START%n在
那个 第三 过程
START
before
发生 和
那个 第三 过程
START%n在
那个 另外 过程
START
before
发生,
然后
那个 另外 过程
equal
那个 第三 过程
(=>
(
and
(
instance
?A
Antacid
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9407-9429
如果
客体
是
Antacid
的
instance
和
运动
是
消化
的
instance
和
施事体
是
那个 运动
的
agent
和
移动
那个 运动
and
那个 客体
和
另一个 客体
是
胃
的
instance
和
那个 另外 客体
是
那个 施事体
的
part
和
那个 另外 客体
contains
第三 客体
和
那个 第三 客体
是
流体
的
instance
在 紧接
那个 运动
出现 的
time
before
holdsDuring
和
那个 另外 客体
contains
第四 客体
和
那个 第四 客体
是
流体
的
instance
在 紧接
那个 运动
出现 的
time
after
holdsDuring
和
phMeasure
那个 第三 客体
and
实数
和
phMeasure
那个 第四 客体
and
另一个 实数
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?A
Attaching
)
(
patient
?A ?O1)
(
patient
?A ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2)))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
connected
?O1 ?O2)))
(
and
(
objectAttached
?A ?O1)
(
objectAttached
?A ?O2)))
Merge.kif 12145-12159
如果
过程
是
连接
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
是
那个 过程
的
patient
和
那个 实体
和
那个 另外 实体
不 是
connected
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
和
那个 另外 实体
是
connected
在
那个 过程
出现 的
time
的结束
holdsDuring
,
然后
objectAttached
那个 过程
and
那个 实体
和
objectAttached
那个 过程
and
那个 另外 实体
(=>
(
and
(
instance
?A
ProtonPumpInhibitor
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9468-9490
如果
客体
是
ProtonPumpInhibitor
的
instance
和
运动
是
消化
的
instance
和
施事体
是
那个 运动
的
agent
和
移动
那个 运动
and
那个 客体
和
另一个 客体
是
胃
的
instance
和
那个 另外 客体
是
那个 施事体
的
part
和
那个 另外 客体
contains
第三 客体
和
那个 第三 客体
是
流体
的
instance
在 紧接
那个 运动
出现 的
time
before
holdsDuring
和
那个 另外 客体
contains
第四 客体
和
那个 第四 客体
是
流体
的
instance
在 紧接
那个 运动
出现 的
time
after
holdsDuring
和
phMeasure
那个 第三 客体
and
实数
和
phMeasure
那个 第四 客体
and
另一个 实数
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
instance
?TRANSFER
DataTransfer
)
(
instance
?SERVER
Server
)
(
instance
?REQUESTING
Requesting
)
(
instance
?BROWSER
WebBrowser
)
(
instance
?INTERVAL
TimeInterval
)
(
patient
?ACCESSING ?PAGE)
(
agent
?REQUESTING ?BROWSER)
(
destination
?REQUESTING ?SERVER)
(
patient
?REQUESTING ?PAGE)
(
origin
?TRANSFER ?SERVER)
(
destination
?TRANSFER ?BROWSER)
(
patient
?TRANSFER ?PAGE)
(
subProcess
?TRANSFER ?ACCESSING)
(
subProcess
?REQUESTING ?ACCESSING)
(
equal
(
EndFn
(
WhenFn
?REQUESTING))
(
BeginFn
?INTERVAL))
(
equal
(
EndFn
(
WhenFn
?TRANSFER))
(
EndFn
?INTERVAL)))
(
equal
(
SiteSpeedFn
?ACCESSING) ?INTERVAL))
UXExperimentalTerms.kif 3966-3991
如果
AccessingWebPage
是
AccessingWebPage
的
instance
和
实体
是
WebPage
的
instance
和
过程
是
数据传输
的
instance
和
客体
是
服务器
的
instance
和
另一个 过程
是
要求
的
instance
和
施事体
是
WebBrowser
的
instance
和
时距
是
时距
的
instance
和
那个 实体
是
那个 AccessingWebPage
的
patient
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 另外 过程
在
那个 客体
结束 和
那个 实体
是
那个 另外 过程
的
patient
和
那个 客体
是
那个 过程
的源头 和
那个 过程
在
那个 施事体
结束 和
那个 实体
是
那个 过程
的
patient
和
那个 过程
%n是
那个 AccessingWebPage
的
subProcess
和
那个 另外 过程
%n是
那个 AccessingWebPage
的
subProcess
和
那个 另外 过程
出现 的
time
的结束
equal
那个 时距
的开始 和
那个 过程
出现 的
time
的结束
equal
那个 时距
的结束,
然后
access
的时间在
那个 AccessingWebPage
equal
那个 时距
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
equal
?DURATION
(
WhenFn
?AMBULATE)))
(
exists
(?STEP1 ?STEPN)
(
and
(
instance
?STEP1
Stepping
)
(
instance
?STEPN
Stepping
)
(
subProcess
?STEP1 ?AMBULATE)
(
subProcess
?STEPN ?AMBULATE)
(
starts
(
WhenFn
?STEP1) ?DURATION)
(
finishes
(
WhenFn
?STEPN) ?DURATION)
(
not
(
equal
?STEP1 ?STEPN)))))
Mid-level-ontology.kif 476-488
如果
过程
是
走动
的
instance
和
时距
equal
那个 过程
出现 的
time
,
然后 有存在
另一个 过程
和
第三 过程
这样
那个 另外 过程
是
步进
的
instance
和
那个 第三 过程
是
步进
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 第三 过程
%n是
那个 过程
的
subProcess
和
那个 另外 过程
出现 的
time
starts
了才到
那个 时距
和
那个 第三 过程
出现 的
time
finishes
了才到
那个 时距
和
那个 另外 过程
不
equal
那个 第三 过程
(=>
(
and
(
instance
?AR
ArmedReconnaissance
)
(
agent
?AR ?AGENT)
(
patient
?AR ?HOSTILE)
(
holdsDuring
(
WhenFn
?AR)
(
enemy
?AGENT ?HOSTILE)))
(
confersRight
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?HOSTILE))) ?AR ?AGENT))
MilitaryProcesses.kif 89-103
如果
过程
是
武装侦察
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
和
enemy
那个 有认知的主事
and
那个 实体
在
那个 过程
出现 的
time
holdsDuring
,
然后
那个 过程
允许
那个 有认知的主事
执行 有存在
另一个 实体
这样
那个 另外 实体
是
攻击
的
instance
和
那个 有认知的主事
是
那个 另外 实体
的
agent
和
那个 实体
是
那个 另外 实体
的
patient
的任务
(=>
(
and
(
instance
?ASO
AntiSurfaceOperation
)
(
patient
?ASO ?TARGET)
(
holdsDuring
(
WhenFn
?ASO)
(
located
?TARGET ?LOCATION)))
(
instance
?LOCATION
WaterArea
))
MilitaryProcesses.kif 665-671
如果
过程
是
防表面操作
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
located
在
另一个 实体
在
那个 过程
出现 的
time
holdsDuring
,
然后
那个 另外 实体
是
水域
的
instance
(=>
(
and
(
instance
?BOILING
Boiling
)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
patient
?BOILING ?SUBSTANCE)
(
holdsDuring
(
WhenFn
?BOILING)
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
))
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
Merge.kif 13584-13592
如果
过程
是
沸腾
的
instance
和
实数
测量单位
是
有点 純物质
的
boiling
点 和
实体
是
有点 純物质
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 实体
的
measure
是
另一个 实数
那个 测量单位
在
那个 过程
出现 的
time
holdsDuring
和
那个 测量单位
是
UnitOfTemperature
的
instance
,
然后
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
(=>
(
and
(
instance
?CHANGE
ChangeOfPossession
)
(
patient
?CHANGE ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT2 ?OBJ)))
(
not
(
equal
?AGENT1 ?AGENT2)))
Merge.kif 11480-11487
如果
过程
是
改变所有权
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
possesses
那个 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
第三 实体
possesses
那个 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
,
然后
那个 另外 实体
不
equal
那个 第三 实体
(=>
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?AGENT
Agent
)
(
instance
?LISTING
WebListing
)
(
instance
?TIME
TimePoint
)
(
listingSeller
?LISTING ?AGENT)
(
not
(
member
?LISTING ?COLL))
(
forall
(?ITEM ?MEMBER)
(
and
(=>
(
and
(
instance
?ITEM
WebListing
)
(
member
?ITEM
(
SellersItemsFn
?AGENT ?SITE))
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
not
(
equal
?ITEM ?LISTING)))
(
member
?ITEM ?COLL))
(=>
(
member
?MEMBER ?COLL)
(
and
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
instance
?MEMBER
WebListing
))))))
(
equal
(
SellersOtherItemsFn
?AGENT ?SITE ?LISTING ?TIME) ?COLL))
UXExperimentalTerms.kif 1230-1257
如果
群体
是
群体
的
instance
和
WebSite
是
WebSite
的
instance
和
施事体
是
施事体
的
instance
和
WebListing
是
WebListing
的
instance
和
时点
是
时点
的
instance
和
那个 施事体
sells
那个 WebListing
和
那个 WebListing
不 是
那个 群体
的
member
和 对所有
物理
和
另一个 物理
如果
那个 物理
是
WebListing
的
instance
和
那个 物理
是 样品对于
sale
由
那个 施事体
在
那个 WebSite
的
member
和
那个 时点
时段 是
那个 物理
出现 的
time
时段 的一
part
和
那个 物理
不
equal
那个 WebListing
,
然后
那个 物理
是
那个 群体
的
member
和
如果
那个 另外 物理
是
那个 群体
的
member
,
然后
那个 时点
时段 是
那个 物理
出现 的
time
时段 的一
part
和
那个 另外 物理
是
WebListing
的
instance
,
然后 东西对于
sale
由
那个 施事体
非列在
那个 WebListing
在
那个 WebSite
期间
那个 时点
equal
那个 群体
(=>
(
and
(
instance
?CONST
(
ConstitutionFn
?COUNTRY))
(
instance
?COUNTRY
Nation
)
(
equal
?GOV
(
GovernmentFn
?COUNTRY))
(
agreementEffectiveDuring
?CONST
(
WhenFn
?GOV))
(
subProposition
?PART ?CONST)
(
containsInformation
?FORMULA ?PART))
(
holdsObligation
?FORMULA ?GOV))
Government.kif 760-768
如果
命题
是
地缘政治区域
的
constitution
的
instance
和
那个 地缘政治区域
是
国家
的
instance
和
政府
equal
那个 地缘政治区域
的
Government
和
那个 政府
出现 的
time
是
那个 命题
的
agreement
生效其间 和
另一个 命题
是
那个 命题
的
subProposition
和
公式
contains
那个 另外 命题
的资料,
然后
那个 政府
有义务执行
那个 公式
的任务
(=>
(
and
(
instance
?Compression
DataCompression
)
(
dataProcessed
?Compression ?Data)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?Memory ?Measure)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?NewMemory ?Measure))))
(
lessThan
?NewMemory ?Memory))
QoSontology.kif 1931-1945
如果
电脑程序
是
数据压缩
的
instance
和
数字数据
是由
那个 电脑程序
processed
和
那个 数字数据
requires
实数
实体
在 紧接
那个 电脑程序
出现 的
time
before
holdsDuring
和
那个 数字数据
requires
另一个 实数
那个 实体
在 紧接
那个 电脑程序
出现 的
time
after
holdsDuring
,
然后
那个 另外 实数
是
lessThan
那个 实数
(=>
(
and
(
instance
?D
DeletingAnAccount
)
(
instance
?AC
Account
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
hasAccount
?A ?AC))
(
patient
?D ?AC)
(
agent
?D ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?D))
(
not
(
hasAccount
?A ?AC))))
ComputingBrands.kif 4529-4539
如果
过程
是
DeletingAnAccount
的
instance
和
实体
是
Account
的
instance
和
施事体
有
account
那个 实体
在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
那个 实体
是
那个 过程
的
patient
和
那个 施事体
是
那个 过程
的
agent
,
然后 不
那个 施事体
有
account
那个 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?D
Detaching
)
(
patient
?D ?O1)
(
patient
?D ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
connected
?O1 ?O2))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2))))
(
and
(
objectDetached
?A ?O1)
(
objectDetached
?A ?O2)))
Merge.kif 12193-12202
如果
过程
是
脱离
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
是
那个 过程
的
patient
和
那个 实体
和
那个 另外 实体
是
connected
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
和
那个 另外 实体
不 是
connected
在
另一个 过程
出现 的
time
的结束
holdsDuring
,
然后
objectDetached
那个 另外 过程
and
那个 实体
和
objectDetached
那个 另外 过程
and
那个 另外 实体
(=>
(
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 439-452
如果
过程
是
躲着
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 过程
T
equal
那个 过程
出现 的
time
,
然后
那个 过程
的 目的 是 不存在
实体
这样
那个 过程
T 接着
那个 实体
出现 的
time
或
那个 实体
出现 的
time
时段 和
那个 过程
T 重叠 和
那个 实体
是
碰撞
的
instance
和
那个 施事体
是
那个 实体
的
patient
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
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 12228-12235
过程
是
结合
的
instance
和
客体
是
那个 过程
的
resource
和
实体
是
那个 过程
的
result
若且唯若
那个 客体
不 是
那个 实体
的
part
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 客体
是
那个 实体
的
part
在
那个 过程
出现 的
time
的结束
holdsDuring
(<=>
(
and
(
instance
?Y
(
YearFn
?YEAR))
(
equal
(
MaleLifeExpectancyAtBirthFn
?AREA ?Y) ?REALNUMBER))
(
exists
(?LIST)
(
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 372-405
年
是
那个 年
EAR
year
的
instance
和
地缘政治区域
和
那个 年
的
male
出生估计寿命
equal
实数
若且唯若 有存在
串列
这样
那个 串列
是
串列
的
instance
和
那个 串列
的长度 是
另一个 整数
的
instance
和 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
符号串
的
instance
和 不存在
另一个 实体
这样
那个 另外 实体
是
那个 符号串
的
instance
和
那个 另外 实体
不 是
那个 串列
的
member
和
那个 另外 整数
equal
那个 符号串
所描述的类别
instance
的数量
和
那个 实数
是
那个 串列
的
average
(<=>
(
equal
(
BirthsPerThousandFn
?AREA
(
YearFn
?YEAR)) ?REALNUMBER)
(
and
(
equal
(
DivisionFn
(
PopulationFn
?AREA) 1000) ?THOUSANDS)
(
equal
?BIRTHCOUNT
(
CardinalityFn
(
KappaFn
?BIRTH
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
instance
?INFANT
Human
)
(
during
(
WhenFn
?BIRTH)
(
YearFn
?YEAR))
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)))))
(
equal
(
DivisionFn
?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 108-121
地缘政治区域
和
整数
year
每一千的
births
equal
实数
若且唯若
那个 地缘政治区域
的
population
和 1000
equal
另一个 实数
和
另一个 整数
equal
符号串
所描述的类别
instance
的数量 和
那个 另外 整数
和
那个 另外 实数
equal
那个 实数
(<=>
(
equal
(
DeathsPerThousandFn
?AREA
(
YearFn
?YEAR)) ?REALNUMBER)
(
and
(
equal
(
DivisionFn
(
PopulationFn
?AREA) 1000) ?THOUSANDS)
(
equal
?DEATHCOUNT
(
CardinalityFn
(
KappaFn
?DEATH
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?PERSON)
(
instance
?PERSON
Human
)
(
during
(
WhenFn
?DEATH)
(
YearFn
?YEAR))
(
equal
(
WhereFn
?DEATH
(
WhenFn
?DEATH)) ?AREA)))))
(
equal
(
DivisionFn
?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 142-155
地缘政治区域
和
整数
year
每一千里的
deaths
equal
实数
若且唯若
那个 地缘政治区域
的
population
和 1000
equal
另一个 实数
和
另一个 整数
equal
符号串
所描述的类别
instance
的数量 和
那个 另外 整数
和
那个 另外 实数
equal
那个 实数
(<=>
(
equal
(
DeathsPerThousandLiveBirthsFn
?AREA
(
YearFn
?YEAR)) ?REALNUMBER)
(
and
(
equal
?BIRTHCOUNT
(
CardinalityFn
(
KappaFn
?BIRTH
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
instance
?INFANT
Human
)
(
during
(
WhenFn
?BIRTH)
(
YearFn
?YEAR))
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)))))
(
equal
(
DivisionFn
?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
(
equal
?INFANTDEATHCOUNT
(
CardinalityFn
(
KappaFn
?DEATH
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INFANT)
(
instance
?INFANT
Human
)
(
age
?INFANT
(
MeasureFn
?AGE
YearDuration
))
(
lessThan
?AGE 1)
(
during
(
WhenFn
?DEATH)
(
YearFn
?YEAR))
(
equal
(
WhereFn
?DEATH
(
WhenFn
?DEATH)) ?AREA)))))
(
equal
(
DivisionFn
?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))
People.kif 257-281
地缘政治区域
和
整数
year
每一千个生存出生里的
deaths
equal
实数
若且唯若
另一个 整数
equal
符号串
所描述的类别
instance
的数量 和
那个 另外 整数
和 1000
equal
另一个 实数
和
第三 整数
equal
另一个 符号串
所描述的类别
instance
的数量 和
那个 第三 整数
和
那个 另外 实数
equal
那个 实数
(<=>
(
equal
(
FemaleLifeExpectancyAtBirthFn
?AREA
(
YearFn
?YEAR)) ?REALNUMBER)
(
exists
(?LIST)
(
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)
(
YearFn
?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 418-449
地缘政治区域
和
整数
year
的
female
出生预期寿命
equal
实数
若且唯若 有存在
串列
这样
那个 串列
是
串列
的
instance
和
那个 串列
的长度 是
另一个 整数
的
instance
和 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
符号串
的
instance
和 不存在
另一个 实体
这样
那个 另外 实体
是
那个 符号串
的
instance
和
那个 另外 实体
不 是
那个 串列
的
member
和
那个 另外 整数
equal
那个 符号串
所描述的类别
instance
的数量
和
那个 实数
是
那个 串列
的
average
(<=>
(
equal
(
LifeExpectancyAtBirthFn
?AREA
(
YearFn
?YEAR)) ?REALNUMBER)
(
exists
(?LIST)
(
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)
(
YearFn
?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 327-357
地缘政治区域
和
整数
year
的出生预期
life
equal
实数
若且唯若 有存在
串列
这样
那个 串列
是
串列
的
instance
和
那个 串列
的长度 是
另一个 整数
的
instance
和 对所有
那个 串列
ITEM
如果
那个 串列
ITEM 是
那个 串列
的
member
,
然后
那个 串列
ITEM 是
符号串
的
instance
和 不存在
另一个 实体
这样
那个 另外 实体
是
那个 符号串
的
instance
和
那个 另外 实体
不 是
那个 串列
的
member
和
那个 另外 整数
equal
那个 符号串
所描述的类别
instance
的数量
和
那个 实数
是
那个 串列
的
average
(<=>
(
holdsDuring
?T
(
attribute
?H
Alone
))
(
not
(
exists
(?H2 ?SI)
(
and
(
not
(
equal
?H ?H2))
(
instance
?H2
Agent
)
(
instance
?SI
SocialInteraction
)
(
during
(
WhenFn
?SI) ?T)
(
involvedInEvent
?SI ?H)
(
involvedInEvent
?SI ?H2)))))
Mid-level-ontology.kif 29601-29614
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 29649-29657
Mute
是
施事体
的
attribute
在
时距
holdsDuring
若且唯若 不存在
过程
这样
那个 过程
是
说话
的
instance
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 施事体
是
那个 过程
的
agent
(=>
(
almaMater
?PERSON ?SCHOOL)
(
exists
(?EV)
(
and
(
instance
?EV
EducationalProcess
)
(
destination
?EV ?PERSON)
(
eventLocated
?EV ?SCHOOL)
(
holdsDuring
(
WhenFn
?EV)
(
attribute
?PERSON
Student
)))))
Mid-level-ontology.kif 16271-16280
如果
人类
的
almaMater
是
中学后
,
然后 有存在
过程
这样
那个 过程
是
教育性过程
的
instance
和
那个 过程
在
那个 人类
结束 和
那个 过程
是
located
在
2
和
学生
是
那个 人类
的
attribute
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
actedIn
?ACTOR ?O)
(
instance
?PERF
DramaticActing
)
(
patient
?PERF ?ACTOR)
(
result
?PERF ?O))
(
holdsDuring
(
WhenFn
?PERF)
(
attribute
?ACTOR
Actor
)))
Mid-level-ontology.kif 20077-20084
如果
actedIn
人类
and
内容承载物理
和
过程
是
戏剧表演
的
instance
和
那个 人类
是
那个 过程
的
patient
和
那个 内容承载物理
是
那个 过程
的
result
,
然后
Actor
是
那个 人类
的
attribute
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
agent
?PROCESS ?AGENT)
(
result
?PROCESS ?WORK)
(
instance
?WORK
ArtWork
))
(
holdsDuring
(
WhenFn
?PROCESS)
(
attribute
?AGENT
Artist
)))
Mid-level-ontology.kif 18188-18194
如果
施事体
是
过程
的
agent
和
实体
是
那个 过程
的
result
和
那个 实体
是
艺术品
的
instance
,
然后
Artist
是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
allergic
?H ?S)
(
instance
?SUB ?S)
(
holdsDuring
?T
(
meetsSpatially
?S ?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 5907-5920
如果
allergic
人类
and
有点 物质
和
有点 物质
UB 是
那个 有点 物质
的
instance
和
那个 有点 物质
接上
那个 人类
在
时间位置
holdsDuring
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
AllergicReaction
的
instance
和
那个 人类
经历了
那个 另外 实体
和
那个 另外 实体
出现 的
time
时段 和
那个 时间位置
重叠 和
那个 时间位置
的开始%n在
那个 另外 实体
出现 的
time
的开始
before
发生 的声明 has
容易
的语气
(=>
(
and
(
attribute
?AC
TwoFactorAuthentication
)
(
loggedInDuring
?A ?AC ?T))
(
exists
(?TF)
(
and
(
instance
?TF
TwoFactorLoggingIn
)
(
agent
?TF ?A)
(
accountUsed
?TF ?AC)
(
earlier
(
WhenFn
?TF) ?T))))
ComputingBrands.kif 4336-4345
如果
TwoFactorAuthentication
是
用户帐号
的
attribute
和
loggedInDuring
施事体
,
那个 用户帐号
and
时距
,
然后 有存在
那个 时距
F 这样
那个 时距
F 是
TwoFactorLoggingIn
的
instance
和
那个 施事体
是
那个 时距
F 的
agent
和
accountUsed
那个 时距
F and
那个 用户帐号
和
那个 时距
F 出现 的
time
比
那个 时距
发生的
earlier
(=>
(
and
(
attribute
?H
Muslim
)
(
equal
(
WealthFn
?H) ?W))
(
modalAttribute
(
exists
(?Z ?T ?U)
(
and
(
instance
?Z
Zakat
)
(
instance
?Y
Year
)
(
during
?Y
(
WhenFn
?H))
(
holdsDuring
?Y
(
attribute
?H
FullyFormed
))
(
agent
?Z ?H)
(
patient
?Z ?T)
(
monetaryValue
?T
(
MeasureFn
?C ?U))
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?C
(
MultiplicationFn
?W 0.025))))
Obligation
))
ArabicCulture.kif 193-212
如果
穆斯林
是
施事体
的
attribute
和 属于
那个 施事体
的资产值
equal
货币测量
,
然后 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
天课
的
instance
和
第四 实体
是
年
的
instance
和
那个 第四 实体
在
那个 施事体
出现 的
time
时段内发生 和
完全成型
是
那个 施事体
的
attribute
在
那个 第四 实体
holdsDuring
和
那个 施事体
是
那个 实体
的
agent
和
那个 另外 实体
是
那个 实体
的
patient
和
那个 另外 实体
的价值 是
第五 实体
那个 第三 实体
和
那个 第三 实体
是
UnitOfCurrency
的
instance
和
那个 第五 实体
是
greaterThan
那个 货币测量
和 0.025 的声明 has
义务
的语气
(=>
(
and
(
attribute
?MR
CoverRecording
)
(
instance
?MR
MusicRecording
)
(
songArtist
?MR ?A)
(
musicInterpretation
?MR ?M)
(
record
?MR ?MM))
(
exists
(?ORIG ?ARTIST ?MUSIC)
(
and
(
musicInterpretation
?ORIG ?M)
(
songArtist
?ORIG ?ARTIST)
(
not
(
equal
?A ?ARTIST))
(
record
?ORIG ?MUSIC)
(
before
(
WhenFn
?MUSIC)
(
WhenFn
?MM)))))
Music.kif 455-468
如果
CoverRecording
是
音乐录音
的
attribute
和
那个 音乐录音
是
音乐录音
的
instance
和
有认知的主事
是
performer
在
那个 音乐录音
和
那个 音乐录音
是
音乐
的
recording
和
那个 音乐录音
是个
那个 音乐
M 的
record
,
然后 有存在
另一个 音乐录音
,
那个 有认知的主事
RTIST, and 和
那个 音乐
USIC 这样
那个 另外 音乐录音
是
那个 音乐
的
recording
和
那个 有认知的主事
RTIST 是
performer
在
那个 另外 音乐录音
和
那个 有认知的主事
不
equal
那个 有认知的主事
RTIST 和
那个 另外 音乐录音
是个
那个 音乐
USIC 的
record
和
那个 音乐
USIC 出现 的
time
%n在
那个 音乐
M 出现 的
time
before
发生
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2)
(
and
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?GRP2
GroupOfPeople
)
(
eventLocated
?E2 ?X2)
(
meetsTemporally
(
WhenFn
?E1)
(
WhenFn
?E2))
(
equal
?X ?X2)))
Possibility
))
Dining.kif 1160-1177
如果
CommunalAttribute
是
客体
的
attribute
和
那个 客体
是
表
的
instance
和
过程
是
进食
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 施事体
是
一群人
的
instance
和
那个 过程
是
located
在
2
,
然后 有存在
实体
和
另一个 实体
这样
那个 另外 实体
是
进食
的
instance
和
那个 实体
是
那个 另外 实体
的
agent
和
那个 施事体
不
equal
那个 实体
和
那个 实体
是
一群人
的
instance
和
那个 另外 实体
是
located
在
2
和
那个 过程
出现 的
time
接着
那个 另外 实体
出现 的
time
和
那个 客体
equal
那个 客体
2 的声明 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 13594-13607
如果
实数
测量单位
是
有点 純物质
的
boiling
点 和
实体
是
有点 純物质
的
instance
和
那个 实体
的
measure
是
另一个 实数
那个 测量单位
在
时距
holdsDuring
和
那个 测量单位
是
UnitOfTemperature
的
instance
和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
,
然后
加油站
是
那个 实体
的
attribute
在
那个 时距
holdsDuring
或 有存在
过程
这样
那个 时距
时段 和
那个 过程
出现 的
time
重叠 和
那个 过程
是
沸腾
的
instance
和
那个 实体
是
那个 过程
的
patient
(=>
(
and
(
checkOutTime
?HOTEL ?TIME)
(
guest
?GUEST ?HOTEL))
(
expects
?HOTEL
(
exists
(?T ?C)
(
and
(
instance
?T ?TIME)
(
patient
?C ?GUEST)
(
instance
?C
CheckOutService
)
(
agent
?C ?HOTEL)
(
before
(
BeginFn
(
WhenFn
?C)) ?T)))))
Hotel.kif 663-674
如果 其必須在
时点
之前 在
有认知的主事
check
out
和
另一个 有认知的主事
是在
那个 有认知的主事
的
guest
,
然后
那个 有认知的主事
expects
有存在
实体
和
另一个 实体
这样
那个 实体
是
那个 时点
的
instance
和
那个 另外 有认知的主事
是
那个 另外 实体
的
patient
和
那个 另外 实体
是
CheckOutService
的
instance
和
那个 有认知的主事
是
那个 另外 实体
的
agent
和
那个 另外 实体
出现 的
time
的开始%n在
那个 实体
before
发生 会是事实
(=>
(
and
(
destination
?MSG ?TELEX)
(
instance
?MSG
Messaging
)
(
patient
?MSG ?M)
(
instance
?TELEX
Telex
))
(
exists
(?PROC ?TEXT)
(
and
(
instrument
?PROC ?TELEX)
(
result
?PROC ?TEXT)
(
represents
?TEXT ?M)
(
instance
?TEXT
Text
)
(
before
(
BeginFn
(
WhenFn
?MSG))
(
BeginFn
(
WhenFn
?PROC))))))
Communications.kif 202-214
如果
过程
在
客体
结束 和
那个 过程
是
讯息
的
instance
和
实体
是
那个 过程
的
patient
和
那个 客体
是
Telex
的
instance
,
然后 有存在
另一个 过程
和
另一个 实体
这样
那个 客体
是导致
那个 另外 过程
的
instrument
和
那个 另外 实体
是
那个 另外 过程
的
result
和
那个 另外 实体
表达
那个 实体
和
那个 另外 实体
是
文本
的
instance
和
那个 过程
出现 的
time
的开始%n在
那个 另外 过程
出现 的
time
的开始
before
发生
(=>
(
and
(
directed
?DIRECTOR ?MOVIE)
(
instance
?FILMMAKING
FilmMaking
)
(
instance
?FILMCREW
Organization
)
(
leader
?FILMCREW ?DIRECTOR)
(
agent
?FILMMAKING ?FILMCREW)
(
result
?FILMMAKING ?MOVIE))
(
holdsDuring
(
WhenFn
?FILMMAKING)
(
attribute
?DIRECTOR
FilmDirector
)))
Mid-level-ontology.kif 20051-20060
如果
人类
directed
动态映像
和
过程
是
电影制作
的
instance
和
施事体
是
机构
的
instance
和
那个 人类
是
那个 施事体
的
leader
和
那个 施事体
是
那个 过程
的
agent
和
那个 动态映像
是
那个 过程
的
result
,
然后
电影导演
是
那个 人类
的
attribute
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
firstInstanceCreated
?C ?T)
(
instance
?I ?C))
(
beforeOrEqual
?T
(
BeginFn
(
WhenFn
?I))))
Mid-level-ontology.kif 30070-30076
如果
firstInstanceCreated
有点 物理
and
时点
和
另一个 物理
是
有点 物理
的
instance
,
然后
那个 时点
%n{doesn't}在
那个 另外 物理
出现 的
time
的开始 之前或同时发生
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?MEMBER)
(
eCommerceSite
?BUYING ?SITE)
(
during
(
WhenFn
?BUYING) ?INT))))
UXExperimentalTerms.kif 3742-3751
如果
群体
是在
WebSite
的
first
time
buyers
在其间
时距
和
施事体
是
那个 群体
的
member
,
然后 有存在
金融交易
这样
那个 金融交易
是
购买
的
instance
和
那个 施事体
是
那个 金融交易
的
agent
和
那个 WebSite
facilitates
那个 金融交易
和
那个 金融交易
出现 的
time
在
那个 时距
时段内发生
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?MEMBER)
(
eCommerceSite
?BUYING ?SITE)
(
earlier
(
WhenFn
?BUYING) ?INT)))))
UXExperimentalTerms.kif 3753-3763
如果
群体
是在
WebSite
的
first
time
buyers
在其间
时距
和
施事体
是
那个 群体
的
member
,
然后 不存在
金融交易
这样
那个 金融交易
是
购买
的
instance
和
那个 施事体
是
那个 金融交易
的
agent
和
那个 WebSite
facilitates
那个 金融交易
和
那个 金融交易
出现 的
time
比
那个 时距
发生的
earlier
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?MEMBER)
(
eCommerceSite
?SELLING ?SITE)
(
during
(
WhenFn
?SELLING) ?INT))))
UXExperimentalTerms.kif 3790-3799
如果
群体
是在
WebSite
的
first
time
sellers
在其间
时距
和
施事体
是
那个 群体
的
member
,
然后 有存在
金融交易
这样
那个 金融交易
是
出售
的
instance
和
那个 施事体
是
那个 金融交易
的
agent
和
那个 WebSite
facilitates
那个 金融交易
和
那个 金融交易
出现 的
time
在
那个 时距
时段内发生
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
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 1968-1976
有存在
时距
这样
那个 时距
是
时距
的
instance
和
那个 时距
finishes
了才到
JesusOfNazareth
出现 的
time
和
那个 时距
starts
了才到
TwelveApostles
出现 的
time
和 对所有
实体
如果
那个 实体
是
TwelveApostles
的
member
在
那个 时距
holdsDuring
,
然后
那个 实体
是
JesusOfNazareth
的
friend
在
那个 时距
holdsDuring
(
holdsDuring
(
WhenFn
JesusOfNazareth
)
(
located
JesusOfNazareth
Palestine
))
Media.kif 1918-1918
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