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 and
TimeInterval
(
instance
BeginFn
TemporalRelation
)
Merge.kif 7979-7979
例
開始
and
TemporalRelation
(
instance
BeginFn
TotalValuedRelation
)
Merge.kif 7981-7981
例
開始
and
TotalValuedRelation
(
instance
BeginFn
UnaryFunction
)
Merge.kif 7980-7980
例
開始
and
UnaryFunction
(
range
BeginFn
TimePoint
)
Merge.kif 7983-7983
範圍
開始
and
TimePoint
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
之前
開始
TimeInterval
and
開始
TimeInterval
等於
結束
TimeInterval
and
結束
TimeInterval
飾面
TimeInterval
and
TimeInterval
(=>
(
and
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2)))
(
starts
?INTERVAL1 ?INTERVAL2))
Merge.kif 8054-8062
等於
開始
TimeInterval
and
開始
TimeInterval
之前
結束
TimeInterval
and
結束
TimeInterval
啟動
TimeInterval
and
TimeInterval
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
benefits
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 22920-22925
等於
TimePoint
and
開始
何時
Process
等於
TimePoint
and
結束
何時
AutonomousAgent
好處
Process
and
AutonomousAgent
之前
TimePoint
and
TimePoint
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
suffers
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 29595-29604
等於
TimePoint
and
開始
何時
Process
等於
TimePoint
and
結束
何時
AutonomousAgent
AutonomousAgent
suffers
從
Process
之前
TimePoint
and
TimePoint
(=>
(
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
持有期間
TimeInterval
and
attribute
Human
and
Menopausal
Day
是
Human
的
birthdate
例
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
等於
RealNumber
and
加成
49 and
Integer
等於
RealNumber
and
加成
52 and
Integer
等於
TimePoint
and
開始
TimeInterval
模態屬性
比較多
TimePoint
and
RealNumber
比較多
RealNumber
and
TimePoint
and
容易
(=>
(
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
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
Menopausal
等於
RealNumber
and
減法
測量
1 and
年持續時間
and
開始
TimeInterval
等於
TimeInterval
and
時間間隔
TimeInterval
and
開始
TimeInterval
Process
例
Process
and
經期
體驗者
Process
and
AutonomousAgent
(=>
(
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
例
Process
and
走動
子過程
Process
and
Process
例
Process
and
步進
子過程
Process
and
Process
例
Process
and
步進
等於
Process
START and
開始
何時
Process
等於
Process
START and
開始
何時
Process
之前
Process
START and
Process
START
之前
Process
START and
Process
START
等於
Process
and
Process
(=>
(
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
例
Process
and
Attaching
患者
Process
and
Entity
患者
Process
and
Entity
持有期間
開始
何時
Process
and
連接的
Entity
and
Entity
持有期間
結束
何時
Process
and
連接的
Entity
and
Entity
objectAttached
Process
and
Entity
objectAttached
Process
and
Entity
(=>
(
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
and
AccessingWebPage
例
Entity
and
WebPage
例
Process
and
數據傳輸
例
Object
and
服務器
例
Process
and
Requesting
例
AutonomousAgent
and
WebBrowser
例
TimeInterval
and
TimeInterval
患者
AccessingWebPage
and
Entity
agent
Process
and
AutonomousAgent
目的地
Process
and
Object
患者
Process
and
Entity
起源
Process
and
Object
目的地
Process
and
AutonomousAgent
患者
Process
and
Entity
子過程
Process
and
AccessingWebPage
子過程
Process
and
AccessingWebPage
等於
結束
何時
Process
and
開始
TimeInterval
等於
結束
何時
Process
and
結束
TimeInterval
等於
access
的時間在
AccessingWebPage
and
TimeInterval
(=>
(
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
例
TimeInterval
and
BringingGEToFront
患者
TimeInterval
and
Entity
例
Entity
and
InterfaceWindow
持有期間
開始
TimeInterval
and
Entity
有
state
Attribute
相反的屬性
Attribute
and
GUE_UncoveredState
持有期間
結束
TimeInterval
and
Entity
有
state
Attribute
(=>
(
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
例
金融賬戶
and
存款證
Day
是
金融賬戶
的
maturity
日期
例
Process
and
退出
起源
Process
and
金融賬戶
的
currency
日期
Process
and
Day
之前
結束
Day
and
開始
Day
Process
例
Process
and
罰款
目的地
Process
and
金融賬戶
的
currency
原因
Process
and
Process
(=>
(
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
例
Process
and
ChangeOfPossession
患者
Process
and
Entity
持有期間
開始
何時
Process
and
擁有
entity
and
Entity
持有期間
結束
何時
Process
and
擁有
entity
and
Entity
等於
entity
and
entity
(=>
(
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
例
Process
and
Detaching
患者
Process
and
Entity
患者
Process
and
Entity
持有期間
開始
何時
Process
and
連接的
Entity
and
Entity
持有期間
結束
何時
Process
and
連接的
Entity
and
Entity
objectDetached
Process
and
Entity
objectDetached
Process
and
Entity
(=>
(
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
例
TimeInterval
and
天
PositiveInteger
and
月
Month
and
年
Integer
例
TimeInterval
and
天
PositiveInteger
and
月
Month
and
年
Integer
等於
TimePoint
and
開始
TimeInterval
等於
TimePoint
and
開始
TimeInterval
比較多
PositiveInteger
and
PositiveInteger
之前
TimePoint
and
TimePoint
(=>
(
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
例
Process
and
出口
患者
Process
and
Entity
例
Entity
and
GeopoliticalArea
持有期間
開始
何時
Process
and
位於
Entity
and
Entity
持有期間
結束
何時
Process
and
位於
Entity
and
Entity
(=>
(
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
例
Process
and
出口
患者
Process
and
Entity
例
GeopoliticalArea
and
GeopoliticalArea
持有期間
開始
何時
Process
and
位於
Entity
and
GeopoliticalArea
GeopoliticalArea
例
GeopoliticalArea
and
GeopoliticalArea
地緣政治細分
GeopoliticalArea
and
GeopoliticalArea
地緣政治細分
GeopoliticalArea
and
GeopoliticalArea
持有期間
結束
何時
Process
and
位於
Entity
and
GeopoliticalArea
(=>
(
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
例
Process
and
出口
患者
Process
and
Entity
例
Object
and
GeopoliticalArea
例
Physical
and
GeopoliticalArea
持有期間
開始
何時
Process
and
位於
Entity
and
Object
持有期間
結束
何時
Process
and
位於
Entity
and
Physical
位於
Physical
and
Object
(=>
(
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
例
TimeInterval
and
Hanukkah
等於
TimePoint
and
開始
TimeInterval
TimePosition
時間部分
TimePoint
and
TimePosition
例
TimePosition
and
Month
例
TimePosition
and
November
例
TimePosition
and
December
(=>
(
and
(
instance
?INTERVAL1
TimeInterval
)
(
instance
?INTERVAL2
TimeInterval
)
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
equal
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2)))
(
equal
?INTERVAL1 ?INTERVAL2))
Merge.kif 8354-8364
例
TimeInterval
and
TimeInterval
例
TimeInterval
and
TimeInterval
等於
開始
TimeInterval
and
開始
TimeInterval
等於
結束
TimeInterval
and
結束
TimeInterval
等於
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?LOAN
Loan
)
(
equal
?START
(
BeginFn
?LOAN))
(
totalBalance
?LOAN ?BAL))
(
currentAccountBalance
?LOAN ?START ?BAL))
FinancialOntology.kif 1399-1404
例
TimeInterval
and
貸款
等於
TimePoint
and
開始
TimeInterval
CurrencyMeasure
是
TimeInterval
的
total
存款
TimeInterval
對於 %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
例
TimeInterval
and
月
Month
and
年
Integer
例
TimeInterval
and
月
Month
and
年
Integer
等於
TimePoint
and
開始
TimeInterval
等於
TimePoint
and
開始
TimeInterval
successorClass
Month
and
Month
之前
TimePoint
and
TimePoint
(=>
(
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
例
音調
and
音調
音調
的
frequency
是
測量
RealNumber
and
赫茲
loudness
音調
and
測量
RealNumber
and
Decibel
位於
音調
and
哪裡
Human
and
開始
何時
音調
比較多
RealNumber
and
RealNumber
比較多
RealNumber
and
RealNumber
比較多
RealNumber
and 250
比較多
8000 and
RealNumber
例
Human
and
Human
例
Process
and
聽
agent
Process
and
Human
hearingAcuity
Human
,
測量
RealNumber
and
Decibel
and
測量
RealNumber
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
例
Process
and
氧化
患者
Process
and
Entity
持有期間
開始
何時
Process
and
RealNumber
是
Entity
的
electron
號碼
RealNumber
少於
RealNumber
and
RealNumber
持有期間
結束
何時
Process
and
RealNumber
是
Entity
的
electron
號碼
(=>
(
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
例
TimeInterval
and
拉
起源
TimeInterval
and
Object
agent
TimeInterval
and
AutonomousAgent
持有期間
開始
TimeInterval
and
位於
AutonomousAgent
and
AutonomousAgent
LOC
目的地
TimeInterval
and
Entity
持有期間
眼前的未來
開始
TimeInterval
and
entity
entity
and
entity
距離
AutonomousAgent
LOC,
Entity
and
測量
entity
and
entity
距離
AutonomousAgent
LOC,
Object
and
測量
entity
and
entity
比較多
entity
and
entity
(=>
(
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
例
TimeInterval
and
Pushing
起源
TimeInterval
and
Object
agent
TimeInterval
and
AutonomousAgent
持有期間
開始
TimeInterval
and
位於
AutonomousAgent
and
AutonomousAgent
LOC
目的地
TimeInterval
and
Entity
持有期間
眼前的未來
開始
TimeInterval
and
entity
entity
and
entity
距離
AutonomousAgent
LOC,
Entity
and
測量
entity
and
entity
距離
AutonomousAgent
LOC,
Object
and
測量
entity
and
entity
比較多
entity
and
entity
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
例
Process
and
Combining
資源
Process
and
Object
結果
Process
and
Entity
持有期間
開始
何時
Process
and
部分
Object
and
Entity
持有期間
結束
何時
Process
and
部分
Object
and
Entity
(=>
(
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
Human
and
Substance
例
Substance
UB and
Substance
持有期間
TimePosition
and
空間的符合
Substance
UB and
Human
模態屬性
entity
例
entity
and
AllergicReaction
體驗者
entity
and
Human
暫時重疊
TimePosition
and
何時
entity
之前
開始
TimePosition
and
開始
何時
entity
and
容易
(=>
(
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
金融賬戶
對於
TimePosition
到期的
amount
CurrencyMeasure
CognitiveAgent
持有
account
金融賬戶
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
付款
CurrencyMeasure
是
SymbolicString
的
transaction
總額
目的地
SymbolicString
and
金融賬戶
的
currency
起源
SymbolicString
and
金融賬戶
的
currency
日期
SymbolicString
and
entity
之前或相等
結束
entity
and
開始
TimePosition
and
CognitiveAgent
(=>
(
and
(
birthdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
-6))
(
instance
?Y2
(
YearFn
4)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1936-1941
Day
是
JesusOfNazareth
的
birthdate
例
TimeInterval
and
年
-6
例
TimeInterval
and
年
4
時間部分
Day
and
時間間隔
開始
TimeInterval
and
結束
TimeInterval
(=>
(
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
其必須在
TimePoint
之前 在
CognitiveAgent
check
out
CognitiveAgent
是在
CognitiveAgent
的
guest
CognitiveAgent
expects
entity
entity
例
entity
and
TimePoint
患者
entity
and
CognitiveAgent
例
entity
and
CheckOutService
agent
entity
and
CognitiveAgent
之前
開始
何時
entity
and
entity
會是事實
(=>
(
and
(
deathdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
29))
(
instance
?Y2
(
YearFn
36)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1943-1948
Day
是
JesusOfNazareth
的
deathdate
例
TimeInterval
and
年
29
例
TimeInterval
and
年
36
時間部分
Day
and
時間間隔
開始
TimeInterval
and
結束
TimeInterval
(=>
(
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
目的地
Process
and
Object
例
Process
and
訊息
患者
Process
and
Entity
例
Object
and
Telex
Process
Entity
儀器
Process
and
Object
結果
Process
and
Entity
代表
Entity
and
Entity
例
Entity
and
Text
之前
開始
何時
Process
and
開始
何時
Process
(=>
(
and
(
firstInstanceCreated
?C ?T)
(
instance
?I ?C))
(
beforeOrEqual
?T
(
BeginFn
(
WhenFn
?I))))
Mid-level-ontology.kif 30692-30698
firstInstanceCreated
Physical
and
TimePoint
例
Physical
and
Physical
之前或相等
TimePoint
and
開始
何時
Physical
(=>
(
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
持有期間
TimeInterval
and
Formula
持有期間
TimeInterval
and
Formula
例
TimeInterval
and
TimeInterval
例
TimeInterval
and
TimeInterval
Formula
是
Formula
的
causes
提議
之前或相等
開始
TimeInterval
and
開始
TimeInterval
(=>
(
and
(
inList
?INT ?LIST)
(
equal
?LIST
(
TimeIntervalListFn
?TIME ?DUR)))
(
equal
(
BeginFn
?TIME)
(
BeginFn
(
FirstFn
?LIST))))
Weather.kif 1966-1973
在列表中
Entity
and
ConsecutiveTimeIntervalList
等於
ConsecutiveTimeIntervalList
and
TimeIntervalListFn
TimeInterval
and
TimeDuration
等於
開始
TimeInterval
and
開始
ConsecutiveTimeIntervalList
的
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
%每個
Object
是
Object
的
initially
part
例
Physical
and
Object
Entity
例
Entity
and
Object
持有期間
開始
何時
Physical
and
部分
Physical
and
Entity
(=>
(
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
Object
的例子總是
Object
的
initially
part
的例子
例
Physical
and
Object
Entity
例
Entity
and
Object
持有期間
開始
何時
Physical
and
部分
Entity
and
Physical
(=>
(
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
例
Process
and
中止
患者
Process
and
Entity
例
Entity
and
女人
持有期間
開始
何時
Process
and
attribute
Entity
and
孕
持有期間
結束
何時
Process
and
attribute
Entity
and
孕
(=>
(
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
例
Process
and
任命
患者
Process
and
Entity
entity
entity
持有期間
開始
何時
Process
and
佔據位置
Entity
,
entity
and
entity
持有期間
眼前的未來
何時
Process
and
佔據位置
Entity
,
entity
and
entity
(=>
(
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
例
Process
and
加速
agent
Process
and
AutonomousAgent
RealNumber
RealNumber
,
RealNumber
,
RealNumber
,
entity
and
entity
持有期間
開始
何時
Process
and
測量
AutonomousAgent
and
速度
測量
RealNumber
and
entity
and
測量
RealNumber
and
entity
持有期間
結束
何時
Process
and
測量
AutonomousAgent
and
速度
測量
RealNumber
and
entity
and
測量
RealNumber
and
entity
比較多
RealNumber
and
RealNumber
比較多
RealNumber
and
RealNumber
(=>
(
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
例
TimeInterval
and
ActivatingUIElement
患者
TimeInterval
and
Entity
例
Entity
and
GUIElement
持有期間
結束
TimeInterval
and
Entity
有
state
GUE_ActiveState
持有期間
開始
TimeInterval
and
Entity
有
state
GUE_ActiveState
(=>
(
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
例
Process
and
ShapeChange
患者
Process
and
Entity
Entity
例
Entity
and
ShapeAttribute
持有期間
開始
何時
Process
and
attribute
Entity
and
Entity
持有期間
結束
何時
Process
and
attribute
Entity
and
Entity
持有期間
開始
何時
Process
and
attribute
Entity
and
Entity
持有期間
結束
何時
Process
and
attribute
Entity
and
Entity
(=>
(
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
例
Process
and
SurfaceChange
患者
Process
and
Object
Object
entity
膚淺的部分
Object
and
Object
持有期間
開始
何時
Process
and
attribute
Object
and
entity
持有期間
結束
何時
Process
and
attribute
Object
and
entity
持有期間
開始
何時
Process
and
attribute
Object
and
entity
持有期間
結束
何時
Process
and
attribute
Object
and
entity
(=>
(
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
例
TimeInterval
and
AddToCart
例
Entity
and
Object
患者
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
Collection
WebSite
,
TimePosition
and
TimeInterval
例
Collection
and
Collection
例
WebSite
and
WebSite
例
TimeInterval
and
TimeInterval
使用者
AutonomousAgent
在
WebSite
有
cart
Collection
等於
開始
TimeInterval
and
結束
TimeInterval
持有期間
TimePosition
and
會員
Entity
and
Collection
(=>
(
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
例
Process
and
Attaching
患者
Process
and
Entity
患者
Process
and
Entity
持有期間
開始
何時
Process
and
連接的
Entity
and
Entity
持有期間
結束
何時
Process
and
連接的
Entity
and
Entity
(=>
(
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
例
Process
and
變得醉了
體驗者
Process
and
AutonomousAgent
持有期間
開始
何時
Process
and
attribute
AutonomousAgent
and
清醒
持有期間
結束
何時
Process
and
attribute
AutonomousAgent
and
醉
(=>
(
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
例
Process
and
登機
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
持有期間
開始
何時
Process
and
AutonomousAgent
是
onboard
Entity
持有期間
結束
何時
Process
and
AutonomousAgent
是
onboard
Entity
(=>
(
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
例
Process
and
deboarding
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
持有期間
開始
何時
Process
and
AutonomousAgent
是
onboard
Entity
持有期間
結束
何時
Process
and
AutonomousAgent
是
onboard
Entity
(=>
(
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
例
Process
and
清醒來
體驗者
Process
and
AutonomousAgent
持有期間
開始
何時
Process
and
attribute
AutonomousAgent
and
醉
持有期間
結束
何時
Process
and
attribute
AutonomousAgent
and
清醒
(=>
(
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
例
Process
and
流血的
體驗者
Process
and
AutonomousAgent
Entity
例
Entity
and
Blood
持有期間
開始
何時
Process
and
部分
Entity
and
AutonomousAgent
持有期間
結束
何時
Process
and
部分
Entity
and
AutonomousAgent
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