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
ImmediateFutureFn
Sigma KEE - ImmediateFutureFn
ImmediateFutureFn
appearance as argument number 1
(
documentation
ImmediateFutureFn
ChineseLanguage
"这是一个
UnaryFunction
, 它把一个
TimePosition
和紧随这个
TimePosition
的一个既短而又不确定的
TimeInterval
。")
chinese_format.kif 2745-2746
(
documentation
ImmediateFutureFn
EnglishLanguage
"A
UnaryFunction
that maps a
TimePosition
to a short, indeterminate
TimeInterval
that immediately follows the
TimePosition
.")
Merge.kif 8577-8579
(
documentation
ImmediateFutureFn
JapaneseLanguage
"
UnaryFunction
は、
TimePosition
を、
TimePosition
の直後に続く短い不確定
TimeInterval
にマップする。")
japanese_format.kif 1471-1472
(
domain
ImmediateFutureFn
1
TimePosition
)
Merge.kif 8574-8574
紧接未来函数
的 1 数量 是
时间位置
的
instance
(
instance
ImmediateFutureFn
TemporalRelation
)
Merge.kif 8571-8571
紧接未来函数
是
时间关系
的
instance
(
instance
ImmediateFutureFn
TotalValuedRelation
)
Merge.kif 8573-8573
紧接未来函数
是
总值关系
的
instance
(
instance
ImmediateFutureFn
UnaryFunction
)
Merge.kif 8572-8572
紧接未来函数
是
一元函数
的
instance
(
range
ImmediateFutureFn
TimeInterval
)
Merge.kif 8575-8575
紧接未来函数
的
range
是
时距
的实例
appearance as argument number 2
(
format
ChineseLanguage
ImmediateFutureFn
"紧接 %1 after")
chinese_format.kif 463-463
(
format
EnglishLanguage
ImmediateFutureFn
"immediately after %1")
english_format.kif 469-469
(
format
FrenchLanguage
ImmediateFutureFn
"immediatement apr�s %1")
french_format.kif 268-268
(
format
ItalianLanguage
ImmediateFutureFn
"immediatamente dopo %1")
relations-it.txt 137-137
(
format
JapaneseLanguage
ImmediateFutureFn
"%1 の すぐ after")
japanese_format.kif 2058-2058
(
format
PortugueseLanguage
ImmediateFutureFn
"imediatemente apos %1")
portuguese_format.kif 220-220
(
format
cz
ImmediateFutureFn
"pr�v� po %1'")
relations-cz.txt 274-274
(
format
de
ImmediateFutureFn
"sofort nach %1")
relations-de.txt 605-605
(
format
hi
ImmediateFutureFn
"%1 ke tatkaala baada")
relations-hindi.txt 176-176
(
format
ro
ImmediateFutureFn
"imediat after%t{dupã} %1")
relations-ro.kif 289-289
(
format
sv
ImmediateFutureFn
"omedelbart efter %1")
relations-sv.txt 295-295
(
format
tg
ImmediateFutureFn
"pagkatopos ng agad sa %1")
relations-tg.txt 278-278
(
termFormat
ChineseLanguage
ImmediateFutureFn
"眼前的未来")
domainEnglishFormat.kif 29378-29378
(
termFormat
ChineseLanguage
ImmediateFutureFn
"紧接未来函数")
chinese_format.kif 464-464
(
termFormat
ChineseTraditionalLanguage
ImmediateFutureFn
"眼前的未來")
domainEnglishFormat.kif 29377-29377
(
termFormat
EnglishLanguage
ImmediateFutureFn
"immediate future")
domainEnglishFormat.kif 29376-29376
(
termFormat
tg
ImmediateFutureFn
"tungkulin ng pagkatopos ng agad")
relations-tg.txt 279-279
antecedent
(=>
(
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 3231-3245
如果
啟動中
是
工程组件
的
attribute
在
物理
holdsDuring
和
准备好主持
是
那个 工程组件
的
attribute
在
那个 物理
2
holdsDuring
和
那个 物理
2
equal
紧接
那个 物理
出现 的
time
after
和
另一个 工程组件
是
ComputerDisplay
的
instance
和
那个 另外 工程组件
是 和
那个 工程组件
connected
,
然后 有存在
实体
这样
那个 实体
是
主頁面
的
instance
和
那个 实体
是在
那个 另外 工程组件
displayed
的声明 has
容易
的语气
(=>
(
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 10057-10079
如果
客体
是
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
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 10118-10140
如果
客体
是
ProtonPumpInhibitor
的
instance
和
运动
是
消化
的
instance
和
施事体
是
那个 运动
的
agent
和
移动
那个 运动
and
那个 客体
和
另一个 客体
是
胃
的
instance
和
那个 另外 客体
是
那个 施事体
的
part
和
那个 另外 客体
contains
第三 客体
和
那个 第三 客体
是
流体
的
instance
在 紧接
那个 运动
出现 的
time
before
holdsDuring
和
那个 另外 客体
contains
第四 客体
和
那个 第四 客体
是
流体
的
instance
在 紧接
那个 运动
出现 的
time
after
holdsDuring
和
phMeasure
那个 第三 客体
and
实数
和
phMeasure
那个 第四 客体
and
另一个 实数
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
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 2032-2046
如果
电脑程序
是
数据压缩
的
instance
和
数字数据
是由
那个 电脑程序
processed
和
那个 数字数据
requires
实数
实体
在 紧接
那个 电脑程序
出现 的
time
before
holdsDuring
和
那个 数字数据
requires
另一个 实数
那个 实体
在 紧接
那个 电脑程序
出现 的
time
after
holdsDuring
,
然后
那个 另外 实数
是
lessThan
那个 实数
(=>
(
and
(
instance
?DEPOSITION
Deposition
)
(
patient
?DEPOSITION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
lessThan
?Y ?X))
Geography.kif 6991-7005
如果
过程
是
凝华
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
的
measure
是
实数
焦耳
在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
那个 实体
的
measure
是
另一个 实数
焦耳
在 紧接
那个 过程
出现 的
time
after
holdsDuring
,
然后
那个 另外 实数
是
lessThan
那个 实数
(=>
(
and
(
instance
?E
Motion
)
(
instance
?T
Tremor
)
(
instance
?D
Damper
)
(
patient
?T ?O)
(
part
?D ?O)
(
causes
?E ?T)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
WhenFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U))))
(
greaterThan
?A1 ?A2))
Cars.kif 777-792
如果
过程
是
运动
的
instance
和
另一个 过程
是
震
的
instance
和
客体
是
Damper
的
instance
和
另一个 客体
是
那个 另外 过程
的
patient
和
那个 客体
是
那个 另外 客体
的
part
和
那个 过程
causes
那个 另外 过程
和
实体
是
UnitOfLength
的
instance
和
physicalAmplitude
那个 另外 过程
and
实数
那个 实体
在
那个 过程
出现 的
time
holdsDuring
和
physicalAmplitude
那个 另外 过程
and
另一个 实数
那个 实体
在 紧接
那个 过程
after
holdsDuring
,
然后
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
instance
?I
Impacting
)
(
patient
?I ?H)
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
Concussion
))
Likely
))
Medicine.kif 1316-1328
如果
过程
是
碰撞
的
instance
和
实体
是
那个 过程
的
patient
和
ImpairedBodyPartFn
脑
是
那个 实体
的
attribute
在 紧接
那个 过程
after
holdsDuring
,
然后
Concussion
是
那个 实体
的
attribute
在 紧接
那个 过程
after
holdsDuring
的声明 has
容易
的语气
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
instance
?U
UnitOfLength
)
(
destination
?P ?E1)
(
physicalEnd
?E1 ?L)
(
physicalEnd
?E2 ?L)
(
not
(
equal
?E1 ?E2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E1 ?P1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E1 ?P2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E2 ?P3))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E2 ?P4))
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
distance
?P3 ?P4
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1325-1348
如果
客体
是
Lever
的
instance
和
过程
是
Pushing
的
instance
和
物理
是
运动
的
instance
和
测量单位
是
UnitOfLength
的
instance
和
那个 过程
在
另一个 客体
结束 和
physicalEnd
那个 另外 客体
and
那个 客体
和
physicalEnd
第三 客体
and
那个 客体
和
那个 另外 客体
不
equal
那个 第三 客体
和
那个 另外 客体
是
located
在
那个 过程
1 在 紧接
那个 物理
出现 的
time
before
holdsDuring
和
那个 另外 客体
是
located
在
那个 过程
2 在 紧接
那个 物理
出现 的
time
after
holdsDuring
和
那个 第三 客体
是
located
在
那个 过程
3 在 紧接
那个 物理
出现 的
time
before
holdsDuring
和
那个 第三 客体
是
located
在
那个 过程
4 在 紧接
那个 物理
出现 的
time
after
holdsDuring
和
那个 过程
1 和
那个 过程
2 的
distance
是
实数
那个 测量单位
和
那个 过程
3 和
那个 过程
4 的
distance
是
另一个 实数
那个 测量单位
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
accountAtSite
?A ?S)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
patient
?P ?S))))
Possibility
))
ComputingBrands.kif 3972-3986
如果
过程
是
LoggingIn
的
instance
和
施事体
有
account
用户帐号
和
那个 用户帐号
是在
WebSite
的
account
和
时距
equal
紧接
那个 过程
出现 的
time
after
和
那个 施事体
是
那个 过程
的
agent
,
然后 有存在
实体
这样
那个 实体
是
电脑程序
的
instance
和
那个 施事体
是
那个 实体
的
agent
和
那个 WebSite
是
那个 实体
的
patient
在
那个 时距
holdsDuring
的声明 has
可能性
的语气
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
deviceAccount
?A ?C)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
instrument
?P ?C))))
Possibility
))
ComputingBrands.kif 3988-4002
如果
过程
是
LoggingIn
的
instance
和
施事体
有
account
用户帐号
和
deviceAccount
那个 用户帐号
and
电脑
和
时距
equal
紧接
那个 过程
出现 的
time
after
和
那个 施事体
是
那个 过程
的
agent
,
然后 有存在
实体
这样
那个 实体
是
电脑程序
的
instance
和
那个 施事体
是
那个 实体
的
agent
和
那个 电脑
是导致
那个 实体
的
instrument
在
那个 时距
holdsDuring
的声明 has
可能性
的语气
(=>
(
and
(
instance
?MC
MuscleRelaxing
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 10773-10788
如果
过程
是
MuscleRelaxing
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
肌肉
的
instance
和
那个 实体
的
length
是
实数
另一个 实体
在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
那个 实体
的
length
是
另一个 实数
那个 另外 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?MC
MuscularContraction
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N1 ?N2))
Mid-level-ontology.kif 10751-10766
如果
过程
是
MuscularContraction
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
肌肉
的
instance
和
那个 实体
的
length
是
实数
另一个 实体
在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
那个 实体
的
length
是
另一个 实数
那个 另外 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
,
然后
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
instance
?SCO
SelfConnectedObject
)
(
instance
?C
Compressing
)
(
patient
?C ?SCO)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
measure
?SCO
(
MeasureFn
?N1 ?V)))
(
instance
?V
UnitOfVolume
)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
measure
?SCO
(
MeasureFn
?N2 ?V))))
(
greaterThan
?N1 ?N2))
Cars.kif 1971-1983
如果
实体
是
自身连接物体
的
instance
和
过程
是
Compressing
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 实体
的
measure
是
实数
另一个 实体
在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
那个 另外 实体
是
UnitOfVolume
的
instance
和
那个 实体
的
measure
是
另一个 实数
那个 另外 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
,
然后
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
instance
?SUBLIMATION
Sublimation
)
(
patient
?SUBLIMATION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?SUBLIMATION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?SUBLIMATION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
greaterThan
?Y ?X))
Geography.kif 7043-7057
如果
过程
是
升华
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
的
measure
是
实数
焦耳
在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
那个 实体
的
measure
是
另一个 实数
焦耳
在 紧接
那个 过程
出现 的
time
after
holdsDuring
,
然后
那个 另外 实数
是
greaterThan
那个 实数
consequent
(=>
(
agreementRevisionDate
?AGR ?DATE ?CHANGE)
(
exists
(?TIME)
(
and
(
instance
?TIME ?DATE)
(
or
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
not
(
subProposition
?CHANGE ?AGR)))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
subProposition
?CHANGE ?AGR)))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
subProposition
?CHANGE ?AGR))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
subProposition
?CHANGE ?AGR))))))))
Government.kif 701-716
如果
命题
agreement
对于
另一个 命题
的修改日期
有点 时间位置
,
然后 有存在
另一个 时间位置
这样
那个 另外 时间位置
是
有点 时间位置
的
instance
和
那个 另外 命题
不 是
那个 命题
的
subProposition
在 紧接
那个 另外 时间位置
before
holdsDuring
和
那个 另外 命题
是
那个 命题
的
subProposition
在 紧接
那个 另外 时间位置
after
holdsDuring
或
那个 另外 命题
是
那个 命题
的
subProposition
在 紧接
那个 另外 时间位置
before
holdsDuring
和
那个 另外 命题
不 是
那个 命题
的
subProposition
在 紧接
那个 另外 时间位置
after
holdsDuring
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersObligation
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsObligation
?FORMULA ?AGENT)))
Government.kif 677-682
如果
时点
是
协议
的
agreement
生效日期 和
那个 协议
要求
有认知的主事
执行
公式
的任务 和
时间位置
是
那个 时点
的
instance
,
然后
那个 有认知的主事
有义务执行
那个 公式
的任务 在 紧接
那个 时间位置
after
holdsDuring
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersRight
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsRight
?FORMULA ?AGENT)))
Government.kif 684-689
如果
时点
是
协议
的
agreement
生效日期 和
那个 协议
允许
有认知的主事
执行
公式
的任务 和
时间位置
是
那个 时点
的
instance
,
然后
那个 有认知的主事
有权利去做
那个 公式
在 紧接
那个 时间位置
after
holdsDuring
(=>
(
and
(
instance
?A
Appointing
)
(
patient
?A ?H))
(
exists
(?P ?ORG)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
occupiesPosition
?H ?P ?ORG)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
occupiesPosition
?H ?P ?ORG)))))
Mid-level-ontology.kif 1035-1048
如果
过程
是
任命
的
instance
和
实体
是
那个 过程
的
patient
,
然后 有存在
另一个 实体
和
第三 实体
这样
那个 实体
doesn't 在
那个 第三 实体
任职
那个 另外 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
在
那个 第三 实体
任职
那个 另外 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?ACT
ActivatingADeactivatedAccount
)
(
instance
?AC
UserAccount
)
(
patient
?ACT ?AC))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?ACT))
(
attribute
?AC
AccountDeactivated
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?ACT))
(
attribute
?AC
AccountActive
))))
ComputingBrands.kif 4482-4491
如果
过程
是
ActivatingADeactivatedAccount
的
instance
和
实体
是
用户帐号
的
instance
和
那个 实体
是
那个 过程
的
patient
,
然后
AccountDeactivated
是
那个 实体
的
attribute
在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
AccountActive
是
那个 实体
的
attribute
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?B
Braking
)
(
patient
?B ?O))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?B))
(
equal
(
MeasureFn
?A1
MilesPerHour
)
(
AccelerationFn
?FQ ?T ?O ?D)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?B))
(
equal
(
MeasureFn
?A2
MilesPerHour
)
(
AccelerationFn
?FQ ?T ?O ?D)))
(
greaterThan
?A1 ?A2)))
Cars.kif 1252-1267
如果
过程
是
Braking
的
instance
和
实体
是
那个 过程
的
patient
,
然后
实数
英里每小時
equal
AccelerationFn
另一个 实体
,
第三 实体
,
那个 实体
and
第四 实体
在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
另一个 实数
英里每小時
equal
AccelerationFn
那个 另外 实体
,
那个 第三 实体
,
那个 实体
and
那个 第四 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
和
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
instance
?Bond
SecuredBond
)
(
securedBy
?Bond ?Security)
(
possesses
?Agent ?Bond)
(
instance
?Default
FinancialDefault
)
(
patient
?Default ?Bond))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Default))
(
possesses
?Agent ?Security)))
FinancialOntology.kif 2397-2406
如果
金融账户
是
担保债券
的
instance
和
抵押
是
那个 金融账户
的
secured
和
施事体
possesses
那个 金融账户
和
过程
是
财务违约
的
instance
和
那个 金融账户
是
那个 过程
的
patient
,
然后
那个 施事体
possesses
那个 抵押
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?C
Covering
)
(
patient
?C ?P)
(
instrument
?C ?I))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
covers
?I ?P)))
Merge.kif 15969-15976
如果
过程
是
遮盖
的
instance
和
实体
是
那个 过程
的
patient
和
客体
是导致
那个 过程
的
instrument
,
然后
covers
那个 客体
and
那个 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?C
Cricothyroidotomy
)
(
patient
?C ?O))
(
hasPurpose
?C
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
exists
(?B)
(
and
(
instance
?B
(
ImpairmentFn
Breathing
))
(
patient
?B ?O))))
(
not
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
exists
(?B)
(
and
(
instance
?B
(
ImpairmentFn
Breathing
))
(
patient
?B ?O))))))))
Medicine.kif 755-773
如果
过程
是
Cricothyroidotomy
的
instance
和
实体
是
那个 过程
的
patient
,
然后
那个 过程
的 目的 是 有存在
另一个 实体
这样
那个 另外 实体
是
ImpairmentFn
呼吸
的
instance
和
那个 实体
是
那个 另外 实体
的
patient
在 紧接
那个 过程
出现 的
time
before
holdsDuring
和 有存在
那个 另外 实体
这样
那个 另外 实体
是
ImpairmentFn
呼吸
的
instance
和
那个 实体
是
那个 另外 实体
的
patient
doesn't 在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?CA
COVIDAntibody
)
(
holdsDuring
?T
(
and
(
not
(
attribute
?H
Covid19
))
(
part
?CA ?H))))
(
holdsDuring
(
ImmediateFutureFn
?T)
(
modalAttribute
(
attribute
?H
Covid19
)
Unlikely
)))
Medicine.kif 2772-2784
如果
实体
是
COVIDAntibody
的
instance
和
Covid19
不 是
另一个 实体
的
attribute
和
那个 实体
是
那个 另外 实体
的
part
在
时间位置
holdsDuring
,
然后
Covid19
是
那个 另外 实体
的
attribute
的声明 has
较不可能
的语气 在 紧接
那个 时间位置
after
holdsDuring
(=>
(
and
(
instance
?CP
ChangingAccountInfo
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
accountInformation
?UA ?N1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?N2)
(
and
(
not
(
equal
?N2 ?N1))
(
accountInformation
?UA ?N2)))))
ComputingBrands.kif 4123-4135
如果
过程
是
ChangingAccountInfo
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 施事体
有
account
用户帐号
和
accountInformation
那个 用户帐号
and
命题
,
然后 有存在
实体
这样
那个 实体
不
equal
那个 命题
和
accountInformation
那个 用户帐号
and
那个 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?CP
ChangingPassword
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
password
?P1 ?UA))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?P2)
(
and
(
instance
?P2
ComputerPassword
)
(
not
(
equal
?P2 ?P1))
(
password
?P2 ?UA)))))
ComputingBrands.kif 4079-4092
如果
过程
是
ChangingPassword
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 施事体
有
account
用户帐号
和
那个 用户帐号
有
password
电脑密码
,
然后 有存在
实体
这样
那个 实体
是
电脑密码
的
instance
和
那个 实体
不
equal
那个 电脑密码
和
那个 用户帐号
有
password
那个 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?CP
ChangingUserName
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
userName
?UA ?N1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?N2)
(
and
(
instance
?N2
UserName
)
(
not
(
equal
?N2 ?N1))
(
userName
?UA ?N2)))))
ComputingBrands.kif 4101-4114
如果
过程
是
ChangingUserName
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 施事体
有
account
用户帐号
和
那个 用户帐号
的
user
name
是
用户名
,
然后 有存在
实体
这样
那个 实体
是
用户名
的
instance
和
那个 实体
不
equal
那个 用户名
和
那个 用户帐号
的
user
name
是
那个 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?CP
CreatingAnAccount
)
(
agent
?CP ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?UA ?P1 ?N)
(
and
(
hasAccount
?A ?UA)
(
password
?P1 ?UA)
(
userName
?UA ?N)))))
ComputingBrands.kif 4143-4153
如果
过程
是
CreatingAnAccount
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 施事体
有
account
那个 实体
和
那个 实体
有
password
那个 另外 实体
和
那个 实体
的
user
name
是
那个 第三 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?Closing
ClosingAnAccount
)
(
patient
?Closing ?Account))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?Closing))
(
instance
?Account
FinancialAccount
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Closing))
(
not
(
instance
?Account
FinancialAccount
)))))
FinancialOntology.kif 391-401
如果
过程
是
关闭帐户
的
instance
和
实体
是
那个 过程
的
patient
,
然后
那个 实体
是
金融账户
的
instance
在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
那个 实体
不 是
金融账户
的
instance
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
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 4566-4576
如果
过程
是
DeletingAnAccount
的
instance
和
实体
是
Account
的
instance
和
施事体
有
account
那个 实体
在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
那个 实体
是
那个 过程
的
patient
和
那个 施事体
是
那个 过程
的
agent
,
然后 不
那个 施事体
有
account
那个 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?DAM
Damaging
)
(
instance
?OBJ
Device
)
(
patient
?DAM ?OBJ))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DAM))
(
attribute
?OBJ
DeviceDamaged
)))
Mid-level-ontology.kif 30368-30376
如果
过程
是
损坏
的
instance
和
实体
是
设备
的
instance
和
那个 实体
是
那个 过程
的
patient
,
然后
DeviceDamaged
是
那个 实体
的
attribute
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?DEACT
DeactivatingAnAccount
)
(
instance
?AC
UserAccount
)
(
patient
?DEACT ?AC))
(
and
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEACT))
(
attribute
?AC
AccountDeactivated
))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEACT))
(
attribute
?AC
AccountActive
))))
ComputingBrands.kif 4498-4507
如果
过程
是
DeactivatingAnAccount
的
instance
和
实体
是
用户帐号
的
instance
和
那个 实体
是
那个 过程
的
patient
,
然后
AccountDeactivated
是
那个 实体
的
attribute
在 紧接
那个 过程
出现 的
time
after
holdsDuring
和
AccountActive
是
那个 实体
的
attribute
在 紧接
那个 过程
出现 的
time
before
holdsDuring
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?ORG
Organism
)
(
experiencer
?DEATH ?ORG))
(
exists
(?REM ?OBJ)
(
and
(
result
?DEATH ?REM)
(
instance
?REM
OrganicObject
)
(
holdsDuring
(
FutureFn
(
WhenFn
?DEATH))
(
attribute
?REM
Dead
))
(=>
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEATH))
(
part
?OBJ ?REM))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
part
?OBJ ?ORG))))))
Merge.kif 10268-10283
如果
过程
是
死亡
的
instance
和
施事体
是
生物
的
instance
和
那个 施事体
经历了
那个 过程
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
那个 过程
的
result
和
那个 实体
是
有机物体
的
instance
和
死
是
那个 实体
的
attribute
在
那个 过程
出现 的
time
之后
holdsDuring
和
如果
那个 另外 实体
是
那个 实体
的
part
在 紧接
那个 过程
出现 的
time
after
holdsDuring
,
然后
那个 另外 实体
是
那个 施事体
的
part
在 紧接
那个 过程
出现 的
time
before
holdsDuring
(=>
(
and
(
instance
?Deposit
Deposit
)
(
instance
?Account
FinancialAccount
)
(
destination
?Deposit
(
CurrencyFn
?Account))
(
transactionAmount
?Deposit
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Deposit))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
AdditionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Deposit))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 436-453
如果
金融交易
是
存款
的
instance
和
金融账户
是
金融账户
的
instance
和
那个 金融交易
在
那个 金融账户
的
currency
结束 和
实数
测量单位
是
那个 金融交易
的
transaction
总额 和
那个 金融账户
对于 %3 的
current
帐户存款 和
另一个 实数
equal
(
第三 实数
和
那个 实数
),
然后
那个 金融账户
对于 %3 的
current
帐户存款
(=>
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?MIL)
(
instance
?MIL
MilitaryOrganization
)
(
experiencer
?EV ?P))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?EV))
(
attribute
?P
Evacuee
)))
MilitaryPersons.kif 133-140
如果
过程
是
疏散
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 施事体
是
军事组织
的
instance
和
另一个 施事体
经历了
那个 过程
,
然后
撤离者
是
那个 另外 施事体
的
attribute
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?F
Faucet
)
(
instance
?LM
LiquidMotion
)
(
patient
?LM ?L)
(
located
?LM ?F))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?LM))
(
not
(
exists
(?T)
(
and
(
instance
?T
Tube
)
(
contains
?T ?L))))))
engineering.kif 1252-1265
如果
客体
是
Faucet
的
instance
和
过程
是
液体运动
的
instance
和
实体
是
那个 过程
的
patient
和
那个 过程
是
located
在
那个 客体
,
然后 不存在
另一个 实体
这样
那个 另外 实体
是
管
的
instance
和
那个 另外 实体
contains
那个 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?F
Forgetting
)
(
experiencer
?F ?A))
(
exists
(?P)
(
and
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?F))
(
not
(
knows
?A ?P)))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?F))
(
knows
?A ?P)))))
ComputingBrands.kif 4451-4461
如果
过程
是
Forgetting
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
实体
这样
那个 施事体
doesn't
knows
那个 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
和
那个 施事体
knows
那个 实体
在 紧接
那个 过程
出现 的
time
before
holdsDuring
(=>
(
and
(
instance
?H
Hotline
)
(
telephoneNumber
?H ?O)
(
instance
?O
Organization
))
(
hasPurpose
?H
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?O)
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
Communication
)
(
instrument
?C ?H)
(
equal
(
BeginFn
(
WhenFn
?C))
(
BeginFn
(
ImmediateFutureFn
(
WhenFn
?T))))))
Likely
)))))
Mid-level-ontology.kif 25413-25434
如果
TelecomNumber
是
Hotline
的
instance
和
那个 TelecomNumber
是
施事体
的
telephone
number
和
那个 施事体
是
机构
的
instance
,
然后
那个 TelecomNumber
的 目的 是 有存在
实体
这样
那个 实体
是
致电
的
instance
和
那个 实体
在
那个 施事体
结束 和 有存在
另一个 实体
这样
那个 另外 实体
是
沟通
的
instance
和
那个 TelecomNumber
是导致
那个 另外 实体
的
instrument
和
那个 另外 实体
出现 的
time
的开始
equal
紧接
那个 实体
出现 的
time
after
的开始 的声明 has
容易
的语气
(=>
(
and
(
instance
?I
Impacting
)
(
patient
?I ?H)
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
Concussion
))
Likely
))
Medicine.kif 1316-1328
如果
过程
是
碰撞
的
instance
和
实体
是
那个 过程
的
patient
和
ImpairedBodyPartFn
脑
是
那个 实体
的
attribute
在 紧接
那个 过程
after
holdsDuring
,
然后
Concussion
是
那个 实体
的
attribute
在 紧接
那个 过程
after
holdsDuring
的声明 has
容易
的语气
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
holdsDuring
(
ImmediateFutureFn
?T)
(
and
(
instance
?T
(
DayFn
1
(
MonthFn
October
(
YearFn
1992))))
(
conventionalLongName
"Andean Community of Nations"
AndeanCommunityOfNations
)))
Government.kif 2753-2756
时间位置
是 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 2727-2731
时间位置
是 1996
year
的
instance
和
法语社区的代理机构
是 "Agency for the French_Speaking Community" 的
conventional
全名 在 紧接
那个 时间位置
after
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