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
BeginFn
Sigma KEE - BeginFn
BeginFn
appearance as argument number 1
(
documentation
BeginFn
ChineseLanguage
"这是一个
UnaryFunction
,它把一个
TimeInterval
和 这个时段开始的
TimePoint
联系起来。")
chinese_format.kif 2697-2698
(
documentation
BeginFn
EnglishLanguage
"A
UnaryFunction
that maps a
TimeInterval
to the
TimePoint
at which the interval begins.")
Merge.kif 7985-7986
(
documentation
BeginFn
JapaneseLanguage
"
UnaryFunction
は
TimeInterval
を 間隔が開始され る
TimePoint
にマップする。")
japanese_format.kif 1420-1421
(
domain
BeginFn
1
TimeInterval
)
Merge.kif 7982-7982
开始函数
的 1 数量 是
时距
的
instance
(
instance
BeginFn
TemporalRelation
)
Merge.kif 7979-7979
开始函数
是
时间关系
的
instance
(
instance
BeginFn
TotalValuedRelation
)
Merge.kif 7981-7981
开始函数
是
总值关系
的
instance
(
instance
BeginFn
UnaryFunction
)
Merge.kif 7980-7980
开始函数
是
一元函数
的
instance
(
range
BeginFn
TimePoint
)
Merge.kif 7983-7983
开始函数
的
range
是
时点
的实例
appearance as argument number 2
(
format
ChineseLanguage
BeginFn
"%1 的开始")
chinese_format.kif 449-449
(
format
EnglishLanguage
BeginFn
"the beginning of %1")
english_format.kif 455-455
(
format
FrenchLanguage
BeginFn
"le d�but de %1")
french_format.kif 261-261
(
format
ItalianLanguage
BeginFn
"l' inizio di %1")
relations-it.txt 34-34
(
format
JapaneseLanguage
BeginFn
"%1 の beginning")
japanese_format.kif 2051-2051
(
format
PortugueseLanguage
BeginFn
"o comeco de %1")
portuguese_format.kif 213-213
(
format
cb
BeginFn
"ang sinugdanan sa %1")
relations-cb.txt 68-68
(
format
cz
BeginFn
"the beginning of %1'")
relations-cz.txt 267-267
(
format
de
BeginFn
"der anfang von %1")
relations-de.txt 586-586
(
format
hi
BeginFn
"%1 kii shuruaata")
relations-hindi.txt 78-78
(
format
ro
BeginFn
"beginning%t{începutul} lui %1")
relations-ro.kif 282-282
(
format
sv
BeginFn
"början på %1")
relations-sv.txt 287-287
(
format
tg
BeginFn
"ang simula sa %1")
relations-tg.txt 84-84
(
termFormat
ChineseLanguage
BeginFn
"开始")
domainEnglishFormat.kif 10559-10559
(
termFormat
ChineseLanguage
BeginFn
"开始函数")
chinese_format.kif 450-450
(
termFormat
ChineseTraditionalLanguage
BeginFn
"開始")
domainEnglishFormat.kif 10558-10558
(
termFormat
EnglishLanguage
BeginFn
"begin")
domainEnglishFormat.kif 10557-10557
(
termFormat
tg
BeginFn
"tungkulin simula")
relations-tg.txt 85-85
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
(
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 23916-23932
如果
Menopausal
是
人类
的
attribute
在
时距
holdsDuring
和
日
是
那个 人类
的
birthdate
和
那个 日
是
正整数
day
的
instance
和
实数
equal
(49 和
整数
) 和
另一个 实数
equal
(52 和
那个 整数
) 和
时点
equal
那个 时距
的开始,
然后
那个 时点
是
greaterThan
那个 实数
和
那个 另外 实数
是
greaterThan
那个 时点
的声明 has
容易
的语气
(=>
(
and
(
holdsDuring
?T1
(
attribute
?F
Menopausal
))
(
equal
?BEFORE
(
SubtractionFn
(
MeasureFn
1
YearDuration
)
(
BeginFn
?T1)))
(
equal
?YBEFORE
(
TimeIntervalFn
?YBEFORE
(
BeginFn
?T1))))
(
not
(
exists
(?M)
(
and
(
instance
?M
Menstruation
)
(
experiencer
?M ?F)))))
Mid-level-ontology.kif 23889-23903
如果
Menopausal
是
施事体
的
attribute
在
时距
holdsDuring
和
实数
equal
(1
年持续时间
和
那个 时距
的开始) 和
另一个 时距
equal
那个 另外 时距
和
那个 时距
的开始 间的时段,
然后 不存在
过程
这样
那个 过程
是
经期
的
instance
和
那个 施事体
经历了
那个 过程
(=>
(
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 501-514
如果
过程
是
走动
的
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
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
?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
?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
?D1
(
DayFn
?N1
(
MonthFn
?M
(
YearFn
?Y))))
(
instance
?D2
(
DayFn
?N2
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?T1
(
BeginFn
?D1))
(
equal
?T2
(
BeginFn
?D2))
(
greaterThan
?N2 ?N1))
(
before
?T1 ?T2))
Merge.kif 8722-8729
如果
时距
是
正整数
day
的
instance
和
另一个 时距
是
另一个 正整数
day
的
instance
和
时点
equal
那个 时距
的开始 和
另一个 时点
equal
那个 另外 时距
的开始 和
那个 另外 正整数
是
greaterThan
那个 正整数
,
然后
那个 时点
%n在
那个 另外 时点
before
发生
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
not
(
located
?ITEM ?AREA))))
Economy.kif 2421-2430
如果
过程
是
出口
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
是
地缘政治区域
的
instance
和
那个 实体
是
located
在
那个 另外 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
,
然后
那个 实体
不 是
located
在
那个 另外 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeopoliticalArea
)
(
not
(
geopoliticalSubdivision
?AREA1 ?AREA2))
(
not
(
geopoliticalSubdivision
?AREA2 ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))))
Economy.kif 2432-2445
如果
过程
是
出口
的
instance
和
实体
是
那个 过程
的
patient
和
地缘政治区域
是
地缘政治区域
的
instance
和
那个 实体
是
located
在
那个 地缘政治区域
在
那个 过程
出现 的
time
的开始
holdsDuring
,
然后 有存在
另一个 地缘政治区域
这样
那个 另外 地缘政治区域
是
地缘政治区域
的
instance
和
那个 地缘政治区域
不 是
那个 另外 地缘政治区域
的地缘政治部分 和
那个 另外 地缘政治区域
不 是
那个 地缘政治区域
的地缘政治部分 和
那个 实体
是
located
在
那个 另外 地缘政治区域
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
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
?H
Hanukkah
)
(
equal
?B
(
BeginFn
?H)))
(
exists
(?M)
(
and
(
temporalPart
?B ?M)
(
instance
?M
Month
)
(
or
(
instance
?M
November
)
(
instance
?M
December
)))))
Media.kif 587-597
如果
时距
是
Hanukkah
的
instance
和
时点
equal
那个 时距
的开始,
然后 有存在
时间位置
这样
那个 时点
时段 是
那个 时间位置
时段 的一
part
和
那个 时间位置
是
月
的
instance
和
那个 时间位置
是
十一月
的
instance
或
那个 时间位置
是
十二月
的
instance
(=>
(
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
?LOAN
Loan
)
(
equal
?START
(
BeginFn
?LOAN))
(
totalBalance
?LOAN ?BAL))
(
currentAccountBalance
?LOAN ?START ?BAL))
FinancialOntology.kif 1399-1404
如果
时距
是
贷款
的
instance
和
时点
equal
那个 时距
的开始 和
货币测量
是
那个 时距
的
total
存款,
然后
那个 时距
对于 %3 的
current
帐户存款
(=>
(
and
(
instance
?M1
(
MonthFn
?N1
(
YearFn
?Y)))
(
instance
?M2
(
MonthFn
?N2
(
YearFn
?Y)))
(
equal
?T1
(
BeginFn
?M1))
(
equal
?T2
(
BeginFn
?M2))
(
successorClass
?N1 ?N2))
(
before
?T1 ?T2))
Merge.kif 8706-8713
如果
时距
是
有点 月
month
的
instance
和
另一个 时距
是
另一个 有点 月
month
的
instance
和
时点
equal
那个 时距
的开始 和
另一个 时点
equal
那个 另外 时距
的开始 和
successorClass
有点 月
and
另一个 有点 月
,
然后
那个 时点
%n在
那个 另外 时点
before
发生
(=>
(
and
(
instance
?MT
MusicalTone
)
(
soundFrequency
?MT
(
MeasureFn
?FREQ
Hertz
))
(
loudness
?MT
(
MeasureFn
?LLB
Decibel
))
(
located
?MT
(
WhereFn
?H
(
BeginFn
(
WhenFn
?MT))))
(
greaterThan
?LLIMIT ?LLB)
(
greaterThan
?LLB ?ULIMIT)
(
greaterThan
?FREQ 250)
(
greaterThan
8000 ?FREQ)
(
instance
?H
Human
)
(
instance
?L
Listening
)
(
agent
?L ?H))
(
hearingAcuity
?H
(
MeasureFn
?LLIMIT
Decibel
)
(
MeasureFn
?ULIMIT
Decibel
)))
Medicine.kif 1753-1773
如果
音调
是
音调
的
instance
和
那个 音调
的
frequency
是
实数
赫兹
和
loudness
那个 音调
and
另一个 实数
Decibel
和
那个 音调
是
located
在
人类
在
那个 音调
出现 的
time
的开始 时所处的地区 和
第三 实数
是
greaterThan
那个 另外 实数
和
那个 另外 实数
是
greaterThan
第四 实数
和
那个 实数
是
greaterThan
250 和 8000 是
greaterThan
那个 实数
和
那个 人类
是
人类
的
instance
和
过程
是
听
的
instance
和
那个 人类
是
那个 过程
的
agent
,
然后
hearingAcuity
那个 人类
,
那个 第三 实数
Decibel
and
那个 第四 实数
Decibel
(=>
(
and
(
instance
?O
Oxidation
)
(
patient
?O ?S)
(
holdsDuring
(
BeginFn
(
WhenFn
?O))
(
electronNumber
?S ?G)))
(
exists
(?L)
(
and
(
lessThan
?L ?G)
(
holdsDuring
(
EndFn
(
WhenFn
?O))
(
electronNumber
?S ?L)))))
Mid-level-ontology.kif 19583-19595
如果
过程
是
氧化
的
instance
和
实体
是
那个 过程
的
patient
和
实数
是
那个 实体
的
electron
号码 在
那个 过程
出现 的
time
的开始
holdsDuring
,
然后 有存在
另一个 实数
这样
那个 另外 实数
是
lessThan
那个 实数
和
那个 另外 实数
是
那个 实体
的
electron
号码 在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?P
Pulling
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17638-17656
如果
时距
是
拉
的
instance
和
客体
是
那个 时距
的源头 和
施事体
是
那个 时距
的
agent
和
那个 施事体
是
located
在
那个 施事体
LOC 在
那个 时距
的开始
holdsDuring
和
那个 时距
在
另一个 实体
结束,
然后 有存在
第三 实体
,
第四 实体
, and 和
第五 实体
这样
那个 施事体
LOC 和
那个 另外 实体
的
distance
是
那个 第五 实体
那个 第四 实体
和
那个 施事体
LOC 和
那个 客体
的
distance
是
那个 第三 实体
那个 第四 实体
和
那个 第三 实体
是
greaterThan
那个 第五 实体
在 紧接
那个 时距
的开始
after
holdsDuring
(=>
(
and
(
instance
?P
Pushing
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17616-17634
如果
时距
是
Pushing
的
instance
和
客体
是
那个 时距
的源头 和
施事体
是
那个 时距
的
agent
和
那个 施事体
是
located
在
那个 施事体
LOC 在
那个 时距
的开始
holdsDuring
和
那个 时距
在
另一个 实体
结束,
然后 有存在
第三 实体
,
第四 实体
, and 和
第五 实体
这样
那个 施事体
LOC 和
那个 另外 实体
的
distance
是
那个 第五 实体
那个 第四 实体
和
那个 施事体
LOC 和
那个 客体
的
distance
是
那个 第三 实体
那个 第四 实体
和
那个 第三 实体
是
greaterThan
那个 第五 实体
在 紧接
那个 时距
的开始
after
holdsDuring
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
(
allergic
?H ?S)
(
instance
?SUB ?S)
(
holdsDuring
?T
(
meetsSpatially
?SUB ?H)))
(
modalAttribute
(
exists
(?AR)
(
and
(
instance
?AR
AllergicReaction
)
(
experiencer
?AR ?H)
(
overlapsTemporally
?T
(
WhenFn
?AR))
(
before
(
BeginFn
?T)
(
BeginFn
(
WhenFn
?AR)))))
Likely
))
Mid-level-ontology.kif 6231-6244
如果
allergic
人类
and
有点 物质
和
有点 物质
UB 是
那个 有点 物质
的
instance
和
那个 有点 物质
UB 接上
那个 人类
在
时间位置
holdsDuring
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
AllergicReaction
的
instance
和
那个 人类
经历了
那个 另外 实体
和
那个 另外 实体
出现 的
time
时段 和
那个 时间位置
重叠 和
那个 时间位置
的开始%n在
那个 另外 实体
出现 的
time
的开始
before
发生 的声明 has
容易
的语气
(=>
(
and
(
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
(
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 684-695
如果 其必須在
时点
之前 在
有认知的主事
check
out
和
另一个 有认知的主事
是在
那个 有认知的主事
的
guest
,
然后
那个 有认知的主事
expects
有存在
实体
和
另一个 实体
这样
那个 实体
是
那个 时点
的
instance
和
那个 另外 有认知的主事
是
那个 另外 实体
的
patient
和
那个 另外 实体
是
CheckOutService
的
instance
和
那个 有认知的主事
是
那个 另外 实体
的
agent
和
那个 另外 实体
出现 的
time
的开始%n在
那个 实体
before
发生 会是事实
(=>
(
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
(
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
(
firstInstanceCreated
?C ?T)
(
instance
?I ?C))
(
beforeOrEqual
?T
(
BeginFn
(
WhenFn
?I))))
Mid-level-ontology.kif 30692-30698
如果
firstInstanceCreated
有点 物理
and
时点
和
另一个 物理
是
有点 物理
的
instance
,
然后
那个 时点
%n{doesn't}在
那个 另外 物理
出现 的
time
的开始 之前或同时发生
(=>
(
and
(
holdsDuring
?T2 ?SIT2)
(
holdsDuring
?T1 ?SIT1)
(
instance
?T1
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
causesProposition
?SIT1 ?SIT2))
(
beforeOrEqual
(
BeginFn
?T1)
(
BeginFn
?T2)))
Merge.kif 3836-3843
如果
公式
在
时距
holdsDuring
和
另一个 公式
在
另一个 时距
holdsDuring
和
那个 另外 时距
是
时距
的
instance
和
那个 时距
是
时距
的
instance
和
那个 公式
是
那个 另外 公式
的
causes
提议,
然后
那个 另外 时距
的开始%n{doesn't}在
那个 时距
的开始 之前或同时发生
(=>
(
and
(
inList
?INT ?LIST)
(
equal
?LIST
(
TimeIntervalListFn
?TIME ?DUR)))
(
equal
(
BeginFn
?TIME)
(
BeginFn
(
FirstFn
?LIST))))
Weather.kif 1966-1973
如果
实体
是
连续时间间隔表列
的
member
和
那个 连续时间间隔表列
equal
时距
的
持续时间
ConsecutiveTimeIntervalList
是在
TimeIntervalListFn
(时间间隔表列函数),
然后
那个 时距
的开始
equal
那个 连续时间间隔表列
的
first
的开始
(=>
(
and
(
initialPart
?C2 ?C1)
(
instance
?PART ?C2))
(
exists
(?WHOLE)
(
and
(
instance
?WHOLE ?C1)
(
holdsDuring
(
BeginFn
(
WhenFn
?PART))
(
part
?PART ?WHOLE)))))
Mid-level-ontology.kif 23710-23719
如果 %每个
有点 客体
是
另一个 有点 客体
的
initially
part
和
物理
是
有点 客体
的
instance
,
然后 有存在
实体
这样
那个 实体
是
另一个 有点 客体
的
instance
和
那个 物理
是
那个 实体
的
part
在
那个 物理
出现 的
time
的开始
holdsDuring
(=>
(
and
(
initiallyContainsPart
?C2 ?C1)
(
instance
?WHOLE ?C1))
(
exists
(?PART)
(
and
(
instance
?PART ?C2)
(
holdsDuring
(
BeginFn
(
WhenFn
?WHOLE))
(
part
?PART ?WHOLE)))))
Mid-level-ontology.kif 23737-23745
如果
有点 客体
的例子总是
另一个 有点 客体
的
initially
part
的例子 和
物理
是
另一个 有点 客体
的
instance
,
然后 有存在
实体
这样
那个 实体
是
有点 客体
的
instance
和
那个 实体
是
那个 物理
的
part
在
那个 物理
出现 的
time
的开始
holdsDuring
(=>
(
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
?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 1042-1055
如果
过程
是
任命
的
instance
和
实体
是
那个 过程
的
patient
,
然后 有存在
另一个 实体
和
第三 实体
这样
那个 实体
doesn't 在
那个 第三 实体
任职
那个 另外 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
在
那个 第三 实体
任职
那个 另外 实体
在 紧接
那个 过程
出现 的
time
after
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
?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
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
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