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
ImmediatePastFn
Sigma KEE - ImmediatePastFn
ImmediatePastFn
appearance as argument number 1
(
documentation
ImmediatePastFn
ChineseLanguage
"这是一个
UnaryFunction
, 它把一个
TimePosition
和紧接这个
TimePosition
之前的一个既短而又不确定的
TimeInterval
。")
chinese_format.kif 2741-2742
(
documentation
ImmediatePastFn
EnglishLanguage
"A
UnaryFunction
that maps a
TimePosition
to a short, indeterminate
TimeInterval
that immediately precedes the
TimePosition
.")
Merge.kif 8522-8524
(
documentation
ImmediatePastFn
JapaneseLanguage
"
UnaryFunction
は、
TimePosition
を
TimePosition
の直前にある短い不確定
TimeInterval
にマップする。")
japanese_format.kif 1467-1468
(
domain
ImmediatePastFn
1
TimePosition
)
Merge.kif 8519-8519
域
不久的過去
, 1 and
TimePosition
(
instance
ImmediatePastFn
TemporalRelation
)
Merge.kif 8516-8516
例
不久的過去
and
TemporalRelation
(
instance
ImmediatePastFn
TotalValuedRelation
)
Merge.kif 8518-8518
例
不久的過去
and
TotalValuedRelation
(
instance
ImmediatePastFn
UnaryFunction
)
Merge.kif 8517-8517
例
不久的過去
and
UnaryFunction
(
range
ImmediatePastFn
TimeInterval
)
Merge.kif 8520-8520
範圍
不久的過去
and
TimeInterval
appearance as argument number 2
(
format
ChineseLanguage
ImmediatePastFn
"紧接 %1
before
")
chinese_format.kif 459-459
(
format
EnglishLanguage
ImmediatePastFn
"immediately
before
%1")
english_format.kif 465-465
(
format
FrenchLanguage
ImmediatePastFn
"immediatement avant %1")
french_format.kif 266-266
(
format
ItalianLanguage
ImmediatePastFn
"immediatamente prima di %1")
relations-it.txt 139-139
(
format
JapaneseLanguage
ImmediatePastFn
"%1 の immediately
before
")
japanese_format.kif 2056-2056
(
format
PortugueseLanguage
ImmediatePastFn
"imediatemente antes de %1")
portuguese_format.kif 218-218
(
format
cz
ImmediatePastFn
"pr�v� p�ed %1'")
relations-cz.txt 272-272
(
format
de
ImmediatePastFn
"direkt vor %1")
relations-de.txt 600-600
(
format
hi
ImmediatePastFn
"%1 ke tatkaala puurva")
relations-hindi.txt 178-178
(
format
ro
ImmediatePastFn
"imediat
before
%t{înainte de} %1")
relations-ro.kif 287-287
(
format
sv
ImmediatePastFn
"omedelbart före %1")
relations-sv.txt 293-293
(
format
tg
ImmediatePastFn
"bago ng agad sa %1")
relations-tg.txt 282-282
(
termFormat
ChineseLanguage
ImmediatePastFn
"不久的过去")
domainEnglishFormat.kif 29361-29361
(
termFormat
ChineseLanguage
ImmediatePastFn
"紧接过去函数")
chinese_format.kif 460-460
(
termFormat
ChineseTraditionalLanguage
ImmediatePastFn
"不久的過去")
domainEnglishFormat.kif 29360-29360
(
termFormat
EnglishLanguage
ImmediatePastFn
"immediate past")
domainEnglishFormat.kif 29359-29359
(
termFormat
tg
ImmediatePastFn
"tungkulin ng bago ng agad")
relations-tg.txt 283-283
antecedent
(=>
(
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 9838-9860
例
Object
and
Antacid
例
Motion
and
Ingesting
agent
Motion
and
AutonomousAgent
移動
Motion
and
Object
例
Object
and
胃
部分
Object
and
AutonomousAgent
持有期間
不久的過去
何時
Motion
and
包含
Object
and
Object
例
Object
and
流體
持有期間
眼前的未來
何時
Motion
and
包含
Object
and
Object
例
Object
and
流體
phMeasure
Object
and
RealNumber
phMeasure
Object
and
RealNumber
比較多
RealNumber
and
RealNumber
(=>
(
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 9899-9921
例
Object
and
ProtonPumpInhibitor
例
Motion
and
Ingesting
agent
Motion
and
AutonomousAgent
移動
Motion
and
Object
例
Object
and
胃
部分
Object
and
AutonomousAgent
持有期間
不久的過去
何時
Motion
and
包含
Object
and
Object
例
Object
and
流體
持有期間
眼前的未來
何時
Motion
and
包含
Object
and
Object
例
Object
and
流體
phMeasure
Object
and
RealNumber
phMeasure
Object
and
RealNumber
比較多
RealNumber
and
RealNumber
(=>
(
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 1926-1940
例
電腦程序
and
數據壓縮
數字數據
是由
電腦程序
processed
持有期間
不久的過去
何時
電腦程序
and
數字數據
requires
測量
RealNumber
and
entity
持有期間
眼前的未來
何時
電腦程序
and
數字數據
requires
測量
RealNumber
and
entity
少於
RealNumber
and
RealNumber
(=>
(
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
例
Process
and
DeletingAnAccount
例
Entity
and
Account
持有期間
不久的過去
何時
Process
and
AutonomousAgent
有
account
Entity
患者
Process
and
Entity
agent
Process
and
AutonomousAgent
持有期間
眼前的未來
何時
Process
and
AutonomousAgent
有
account
Entity
(=>
(
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 7016-7030
例
Process
and
Deposition
患者
Process
and
Entity
持有期間
不久的過去
何時
Process
and
測量
Entity
and
測量
RealNumber
and
焦耳
持有期間
眼前的未來
何時
Process
and
測量
Entity
and
測量
RealNumber
and
焦耳
少於
RealNumber
and
RealNumber
(=>
(
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
例
FinancialTransaction
and
存款
例
金融賬戶
and
金融賬戶
目的地
FinancialTransaction
and
金融賬戶
的
currency
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
transaction
總額
金融賬戶
對於 %3 的
current
帳戶存款
等於
RealNumber
and
加成
RealNumber
and
RealNumber
金融賬戶
對於 %3 的
current
帳戶存款
(=>
(
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 1332-1355
例
Object
and
Lever
例
Process
and
Pushing
例
Physical
and
Motion
例
UnitOfMeasure
and
UnitOfLength
目的地
Process
and
Object
physicalEnd
Object
and
Object
physicalEnd
Object
and
Object
等於
Object
and
Object
持有期間
不久的過去
何時
Physical
and
位於
Object
and
Process
持有期間
眼前的未來
何時
Physical
and
位於
Object
and
Process
持有期間
不久的過去
何時
Physical
and
位於
Object
and
Process
持有期間
眼前的未來
何時
Physical
and
位於
Object
and
Process
距離
Process
,
Process
and
測量
RealNumber
and
UnitOfMeasure
距離
Process
,
Process
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
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 10554-10569
例
Process
and
MuscleRelaxing
患者
Process
and
Entity
例
Entity
and
Muscle
持有期間
不久的過去
何時
Process
and
length
Entity
and
測量
RealNumber
and
entity
持有期間
眼前的未來
何時
Process
and
length
Entity
and
測量
RealNumber
and
entity
比較多
RealNumber
and
RealNumber
(=>
(
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 10532-10547
例
Process
and
MuscularContraction
患者
Process
and
Entity
例
Entity
and
Muscle
持有期間
不久的過去
何時
Process
and
length
Entity
and
測量
RealNumber
and
entity
持有期間
眼前的未來
何時
Process
and
length
Entity
and
測量
RealNumber
and
entity
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?Payment
Payment
)
(
origin
?Payment
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
transactionAmount
?Payment
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 408-424
例
FinancialTransaction
and
付款
起源
FinancialTransaction
and
金融賬戶
的
currency
例
金融賬戶
and
金融賬戶
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
transaction
總額
金融賬戶
對於 %3 的
current
帳戶存款
等於
RealNumber
and
減法
RealNumber
and
RealNumber
金融賬戶
對於 %3 的
current
帳戶存款
(=>
(
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 1993-2005
例
Entity
and
SelfConnectedObject
例
Process
and
Compressing
患者
Process
and
Entity
持有期間
不久的過去
何時
Process
and
測量
Entity
and
測量
RealNumber
and
Entity
例
Entity
and
UnitOfVolume
持有期間
眼前的未來
何時
Process
and
測量
Entity
and
測量
RealNumber
and
Entity
比較多
RealNumber
and
RealNumber
(=>
(
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 7068-7082
例
Process
and
Sublimation
患者
Process
and
Entity
持有期間
不久的過去
何時
Process
and
測量
Entity
and
測量
RealNumber
and
焦耳
持有期間
眼前的未來
何時
Process
and
測量
Entity
and
測量
RealNumber
and
焦耳
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal ?Account)
(
transactionAmount
?Withdrawal
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Withdrawal))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Withdrawal))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 466-481
例
FinancialTransaction
and
退出
例
金融賬戶
and
金融賬戶
起源
FinancialTransaction
and
金融賬戶
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
transaction
總額
金融賬戶
對於 %3 的
current
帳戶存款
等於
RealNumber
and
減法
RealNumber
and
RealNumber
金融賬戶
對於 %3 的
current
帳戶存款
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 738-753
Proposition
agreement
對於
Proposition
的修改日期
TimePosition
TimePosition
例
TimePosition
and
TimePosition
持有期間
不久的過去
TimePosition
and
次提案
Proposition
and
Proposition
持有期間
眼前的未來
TimePosition
and
次提案
Proposition
and
Proposition
持有期間
不久的過去
TimePosition
and
次提案
Proposition
and
Proposition
持有期間
眼前的未來
TimePosition
and
次提案
Proposition
and
Proposition
(=>
(
and
(
instance
?A
Amputating
)
(
patient
?A ?H)
(
instance
?L
Limb
))
(
exists
(?P ?B)
(
and
(
part
?P ?L)
(
part
?B ?P)
(
instance
?B
Bone
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
part
?P ?H))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
not
(
part
?P ?H))))))
Medicine.kif 6257-6275
例
Process
and
Amputating
患者
Process
and
Entity
例
Object
and
肢
Object
Object
部分
Object
and
Object
部分
Object
and
Object
例
Object
and
Bone
持有期間
不久的過去
何時
Process
and
部分
Object
and
Entity
持有期間
不久的過去
何時
Process
and
部分
Object
and
Entity
(=>
(
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
例
Process
and
ActivatingADeactivatedAccount
例
Entity
and
用戶帳號
患者
Process
and
Entity
持有期間
不久的過去
何時
Process
and
attribute
Entity
and
AccountDeactivated
持有期間
眼前的未來
何時
Process
and
attribute
Entity
and
AccountActive
(=>
(
and
(
instance
?B
Bequeathing
)
(
agent
?B ?P)
(
destination
?B ?H)
(
objectTransferred
?B ?PROP))
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?P)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
possesses
?P ?PROP))
(
confersNorm
?P
(
possesses
?H ?PROP)
Permission
))))
Mid-level-ontology.kif 18678-18694
例
Transfer
and
遺贈
agent
Transfer
and
AutonomousAgent
目的地
Transfer
and
Entity
objectTransferred
Transfer
and
AutonomousAgent
ROP
Process
例
Process
and
Death
體驗者
Process
and
AutonomousAgent
早期
何時
Process
and
何時
Transfer
持有期間
不久的過去
何時
Process
and
擁有
AutonomousAgent
and
AutonomousAgent
ROP
AutonomousAgent
confers
規範
擁有
Entity
and
AutonomousAgent
ROP 對於
允許
(=>
(
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
例
Process
and
Braking
患者
Process
and
Entity
持有期間
不久的過去
何時
Process
and
等於
測量
RealNumber
and
MilesPerHour
and
AccelerationFn
entity
,
entity
,
Entity
and
entity
持有期間
眼前的未來
何時
Process
and
等於
測量
RealNumber
and
MilesPerHour
and
AccelerationFn
entity
,
entity
,
Entity
and
entity
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?C
Coughing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?L ?O ?T)
(
and
(
instance
?L
Lung
)
(
instance
?T
Throat
)
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?L ?H)
(
part
?T ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
or
(
located
?O ?T)
(
located
?O ?L)))))))
Mid-level-ontology.kif 6055-6074
例
Process
and
Coughing
體驗者
Process
and
AutonomousAgent
有目的
Process
and
entity
entity
,
entity
and
entity
例
entity
and
肺
例
entity
and
喉
例
entity
and
Object
例
entity
and
Removing
部分
entity
and
AutonomousAgent
部分
entity
and
AutonomousAgent
objectTransferred
entity
and
entity
持有期間
不久的過去
何時
Process
and
位於
entity
and
entity
位於
entity
and
entity
(=>
(
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 767-785
例
Process
and
Cricothyroidotomy
患者
Process
and
Entity
有目的
Process
and
持有期間
不久的過去
何時
Process
and
entity
例
entity
and
ImpairmentFn
Breathing
患者
entity
and
Entity
持有期間
眼前的未來
何時
Process
and
entity
例
entity
and
ImpairmentFn
Breathing
患者
entity
and
Entity
(=>
(
and
(
instance
?C
Sneezing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?N ?NOSE ?O)
(
and
(
instance
?N
NasalCavity
)
(
instance
?NOSE
Nose
)
(
equal
?NOSE
(
HoleHostFn
?N))
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?NOSE ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
located
?O ?N))))))
Mid-level-ontology.kif 6121-6139
例
Process
and
Sneezing
體驗者
Process
and
AutonomousAgent
有目的
Process
and
entity
entity
,
entity
OSE and
entity
例
entity
and
NasalCavity
例
entity
OSE and
鼻子
等於
entity
OSE and
洞主持人
entity
例
entity
and
Object
例
entity
and
Removing
部分
entity
OSE and
AutonomousAgent
objectTransferred
entity
and
entity
持有期間
不久的過去
何時
Process
and
位於
entity
and
entity
(=>
(
and
(
instance
?Check
Check
)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check))
(
exists
(?Depositing)
(
and
(
instance
?Depositing
DepositingACheck
)
(
patient
?Depositing ?Check)
(
time
?Depositing
(
ImmediatePastFn
(
WhenFn
?Processing))))))
FinancialOntology.kif 137-146
例
Entity
and
校驗
例
Process
and
處理檢查
患者
Process
and
Entity
Process
例
Process
and
存款支票
患者
Process
and
Entity
時間
Process
and
不久的過去
何時
Process
(=>
(
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
例
Process
and
關閉帳戶
患者
Process
and
Entity
持有期間
不久的過去
何時
Process
and
例
Entity
and
金融賬戶
持有期間
眼前的未來
何時
Process
and
例
Entity
and
金融賬戶
(=>
(
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
例
Process
and
DeactivatingAnAccount
例
Entity
and
用戶帳號
患者
Process
and
Entity
持有期間
眼前的未來
何時
Process
and
attribute
Entity
and
AccountDeactivated
持有期間
不久的過去
何時
Process
and
attribute
Entity
and
AccountActive
(=>
(
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 10244-10259
例
Process
and
Death
例
AutonomousAgent
and
Organism
體驗者
Process
and
AutonomousAgent
Entity
entity
結果
Process
and
Entity
例
Entity
and
OrganicObject
持有期間
未來
何時
Process
and
attribute
Entity
and
死
持有期間
眼前的未來
何時
Process
and
部分
entity
and
Entity
持有期間
不久的過去
何時
Process
and
部分
entity
and
AutonomousAgent
(=>
(
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
例
Process
and
Forgetting
體驗者
Process
and
AutonomousAgent
entity
持有期間
眼前的未來
何時
Process
and
知道
AutonomousAgent
and
entity
持有期間
不久的過去
何時
Process
and
知道
AutonomousAgent
and
entity
(=>
(
and
(
instance
?INHERIT
Inheriting
)
(
agent
?INHERIT ?HEIR)
(
origin
?INHERIT ?PERSON)
(
patient
?INHERIT ?PROPERTY))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?PERSON)
(
earlier
(
WhenFn
?DEATH)
(
WhenFn
?INHERIT))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
possesses
?PERSON ?PROPERTY))
(
confersRight
(
possesses
?HEIR ?PROPERTY) ?PERSON ?HEIR))))
Mid-level-ontology.kif 18620-18638
例
Process
and
繼承
agent
Process
and
CognitiveAgent
起源
Process
and
AutonomousAgent
患者
Process
and
Entity
Process
例
Process
and
Death
體驗者
Process
and
AutonomousAgent
早期
何時
Process
and
何時
Process
持有期間
不久的過去
何時
Process
and
擁有
AutonomousAgent
and
Entity
賦予權利
擁有
CognitiveAgent
and
Entity
,
AutonomousAgent
and
CognitiveAgent
(=>
(
and
(
instance
?IRRIGATION
Irrigating
)
(
patient
?IRRIGATION ?AREA)
(
instance
?AREA
LandArea
))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?IRRIGATION))
(
attribute
?AREA
Dry
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?IRRIGATION))
(
attribute
?AREA
Damp
))))
Geography.kif 5711-5718
例
Process
and
灌溉
患者
Process
and
Entity
例
Entity
and
LandArea
持有期間
不久的過去
何時
Process
and
attribute
Entity
and
乾
持有期間
眼前的未來
何時
Process
and
attribute
Entity
and
潮濕
(=>
(
and
(
instance
?MTP
MovingAwayFromPeople
)
(
agent
?MTP ?A))
(
exists
(?P ?U ?D1 ?D2)
(
and
(
instance
?P
Human
)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))))
emotion.kif 1393-1411
例
Process
and
MovingAwayFromPeople
agent
Process
and
AutonomousAgent
Entity
Entity
,
RealNumber
and
RealNumber
例
Entity
and
Human
例
Entity
and
UnitOfLength
持有期間
不久的過去
何時
Process
and
距離
Process
,
AutonomousAgent
and
測量
RealNumber
and
Entity
持有期間
眼前的未來
何時
Process
and
距離
Process
,
AutonomousAgent
and
測量
RealNumber
and
Entity
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?MTP
MovingTowardsPeople
)
(
agent
?MTP ?A))
(
exists
(?P ?U ?D1 ?D2)
(
and
(
instance
?P
Human
)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D1 ?D2))))
emotion.kif 1427-1445
例
Process
and
MovingTowardsPeople
agent
Process
and
AutonomousAgent
Entity
Entity
,
RealNumber
and
RealNumber
例
Entity
and
Human
例
Entity
and
UnitOfLength
持有期間
不久的過去
何時
Process
and
距離
Process
,
AutonomousAgent
and
測量
RealNumber
and
Entity
持有期間
眼前的未來
何時
Process
and
距離
Process
,
AutonomousAgent
and
測量
RealNumber
and
Entity
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?R
RelievingPain
)
(
patient
?R ?H))
(
and
(
exists
(?P1)
(
and
(
overlapsTemporally
(
WhenFn
?P1)
(
ImmediatePastFn
(
WhenFn
?R)))
(
instance
?P1
Pain
)
(
located
?P1 ?H)))
(
not
(
exists
(?P2)
(
and
(
overlapsTemporally
(
WhenFn
?P2)
(
ImmediateFutureFn
(
WhenFn
?R)))
(
instance
?P2
Pain
)
(
located
?P2 ?H))))))
Mid-level-ontology.kif 5778-5797
例
Process
and
緩解疼痛
患者
Process
and
Object
Physical
暫時重疊
何時
Physical
and
不久的過去
何時
Process
例
Physical
and
痛
位於
Physical
and
Object
Physical
暫時重疊
何時
Physical
and
眼前的未來
何時
Process
例
Physical
and
痛
位於
Physical
and
Object
(=>
(
and
(
instance
?SALE
BargainSale
)
(
patient
?SALE ?OBJ)
(
instance
?OBJ
Object
))
(
exists
(?PRICE1 ?PRICE2 ?AGENT1 ?AGENT2 ?U)
(
and
(
instance
?U
UnitOfCurrency
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?SALE))
(
price
?OBJ
(
MeasureFn
?PRICE1 ?U) ?AGENT1))
(
holdsDuring
(
WhenFn
?SALE)
(
price
?OBJ
(
MeasureFn
?PRICE2 ?U) ?AGENT2))
(
lessThan
?PRICE2 ?PRICE1))))
Mid-level-ontology.kif 7847-7861
例
Process
and
廉價出售
患者
Process
and
Entity
例
Entity
and
Object
RealNumber
RealNumber
,
entity
,
entity
and
Entity
例
Entity
and
UnitOfCurrency
持有期間
不久的過去
何時
Process
and
Entity
是 對於
entity
的
price
測量
RealNumber
and
Entity
持有期間
何時
Process
and
Entity
是 對於
entity
的
price
測量
RealNumber
and
Entity
少於
RealNumber
and
RealNumber
(=>
(
and
(
instance
?VCS
VentedChestSeal
)
(
instance
?A
Attaching
)
(
objectTransferred
?A ?VCS)
(
destination
?A ?H))
(
hasPurpose
?VCS
(
exists
(?A ?L ?C ?H)
(
and
(
instance
?A
Air
)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
between
?L ?A ?C))
(
hasPurpose
?VCS
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
orientation
?A ?H
Outside
)))))))
Medicine.kif 853-875
例
Object
and
VentedChestSeal
例
Transfer
and
Attaching
objectTransferred
Transfer
and
Object
目的地
Transfer
and
Entity
有目的
Object
and
Transfer
entity
,
entity
and
Entity
例
Transfer
and
空氣
例
entity
and
肺
例
entity
and
Chest
部分
entity
and
Entity
部分
entity
and
Entity
持有期間
不久的過去
何時
Transfer
and
之間
entity
,
Transfer
and
entity
有目的
Object
and
持有期間
眼前的未來
何時
Transfer
and
方位
Transfer
,
Entity
and
外
(=>
(
and
(
instance
?X
Argument
)
(
instance
?R
Reasoning
)
(
instance
?A
Archeology
)
(
subProposition
?X ?A)
(
realization
?R ?X))
(
exists
(?D ?S ?O ?T ?W ?L)
(
and
(
instance
?D
Discovering
)
(
instance
?O
Object
)
(
patient
?D ?O)
(
refers
?R ?D)
(
earlier
(
WhenFn
?D)
(
WhenFn
?R))
(
age
?O
(
MeasureFn
?T
YearDuration
))
(
greaterThan
?T 50)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
or
(
and
(
surface
?S ?W)
(
instance
?W
BodyOfWater
)
(
orientation
?O ?S
Below
))
(
and
(
surface
?S ?L)
(
instance
?L
LandArea
)
(
orientation
?O ?S
Below
)))))))
Mid-level-ontology.kif 21146-21176
例
Proposition
and
爭論
例
Process
and
Reasoning
例
Proposition
and
Archeology
次提案
Proposition
and
Proposition
實現
Process
and
Proposition
Process
entity
,
Physical
,
RealNumber
,
entity
and
entity
例
Process
and
發現
例
Physical
and
Object
患者
Process
and
Physical
參照
Process
and
Process
早期
何時
Process
and
何時
Process
年齡
Physical
and
測量
RealNumber
and
年持續時間
比較多
RealNumber
and 50
持有期間
不久的過去
何時
Process
and
表面
entity
and
entity
例
entity
and
水體
方位
Physical
,
entity
and
下面
表面
entity
and
entity
例
entity
and
LandArea
方位
Physical
,
entity
and
下面
(=>
(
and
(
status
?Process
ProcessFailure
)
(
hasPurpose
?Process ?Purpose))
(
not
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?Process)) ?Purpose)))
QoSontology.kif 802-809
過程失敗
是
電腦程序
的
status
有目的
電腦程序
and
Formula
持有期間
不久的過去
何時
電腦程序
and
Formula
(=>
(
holdsDuring
?TIME
(
confersNorm
?ENTITY ?FORMULA ?NORM))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
not
(
modalAttribute
?FORMULA ?NORM)))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
modalAttribute
?FORMULA ?NORM))))
Merge.kif 4000-4010
持有期間
TimePosition
and
entity
confers
規範
entity
對於
entity
持有期間
不久的過去
TimePosition
and
模態屬性
entity
and
entity
持有期間
眼前的未來
TimePosition
and
模態屬性
entity
and
entity
(=>
(
holdsDuring
?TIME
(
deprivesNorm
?ENTITY ?FORMULA ?NORM))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
modalAttribute
?FORMULA ?NORM))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
modalAttribute
?FORMULA ?NORM)))))
Merge.kif 4022-4031
持有期間
TimePosition
and
entity
對
entity
剝奪規範
entity
持有期間
不久的過去
TimePosition
and
模態屬性
entity
and
entity
持有期間
眼前的未來
TimePosition
and
模態屬性
entity
and
entity
(=>
(
instance
?BA
BleedingAir
)
(
hasPurpose
?BA
(
exists
(?FC ?A)
(
and
(
instance
?FC
FluidContainer
)
(
instance
?A
Air
)
(
holdsDuring
(
ImmediatePastFn
?BA)
(
contains
?FC ?A))
(
holdsDuring
(
ImmediateFutureFn
?BA)
(
not
(
contains
?FC ?A)))))))
Cars.kif 1519-1529
例
Physical
and
BleedingAir
有目的
Physical
and
entity
entity
例
entity
and
液體容器
例
entity
and
空氣
持有期間
不久的過去
Physical
and
包含
entity
and
entity
持有期間
眼前的未來
Physical
and
包含
entity
and
entity
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