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
EndFn
Sigma KEE - EndFn
EndFn
appearance as argument number 1
(
documentation
EndFn
ChineseLanguage
"这是一个
UnaryFunction
,它把一个
TimeInterval
和 这个时段结束的
TimePoint
联系起来。")
chinese_format.kif 2699-2700
(
documentation
EndFn
EnglishLanguage
"A
UnaryFunction
that maps a
TimeInterval
to the
TimePoint
at which the interval ends.")
Merge.kif 8013-8014
(
documentation
EndFn
JapaneseLanguage
"
UnaryFunction
は、
TimeInterval
を間隔が終了する
TimePoint
にマップする。")
japanese_format.kif 1422-1423
(
domain
EndFn
1
TimeInterval
)
Merge.kif 8010-8010
结束函数
的 1 数量 是
时距
的
instance
(
instance
EndFn
TemporalRelation
)
Merge.kif 8007-8007
结束函数
是
时间关系
的
instance
(
instance
EndFn
TotalValuedRelation
)
Merge.kif 8009-8009
结束函数
是
总值关系
的
instance
(
instance
EndFn
UnaryFunction
)
Merge.kif 8008-8008
结束函数
是
一元函数
的
instance
(
range
EndFn
TimePoint
)
Merge.kif 8011-8011
结束函数
的
range
是
时点
的实例
appearance as argument number 2
(
format
ChineseLanguage
EndFn
"%1 的结束")
chinese_format.kif 451-451
(
format
EnglishLanguage
EndFn
"the end of %1")
english_format.kif 457-457
(
format
FrenchLanguage
EndFn
"la fin de %1")
french_format.kif 262-262
(
format
ItalianLanguage
EndFn
"la fine di %1")
relations-it.txt 92-92
(
format
JapaneseLanguage
EndFn
"%1 の end")
japanese_format.kif 2052-2052
(
format
PortugueseLanguage
EndFn
"o fim de %1")
portuguese_format.kif 214-214
(
format
cz
EndFn
"the end of %1'")
relations-cz.txt 268-268
(
format
de
EndFn
"das ende von %1")
relations-de.txt 589-589
(
format
hi
EndFn
"%1 kii samaapti")
relations-hindi.txt 132-132
(
format
ro
EndFn
"the end%t{sfânceputul} lui %1")
relations-ro.kif 283-283
(
format
sv
EndFn
"slutet på %1")
relations-sv.txt 288-288
(
format
tg
EndFn
"ang dulo sa %1")
relations-tg.txt 199-199
(
termFormat
ChineseLanguage
EndFn
"结束")
domainEnglishFormat.kif 22042-22042
(
termFormat
ChineseLanguage
EndFn
"结束函数")
chinese_format.kif 452-452
(
termFormat
ChineseTraditionalLanguage
EndFn
"結束")
domainEnglishFormat.kif 22041-22041
(
termFormat
EnglishLanguage
EndFn
"end")
domainEnglishFormat.kif 22040-22040
(
termFormat
tg
EndFn
"tungkulin ng dulo")
relations-tg.txt 200-200
antecedent
(=>
(
and
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))
(
equal
(
EndFn
?INTERVAL2)
(
EndFn
?INTERVAL1)))
(
finishes
?INTERVAL1 ?INTERVAL2))
Merge.kif 8086-8094
如果
时距
的开始%n在
另一个 时距
的开始
before
发生 和
那个 时距
的结束
equal
那个 另外 时距
的结束,
然后
那个 另外 时距
finishes
了才到
那个 时距
(=>
(
and
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2)))
(
starts
?INTERVAL1 ?INTERVAL2))
Merge.kif 8054-8062
如果
时距
的开始
equal
另一个 时距
的开始 和
那个 时距
的结束%n在
那个 另外 时距
的结束
before
发生,
然后
那个 时距
starts
了才到
那个 另外 时距
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
benefits
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 22920-22925
如果
时点
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 29595-29604
如果
时点
equal
过程
出现 的
time
的开始 和
另一个 时点
equal
施事体
出现 的
time
的结束 和
那个 施事体
suffers
从
那个 过程
,
然后
那个 时点
%n在
那个 另外 时点
before
发生
(=>
(
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 12383-12397
如果
过程
是
连接
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
是
那个 过程
的
patient
和
那个 实体
和
那个 另外 实体
不 是
connected
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
和
那个 另外 实体
是
connected
在
那个 过程
出现 的
time
的结束
holdsDuring
,
然后
objectAttached
那个 过程
and
那个 实体
和
objectAttached
那个 过程
and
那个 另外 实体
(=>
(
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 3759-3784
如果
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
?CD
CertificateOfDeposit
)
(
maturityDate
?CD ?MaturityDate)
(
instance
?Withdrawal
Withdrawal
)
(
origin
?Withdrawal
(
CurrencyFn
?CD))
(
date
?Withdrawal ?DateOfWithdrawal)
(
before
(
EndFn
?DateOfWithdrawal)
(
BeginFn
?MaturityDate)))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?CD))
(
causes
?Withdrawal ?Penalty))))
FinancialOntology.kif 1087-1099
如果
金融账户
是
存款证
的
instance
和
日
是
那个 金融账户
的
maturity
日期 和
过程
是
退出
的
instance
和
那个 金融账户
的
currency
是
那个 过程
的源头 和
那个 过程
的
date
是
另一个 日
和
那个 另外 日
的结束%n在
那个 日
的开始
before
发生,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
罚款
的
instance
和
那个 另外 过程
在
那个 金融账户
的
currency
结束 和
那个 过程
causes
那个 另外 过程
(=>
(
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 11647-11654
如果
过程
是
改变所有权
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
possesses
那个 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
第三 实体
possesses
那个 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
,
然后
那个 另外 实体
不
equal
那个 第三 实体
(=>
(
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 12431-12440
如果
过程
是
脱离
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
是
那个 过程
的
patient
和
那个 实体
和
那个 另外 实体
是
connected
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
和
那个 另外 实体
不 是
connected
在
另一个 过程
出现 的
time
的结束
holdsDuring
,
然后
objectDetached
那个 另外 过程
and
那个 实体
和
objectDetached
那个 另外 过程
and
那个 另外 实体
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
instance
?AREA2
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2456-2466
如果
过程
是
出口
的
instance
和
实体
是
那个 过程
的
patient
和
客体
是
地缘政治区域
的
instance
和
物理
是
地缘政治区域
的
instance
和
那个 实体
是
located
在
那个 客体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
是
located
在
那个 物理
在
那个 过程
出现 的
time
的结束
holdsDuring
,
然后
那个 物理
不 是
located
在
那个 客体
(=>
(
and
(
instance
?INTERVAL1
TimeInterval
)
(
instance
?INTERVAL2
TimeInterval
)
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
equal
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2)))
(
equal
?INTERVAL1 ?INTERVAL2))
Merge.kif 8354-8364
如果
时距
是
时距
的
instance
和
另一个 时距
是
时距
的
instance
和
那个 时距
的开始
equal
那个 另外 时距
的开始 和
那个 时距
的结束
equal
那个 另外 时距
的结束,
然后
那个 时距
equal
那个 另外 时距
(=>
(
and
(
instance
?PROCESS ?PROCESS_CLASS)
(
subclass
?PROCESS_CLASS
Process
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?PROCESS ?AGENT)
(
agent
?ACCESSING ?AGENT)
(
during
?PROCESS ?ACCESSING)
(
instance
?TIMETOFIRST
TimeInterval
)
(
not
(
exists
(?PROCESS2)
(
and
(
instance
?PROCESS2 ?PROCESS_CLASS)
(
agent
?PROCESS2 ?AGENT)
(
during
?PROCESS2 ?ACCESSING)
(
before
(
BeginFn
(
WhenFn
?PROCESS2))
(
BeginFn
(
WhenFn
?PROCESS))))))
(
equal
(
BeginFn
(
WhenFn
?ACCESSING))
(
BeginFn
(
WhenFn
?TIMETOFIRST)))
(
equal
(
BeginFn
(
WhenFn
?PROCESS))
(
EndFn
(
WhenFn
?TIMETOFIRST))))
(
equal
(
TTFxFn
?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1496-1518
如果
时距
是
那个 时距
_CLASS 的
instance
和
那个 时距
_CLASS 是
过程
的
subclass
和
AccessingWebPage
是
AccessingWebPage
的
instance
和
施事体
是
施事体
的
instance
和
那个 施事体
是
那个 时距
的
agent
和
那个 施事体
是
那个 AccessingWebPage
的
agent
和
那个 时距
在
那个 AccessingWebPage
时段内发生 和
物理
是
时距
的
instance
和 不存在
那个 时距
2 这样
那个 时距
2 是
那个 时距
_CLASS 的
instance
和
那个 施事体
是
那个 时距
2 的
agent
和
那个 时距
2 在
那个 AccessingWebPage
时段内发生 和
那个 时距
2 出现 的
time
的开始%n在
那个 时距
出现 的
time
的开始
before
发生 和
那个 AccessingWebPage
出现 的
time
的开始
equal
那个 物理
出现 的
time
的开始 和
那个 时距
出现 的
time
的开始
equal
那个 物理
出现 的
time
的结束,
然后
那个 AccessingWebPage
的
time
在 类别
那个 时距
_CLASS
equal
那个 物理
(=>
(
and
(
instance
?TI
TimeInterval
)
(
equal
?S
(
BeginFn
?TI))
(
equal
?E
(
EndFn
?TI)))
(
before
?S ?E))
Merge.kif 8262-8267
如果
时距
是
时距
的
instance
和
时点
equal
那个 时距
的开始 和
另一个 时点
equal
那个 时距
的结束,
然后
那个 时点
%n在
那个 另外 时点
before
发生
(=>
(
and
(
instance
?TI1
TimeInterval
)
(
instance
?TI2
TimeInterval
)
(
beforeOrEqual
(
BeginFn
?TI2)
(
BeginFn
?TI1))
(
before
(
BeginFn
?TI1)
(
EndFn
?TI2)))
(
overlapsTemporally
?TI2 ?TI1))
Merge.kif 8269-8279
如果
时距
是
时距
的
instance
和
另一个 时距
是
时距
的
instance
和
那个 另外 时距
的开始%n{doesn't}在
那个 时距
的开始 之前或同时发生 和
那个 时距
的开始%n在
那个 另外 时距
的结束
before
发生,
然后
那个 时距
时段 和
那个 另外 时距
重叠
(=>
(
and
(
patient
?PROCESS ?PATIENT)
(
time
?PATIENT
(
EndFn
(
WhenFn
?PROCESS)))
(
not
(
time
?PATIENT
(
BeginFn
(
WhenFn
?PROCESS)))))
(
instance
?PROCESS
Creation
))
Merge.kif 12804-12810
如果
物理
是
过程
的
patient
和
那个 物理
在
那个 过程
出现 的
time
的结束 是 存在 和
那个 物理
在
那个 过程
出现 的
time
的开始 是 doesn't 存在,
然后
那个 过程
是
创作
的
instance
(=>
(
and
(
property
?Option
Option
)
(
optionHolder
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate))
(
underlier
?Option ?Stocks))
(
holdsRight
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Agent))
FinancialOntology.kif 2669-2685
如果
协议
有
选项
的
attribute
和
有认知的主事
holds
那个 协议
和
货币测量
是
那个 协议
的
strike
价钱 和
那个 协议
有
expiration
时距
和
金融工具
是 对于
施事体
的
price
那个 货币测量
和
那个 施事体
是
时距
的
instance
和
那个 施事体
的结束%n在
那个 时距
的开始
before
发生 和
那个 金融工具
是
那个 协议
的
underlier
,
然后
那个 有认知的主事
有权利去做
符号串
所描述的类别
(=>
(
and
(
property
?Option
Option
)
(
optionHolder
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
underlier
?Option ?Stocks)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate)))
(
holdsRight
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2623-2639
如果
协议
有
选项
的
attribute
和
有认知的主事
holds
那个 协议
和
货币测量
是
那个 协议
的
strike
价钱 和
那个 协议
有
expiration
时距
和
金融工具
是
那个 协议
的
underlier
和
那个 金融工具
是 对于
施事体
的
price
那个 货币测量
和
那个 施事体
是
时距
的
instance
和
那个 施事体
的结束%n在
那个 时距
的开始
before
发生,
然后
那个 有认知的主事
有权利去做
符号串
所描述的类别
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate))
(
underlier
?Option ?Stocks))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2687-2703
如果
协议
有
选项
的
attribute
和
有认知的主事
sells
那个 协议
和
货币测量
是
那个 协议
的
strike
价钱 和
那个 协议
有
expiration
时距
和
金融工具
是 对于
施事体
的
price
那个 货币测量
和
那个 施事体
是
时距
的
instance
和
那个 施事体
的结束%n在
那个 时距
的开始
before
发生 和
那个 金融工具
是
那个 协议
的
underlier
,
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Seller)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
underlier
?Option ?Stocks)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate)))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Seller))
FinancialOntology.kif 2641-2659
如果
协议
有
选项
的
attribute
和
有认知的主事
sells
那个 协议
和
货币测量
是
那个 协议
的
strike
价钱 和
那个 协议
有
expiration
时距
和
金融工具
是
那个 协议
的
underlier
和
那个 金融工具
是 对于
施事体
的
price
那个 货币测量
和
那个 施事体
是
时距
的
instance
和
那个 施事体
的结束%n在
那个 时距
的开始
before
发生,
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
and
(
resource
?PROC ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?PROC))
(
measure
?OBJ ?QUANT1))
(
holdsDuring
(
EndFn
(
WhenFn
?PROC))
(
measure
?OBJ ?QUANT2)))
(
greaterThan
?QUANT1 ?QUANT2))
Merge.kif 8025-8030
如果
客体
是
过程
的
resource
和
那个 客体
的
measure
是
实数
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 客体
的
measure
是
另一个 实数
在
那个 过程
出现 的
time
的结束
holdsDuring
,
然后
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
transactionAmount
?Payment ?Amount)
(
date
?Payment ?Date)
(
instance
?Account
FinancialAccount
)
(
destination
?Payment
(
CurrencyFn
?Account))
(
amountDue
?Account ?Amount ?DueDate)
(
before
(
EndFn
?Date)
(
BeginFn
?DueDate)))
(
instance
?Payment
Prepayment
))
FinancialOntology.kif 834-842
如果
货币测量
是
金融交易
的
transaction
总额 和
那个 金融交易
的
date
是
日
和
金融账户
是
金融账户
的
instance
和
那个 金融交易
在
那个 金融账户
的
currency
结束 和
那个 金融账户
对于
时距
到期的
amount
那个 货币测量
和
那个 日
的结束%n在
那个 时距
的开始
before
发生,
然后
那个 金融交易
是
预付款
的
instance
(=>
(
before
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
earlier
?INTERVAL1 ?INTERVAL2))
Merge.kif 8382-8384
如果
时距
的结束%n在
另一个 时距
的开始
before
发生,
然后
那个 时距
比
那个 另外 时距
发生的
earlier
(=>
(
equal
(
EndFn
?INTERVAL) ?POINT)
(
forall
(?OTHERPOINT)
(=>
(
and
(
temporalPart
?OTHERPOINT ?INTERVAL)
(
not
(
equal
?OTHERPOINT ?POINT)))
(
before
?OTHERPOINT ?POINT))))
Merge.kif 8016-8023
如果
时距
的结束
equal
时点
,
然后 对所有
另一个 时点
如果
那个 另外 时点
时段 是
那个 时距
时段 的一
part
和
那个 另外 时点
不
equal
那个 时点
,
然后
那个 另外 时点
%n在
那个 时点
before
发生
(=>
(
equal
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
meetsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8339-8343
如果
时距
的结束
equal
另一个 时距
的开始,
然后
那个 时距
接着
那个 另外 时距
(=>
(
exists
(?Time1 ?Time2)
(
and
(
dependencyDelay
?Program1 ?Delay)
(
dependencyType
?Program1
ShutdownBlock
)
(
hasDependency
?Program1 ?Program2)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Program1)
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Program2)
(
equal
(
WhenFn
?Process2) ?Time2)
(
finishes
?Time ?Time1)
(
equal
(
WhenFn
?Process2) ?Time2)
(
equal
(
BeginFn
?Time)
(
EndFn
?Time2))))
(
duration
?Time ?Delay))
QoSontology.kif 1270-1284
如果 有存在
时距
和
另一个 时距
这样
持续时间
是
电脑程序
的
dependency
延迟 和
关机块
是
那个 电脑程序
的
dependency
类别 和
另一个 电脑程序
有 对
那个 电脑程序
的依赖性 和
电脑程序
是
电脑程序
的
instance
和
那个 电脑程序
是
那个 电脑程序
的执行
program
和
另一个 电脑程序
是
电脑程序
的
instance
和
那个 另外 电脑程序
是
那个 另外 电脑程序
的执行
program
和
那个 另外 电脑程序
出现 的
time
equal
那个 另外 时距
和
第三 时距
finishes
了才到
那个 时距
和
那个 另外 电脑程序
出现 的
time
equal
那个 另外 时距
和
那个 第三 时距
的开始
equal
那个 另外 时距
的结束,
然后
那个 第三 时距
的
duration
是
那个 持续时间
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 12466-12473
过程
是
结合
的
instance
和
客体
是
那个 过程
的
resource
和
实体
是
那个 过程
的
result
若且唯若
那个 客体
不 是
那个 实体
的
part
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 客体
是
那个 实体
的
part
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
amountDue
?Account ?Amount ?DueDate)
(
accountHolder
?Account ?Agent))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
instance
?Payment
Payment
)
(
transactionAmount
?Payment ?Amount)
(
or
(
destination
?Payment
(
CurrencyFn
?Account))
(
origin
?Payment
(
CurrencyFn
?Account)))
(
date
?Payment ?Date)
(
beforeOrEqual
(
EndFn
?Date)
(
BeginFn
?DueDate)))) ?Agent))
FinancialOntology.kif 655-667
如果
金融账户
对于
时间位置
到期的
amount
货币测量
和
有认知的主事
持有
account
那个 金融账户
,
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
and
(
birthdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
-6))
(
instance
?Y2
(
YearFn
4)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1936-1941
如果
日
是
JesusOfNazareth
的
birthdate
和
时距
是 -6
year
的
instance
和
另一个 时距
是 4
year
的
instance
,
然后
那个 日
时段 是
那个 时距
的开始 和
那个 另外 时距
的结束 间的时段 时段 的一
part
(=>
(
and
(
deathdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
29))
(
instance
?Y2
(
YearFn
36)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1943-1948
如果
日
是
JesusOfNazareth
的
deathdate
和
时距
是 29
year
的
instance
和
另一个 时距
是 36
year
的
instance
,
然后
那个 日
时段 是
那个 时距
的开始 和
那个 另外 时距
的结束 间的时段 时段 的一
part
(=>
(
and
(
equal
(
EditionFn
?TEXT ?INT1) ?EDITION1)
(
equal
(
EditionFn
?TEXT ?INT2) ?EDITION2)
(
greaterThan
?INT2 ?INT1)
(
instance
?PUB1
Publication
)
(
instance
?PUB2
Publication
)
(
instance
?CBO1 ?EDITION1)
(
instance
?CBO2 ?EDITION2)
(
patient
?PUB1 ?CBO1)
(
patient
?PUB2 ?CBO2)
(
date
?PUB1 ?DATE1)
(
date
?PUB2 ?DATE2))
(
before
(
EndFn
?DATE1)
(
EndFn
?DATE2)))
Merge.kif 15515-15532
如果 ?TEXT的第
另一个 正整数
版
equal
有点 有内用物体
和 ?TEXT的第
正整数
版
equal
另一个 有点 有内用物体
和
那个 正整数
是
greaterThan
那个 另外 正整数
和
过程
是
出版
的
instance
和
另一个 过程
是
出版
的
instance
和
第三 实体
是
有点 有内用物体
的
instance
和
第四 实体
是
另一个 有点 有内用物体
的
instance
和
那个 第三 实体
是
那个 过程
的
patient
和
那个 第四 实体
是
那个 另外 过程
的
patient
和
那个 过程
的
date
是
日
和
那个 另外 过程
的
date
是
另一个 日
,
然后
那个 日
的结束%n在
那个 另外 日
的结束
before
发生
(=>
(
and
(
instance
?A
Aborting
)
(
patient
?A ?W)
(
instance
?W
Woman
))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
attribute
?W
Pregnant
))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
attribute
?W
Pregnant
)))))
Mid-level-ontology.kif 21495-21506
如果
过程
是
中止
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
女人
的
instance
,
然后
孕
是
那个 实体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
孕
不 是
那个 实体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?ACCELERATE
Accelerating
)
(
agent
?ACCELERATE ?AGENT))
(
exists
(?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH1 ?U1)
(
MeasureFn
?TIME1 ?U2))))
(
holdsDuring
(
EndFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH2 ?U1)
(
MeasureFn
?TIME2 ?U2))))
(
or
(
greaterThan
?LENGTH2 ?LENGTH1)
(
greaterThan
?TIME2 ?TIME1)))))
Mid-level-ontology.kif 17143-17164
如果
过程
是
加速
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
实数
,
另一个 实数
,, ,
第三 实数
,, ,
第四 实数
,, ,
实体
, and 和
另一个 实体
这样
那个 施事体
的
measure
是
那个 实数
那个 实体
除以
那个 第三 实数
那个 另外 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 施事体
的
measure
是
那个 另外 实数
那个 实体
除以
那个 第四 实数
那个 另外 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
和
那个 另外 实数
是
greaterThan
那个 实数
或
那个 第四 实数
是
greaterThan
那个 第三 实数
(=>
(
and
(
instance
?ACT
ActivatingUIElement
)
(
patient
?ACT ?GUIE)
(
instance
?GUIE
GUIElement
))
(
and
(
holdsDuring
(
EndFn
?ACT)
(
hasGUEState
?GUIE
GUE_ActiveState
))
(
holdsDuring
(
BeginFn
?ACT)
(
not
(
hasGUEState
?GUIE
GUE_ActiveState
)))))
ComputerInput.kif 2268-2277
如果
时距
是
ActivatingUIElement
的
instance
和
实体
是
那个 时距
的
patient
和
那个 实体
是
GUIElement
的
instance
,
然后
那个 实体
有
state
GUE_ActiveState
在
那个 时距
的结束
holdsDuring
和 不
那个 实体
有
state
GUE_ActiveState
在
那个 时距
的开始
holdsDuring
(=>
(
and
(
instance
?ACT
BringingGEToFront
)
(
patient
?ACT ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
)
(
holdsDuring
(
BeginFn
?ACT)
(
hasGUEState
?WINDOW ?STATE))
(
contraryAttribute
?STATE
GUE_UncoveredState
))
(
holdsDuring
(
EndFn
?ACT)
(
not
(
hasGUEState
?WINDOW ?STATE))))
ComputerInput.kif 2332-2343
如果
时距
是
BringingGEToFront
的
instance
和
实体
是
那个 时距
的
patient
和
那个 实体
是
InterfaceWindow
的
instance
和
那个 实体
有
state
属性
在
那个 时距
的开始
holdsDuring
和
那个 属性
是
GUE_UncoveredState
的相反,
然后 不
那个 实体
有
state
那个 属性
在
那个 时距
的结束
holdsDuring
(=>
(
and
(
instance
?ACT
BringingGEToFront
)
(
patient
?ACT ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
))
(
holdsDuring
(
EndFn
?ACT)
(
hasGUEState
?WINDOW
GUE_UncoveredState
)))
ComputerInput.kif 2347-2354
如果
时距
是
BringingGEToFront
的
instance
和
实体
是
那个 时距
的
patient
和
那个 实体
是
InterfaceWindow
的
instance
,
然后
那个 实体
有
state
GUE_UncoveredState
在
那个 时距
的结束
holdsDuring
(=>
(
and
(
instance
?ALT
ShapeChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PROPERTY)
(
and
(
instance
?PROPERTY
ShapeAttribute
)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?OBJ ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?OBJ ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?OBJ ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?OBJ ?PROPERTY)))))))
Merge.kif 12656-12669
如果
过程
是
形状变化
的
instance
和
实体
是
那个 过程
的
patient
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
形状属性
的
instance
和
那个 另外 实体
是
那个 实体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 另外 实体
不 是
那个 实体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
或
那个 另外 实体
不 是
那个 实体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 另外 实体
是
那个 实体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?ALT
SurfaceChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PART ?PROPERTY)
(
and
(
superficialPart
?PART ?OBJ)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY)))))))
Merge.kif 12616-12629
如果
过程
是
表面变化
的
instance
和
客体
是
那个 过程
的
patient
,
然后 有存在
另一个 客体
和
实体
这样
那个 另外 客体
是
那个 客体
的
superficialPart
和
那个 实体
是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
不 是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
或
那个 实体
不 是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?ATC
AddToCart
)
(
instance
?OBJ
Object
)
(
patient
?ATC ?OBJ)
(
agent
?ATC ?USER))
(
exists
(?COLL ?SITE ?AFTER ?INTERVAL)
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?INTERVAL
TimeInterval
)
(
webcart
?USER ?COLL ?SITE)
(
equal
(
BeginFn
?INTERVAL)
(
EndFn
?ATC))
(
holdsDuring
?AFTER
(
member
?OBJ ?COLL)))))
UXExperimentalTerms.kif 1326-1342
如果
时距
是
AddToCart
的
instance
和
实体
是
客体
的
instance
和
那个 实体
是
那个 时距
的
patient
和
施事体
是
那个 时距
的
agent
,
然后 有存在
群体
,
WebSite
,, ,
时间位置
, and 和
另一个 时距
这样
那个 群体
是
群体
的
instance
和
那个 WebSite
是
WebSite
的
instance
和
那个 另外 时距
是
时距
的
instance
和 使用者
那个 施事体
在
那个 WebSite
有
cart
那个 群体
和
那个 另外 时距
的开始
equal
那个 时距
的结束 和
那个 实体
是
那个 群体
的
member
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?ATTACH
Attaching
)
(
patient
?ATTACH ?OBJ1)
(
patient
?ATTACH ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ATTACH))
(
not
(
connected
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?ATTACH))
(
connected
?OBJ1 ?OBJ2))))
Merge.kif 12360-12367
如果
过程
是
连接
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
是
那个 过程
的
patient
,
然后
那个 实体
和
那个 另外 实体
不 是
connected
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
和
那个 另外 实体
是
connected
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?B
BecomingDrunk
)
(
experiencer
?B ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
attribute
?A
Sober
))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
attribute
?A
Drunk
))))
Mid-level-ontology.kif 16343-16353
如果
过程
是
变得醉了
的
instance
和
施事体
经历了
那个 过程
,
然后
清醒
是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
醉
是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?B
Boarding
)
(
agent
?B ?A)
(
patient
?B ?V))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
not
(
onboard
?A ?V)))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
onboard
?A ?V))))
Mid-level-ontology.kif 17386-17397
如果
过程
是
登机
的
instance
和
施事体
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
,
然后 不
那个 施事体
是
onboard
那个 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 施事体
是
onboard
那个 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?B
Deboarding
)
(
agent
?B ?A)
(
patient
?B ?V))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
onboard
?A ?V))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
not
(
onboard
?A ?V)))))
Mid-level-ontology.kif 17427-17439
如果
过程
是
deboarding
的
instance
和
施事体
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
,
然后
那个 施事体
是
onboard
那个 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
和 不
那个 施事体
是
onboard
那个 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?B
Object
)
(
roastedToTemperature
?B ?T))
(
exists
(?H)
(
and
(
instance
?H
Heating
)
(
patient
?H ?B)
(
holdsDuring
(
EndFn
(
WhenFn
?H))
(
measure
?B
(
MeasureFn
?T
CelsiusDegree
))))))
Food.kif 468-478
如果
Food
是
客体
的
instance
和
roastedToTemperature
那个 Food
and
实数
,
然后 有存在
过程
这样
那个 过程
是
加热
的
instance
和
那个 Food
是
那个 过程
的
patient
和
那个 Food
的
measure
是
那个 实数
摄氏度
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?B
SoberingUp
)
(
experiencer
?B ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
attribute
?A
Drunk
))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
attribute
?A
Sober
))))
Mid-level-ontology.kif 16363-16373
如果
过程
是
清醒来
的
instance
和
施事体
经历了
那个 过程
,
然后
醉
是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
清醒
是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?BLEED
Bleeding
)
(
experiencer
?BLEED ?ANIMAL))
(
exists
(?BLOOD)
(
and
(
instance
?BLOOD
Blood
)
(
holdsDuring
(
BeginFn
(
WhenFn
?BLEED))
(
part
?BLOOD ?ANIMAL))
(
holdsDuring
(
EndFn
(
WhenFn
?BLEED))
(
not
(
part
?BLOOD ?ANIMAL))))))
Mid-level-ontology.kif 21395-21403
如果
过程
是
流血的
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
实体
这样
那个 实体
是
血液
的
instance
和
那个 实体
是
那个 施事体
的
part
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
不 是
那个 施事体
的
part
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?BOIL))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?BOIL))
(
attribute
?PART
Gas
)))))
Merge.kif 13933-13941
如果
过程
是
沸腾
的
instance
和
客体
是
那个 过程
的
patient
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
那个 客体
的
part
和
液体
是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
加油站
是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?C
CausingHappiness
)
(
patient
?C ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
not
(
attribute
?P
Happiness
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
attribute
?P
Happiness
))))
Mid-level-ontology.kif 23768-23779
如果
过程
是
引起幸福
的
instance
和
实体
是
那个 过程
的
patient
,
然后
幸福
不 是
那个 实体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
幸福
是
那个 实体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?C
CausingUnhappiness
)
(
patient
?C ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
not
(
attribute
?P
Unhappiness
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
attribute
?P
Unhappiness
))))
Mid-level-ontology.kif 23789-23800
如果
过程
是
导致不快乐
的
instance
和
实体
是
那个 过程
的
patient
,
然后
不幸
不 是
那个 实体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
不幸
是
那个 实体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?C
ChurningButter
)
(
instance
?E
Emulsion
)
(
patient
?C ?E))
(
exists
(?M ?B)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
and
(
equal
?E ?M)
(
instance
?M
Milk
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
and
(
equal
?E ?B)
(
instance
?B
Butter
))))))
Food.kif 3076-3094
如果
过程
是
ChurningButter
的
instance
和
实体
是
乳胶
的
instance
和
那个 实体
是
那个 过程
的
patient
,
然后 有存在
另一个 实体
和
第三 实体
这样
那个 实体
equal
那个 另外 实体
和
那个 另外 实体
是
乳
的
instance
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
equal
那个 第三 实体
和
那个 第三 实体
是
黄油
的
instance
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?C
Cricothyroidotomy
)
(
patient
?C ?O))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?T
(
HoleHostFn
?H))
(
instance
?T
Throat
)
(
part
?T ?O)))))
Medicine.kif 754-765
如果
过程
是
Cricothyroidotomy
的
instance
和
实体
是
那个 过程
的
patient
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
洞
的
instance
和
第三 实体
equal
洞
那个 另外 实体
的主体 和
那个 第三 实体
是
喉
的
instance
和
那个 第三 实体
是
那个 实体
的
part
在
那个 过程
出现 的
time
的结束
holdsDuring
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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