Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
ImmediateFutureFn
Sigma KEE - ImmediateFutureFn
ImmediateFutureFn
appearance as argument number 1
(
documentation
ImmediateFutureFn
ChineseLanguage
"这是一个
UnaryFunction
, 它把一个
TimePosition
和紧随这个
TimePosition
的一个既短而又不确定的
TimeInterval
。")
chinese_format.kif 2745-2746
(
documentation
ImmediateFutureFn
EnglishLanguage
"A
UnaryFunction
that maps a
TimePosition
to a short, indeterminate
TimeInterval
that immediately follows the
TimePosition
.")
Merge.kif 8531-8533
(
documentation
ImmediateFutureFn
JapaneseLanguage
"
UnaryFunction
は、
TimePosition
を、
TimePosition
の直後に続く短い不確定
TimeInterval
にマップする。")
japanese_format.kif 1471-1472
(
domain
ImmediateFutureFn
1
TimePosition
)
Merge.kif 8528-8528
域
眼前的未來
, 1 and
TimePosition
(
instance
ImmediateFutureFn
TemporalRelation
)
Merge.kif 8525-8525
例
眼前的未來
and
TemporalRelation
(
instance
ImmediateFutureFn
TotalValuedRelation
)
Merge.kif 8527-8527
例
眼前的未來
and
TotalValuedRelation
(
instance
ImmediateFutureFn
UnaryFunction
)
Merge.kif 8526-8526
例
眼前的未來
and
UnaryFunction
(
range
ImmediateFutureFn
TimeInterval
)
Merge.kif 8529-8529
範圍
眼前的未來
and
TimeInterval
appearance as argument number 2
(
format
ChineseLanguage
ImmediateFutureFn
"紧接 %1 after")
chinese_format.kif 463-463
(
format
EnglishLanguage
ImmediateFutureFn
"immediately after %1")
english_format.kif 469-469
(
format
FrenchLanguage
ImmediateFutureFn
"immediatement apr�s %1")
french_format.kif 268-268
(
format
ItalianLanguage
ImmediateFutureFn
"immediatamente dopo %1")
relations-it.txt 137-137
(
format
JapaneseLanguage
ImmediateFutureFn
"%1 の すぐ after")
japanese_format.kif 2058-2058
(
format
PortugueseLanguage
ImmediateFutureFn
"imediatemente apos %1")
portuguese_format.kif 220-220
(
format
cz
ImmediateFutureFn
"pr�v� po %1'")
relations-cz.txt 274-274
(
format
de
ImmediateFutureFn
"sofort nach %1")
relations-de.txt 605-605
(
format
hi
ImmediateFutureFn
"%1 ke tatkaala baada")
relations-hindi.txt 176-176
(
format
ro
ImmediateFutureFn
"imediat after%t{dupã} %1")
relations-ro.kif 289-289
(
format
sv
ImmediateFutureFn
"omedelbart efter %1")
relations-sv.txt 295-295
(
format
tg
ImmediateFutureFn
"pagkatopos ng agad sa %1")
relations-tg.txt 278-278
(
termFormat
ChineseLanguage
ImmediateFutureFn
"眼前的未来")
domainEnglishFormat.kif 29349-29349
(
termFormat
ChineseLanguage
ImmediateFutureFn
"紧接未来函数")
chinese_format.kif 464-464
(
termFormat
ChineseTraditionalLanguage
ImmediateFutureFn
"眼前的未來")
domainEnglishFormat.kif 29348-29348
(
termFormat
EnglishLanguage
ImmediateFutureFn
"immediate future")
domainEnglishFormat.kif 29347-29347
(
termFormat
tg
ImmediateFutureFn
"tungkulin ng pagkatopos ng agad")
relations-tg.txt 279-279
antecedent
(=>
(
and
(
holdsDuring
?T
(
attribute
?X
Booting
))
(
holdsDuring
?T2
(
attribute
?X
HostReady
))
(
equal
?T2
(
ImmediateFutureFn
(
WhenFn
?T)))
(
instance
?DIS
ComputerDisplay
)
(
connectedEngineeringComponents
?DIS ?X))
(
modalAttribute
(
exists
(?HS)
(
and
(
instance
?HS
HomeScreen
)
(
displayedUpon
?HS ?DIS)))
Likely
))
ComputingBrands.kif 3231-3245
持有期間
Physical
and
attribute
EngineeringComponent
and
啟動中
持有期間
Physical
and
attribute
EngineeringComponent
and
準備好主持
等於
Physical
and
眼前的未來
何時
Physical
例
EngineeringComponent
and
ComputerDisplay
連接的工程組件
EngineeringComponent
and
EngineeringComponent
模態屬性
entity
例
entity
and
主頁面
entity
是在
EngineeringComponent
displayed
and
容易
(=>
(
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 9839-9861
例
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 9900-9922
例
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
?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
?E
Motion
)
(
instance
?T
Tremor
)
(
instance
?D
Damper
)
(
patient
?T ?O)
(
part
?D ?O)
(
causes
?E ?T)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
WhenFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U))))
(
greaterThan
?A1 ?A2))
Cars.kif 777-792
例
Process
and
Motion
例
Process
and
震
例
Object
and
Damper
患者
Process
and
Object
部分
Object
and
Object
原因
Process
and
Process
例
Entity
and
UnitOfLength
持有期間
何時
Process
and
physicalAmplitude
Process
and
測量
RealNumber
and
Entity
持有期間
眼前的未來
Process
and
physicalAmplitude
Process
and
測量
RealNumber
and
Entity
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?I
Impacting
)
(
patient
?I ?H)
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
Concussion
))
Likely
))
Medicine.kif 1328-1340
例
Process
and
Impacting
患者
Process
and
Entity
持有期間
眼前的未來
Process
and
attribute
Entity
and
ImpairedBodyPartFn
腦
模態屬性
持有期間
眼前的未來
Process
and
attribute
Entity
and
Concussion
and
容易
(=>
(
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
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
accountAtSite
?A ?S)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
patient
?P ?S))))
Possibility
))
ComputingBrands.kif 3972-3986
例
Process
and
LoggingIn
AutonomousAgent
有
account
用戶帳號
用戶帳號
是在
WebSite
的
account
等於
TimeInterval
and
眼前的未來
何時
Process
agent
Process
and
AutonomousAgent
模態屬性
持有期間
TimeInterval
and
entity
例
entity
and
電腦程序
agent
entity
and
AutonomousAgent
患者
entity
and
WebSite
and
可能性
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
deviceAccount
?A ?C)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
instrument
?P ?C))))
Possibility
))
ComputingBrands.kif 3988-4002
例
Process
and
LoggingIn
AutonomousAgent
有
account
用戶帳號
deviceAccount
用戶帳號
and
電腦
等於
TimeInterval
and
眼前的未來
何時
Process
agent
Process
and
AutonomousAgent
模態屬性
持有期間
TimeInterval
and
entity
例
entity
and
電腦程序
agent
entity
and
AutonomousAgent
儀器
entity
and
電腦
and
可能性
(=>
(
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 10555-10570
例
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 10533-10548
例
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
?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 1987-1999
例
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
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
(
agreementEffectiveDate
?AGR ?DATE)
(
confersObligation
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsObligation
?FORMULA ?AGENT)))
Government.kif 714-719
TimePoint
是
協議
的
agreement
生效日期
授予義務
Formula
,
協議
and
CognitiveAgent
例
TimePosition
and
TimePoint
持有期間
眼前的未來
TimePosition
and
持有義務
Formula
and
CognitiveAgent
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersRight
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsRight
?FORMULA ?AGENT)))
Government.kif 721-726
TimePoint
是
協議
的
agreement
生效日期
賦予權利
Formula
,
協議
and
CognitiveAgent
例
TimePosition
and
TimePoint
持有期間
眼前的未來
TimePosition
and
堅持正確
Formula
and
CognitiveAgent
(=>
(
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
?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
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
?Bond
SecuredBond
)
(
securedBy
?Bond ?Security)
(
possesses
?Agent ?Bond)
(
instance
?Default
FinancialDefault
)
(
patient
?Default ?Bond))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Default))
(
possesses
?Agent ?Security)))
FinancialOntology.kif 2397-2406
例
金融賬戶
and
擔保債券
抵押
是
金融賬戶
的
secured
擁有
AutonomousAgent
and
金融賬戶
例
Process
and
財務違約
患者
Process
and
金融賬戶
持有期間
眼前的未來
何時
Process
and
擁有
AutonomousAgent
and
抵押
(=>
(
and
(
instance
?C
Covering
)
(
patient
?C ?P)
(
instrument
?C ?I))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
covers
?I ?P)))
Mid-level-ontology.kif 29758-29765
例
Process
and
Covering
患者
Process
and
Entity
儀器
Process
and
Object
持有期間
眼前的未來
何時
Process
and
covers
Object
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
?CA
COVIDAntibody
)
(
holdsDuring
?T
(
and
(
not
(
attribute
?H
Covid19
))
(
part
?CA ?H))))
(
holdsDuring
(
ImmediateFutureFn
?T)
(
modalAttribute
(
attribute
?H
Covid19
)
Unlikely
)))
Medicine.kif 2784-2796
例
Entity
and
COVIDAntibody
持有期間
TimePosition
and
attribute
entity
and
Covid19
部分
Entity
and
entity
持有期間
眼前的未來
TimePosition
and
模態屬性
attribute
entity
and
Covid19
and
較不可能
(=>
(
and
(
instance
?CP
ChangingAccountInfo
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
accountInformation
?UA ?N1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?N2)
(
and
(
not
(
equal
?N2 ?N1))
(
accountInformation
?UA ?N2)))))
ComputingBrands.kif 4123-4135
例
Process
and
ChangingAccountInfo
agent
Process
and
AutonomousAgent
AutonomousAgent
有
account
用戶帳號
accountInformation
用戶帳號
and
Proposition
持有期間
眼前的未來
何時
Process
and
entity
等於
entity
and
Proposition
accountInformation
用戶帳號
and
entity
(=>
(
and
(
instance
?CP
ChangingPassword
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
password
?P1 ?UA))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?P2)
(
and
(
instance
?P2
ComputerPassword
)
(
not
(
equal
?P2 ?P1))
(
password
?P2 ?UA)))))
ComputingBrands.kif 4079-4092
例
Process
and
ChangingPassword
agent
Process
and
AutonomousAgent
AutonomousAgent
有
account
用戶帳號
用戶帳號
有
password
電腦密碼
持有期間
眼前的未來
何時
Process
and
entity
例
entity
and
電腦密碼
等於
entity
and
電腦密碼
用戶帳號
有
password
entity
(=>
(
and
(
instance
?CP
ChangingUserName
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
userName
?UA ?N1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?N2)
(
and
(
instance
?N2
UserName
)
(
not
(
equal
?N2 ?N1))
(
userName
?UA ?N2)))))
ComputingBrands.kif 4101-4114
例
Process
and
ChangingUserName
agent
Process
and
AutonomousAgent
AutonomousAgent
有
account
用戶帳號
用戶帳號
的
user
name
是
用戶名
持有期間
眼前的未來
何時
Process
and
entity
例
entity
and
用戶名
等於
entity
and
用戶名
用戶帳號
的
user
name
是
entity
(=>
(
and
(
instance
?CP
CreatingAnAccount
)
(
agent
?CP ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?UA ?P1 ?N)
(
and
(
hasAccount
?A ?UA)
(
password
?P1 ?UA)
(
userName
?UA ?N)))))
ComputingBrands.kif 4143-4153
例
Process
and
CreatingAnAccount
agent
Process
and
AutonomousAgent
持有期間
眼前的未來
何時
Process
and
entity
entity
and
entity
AutonomousAgent
有
account
entity
entity
有
password
entity
entity
的
user
name
是
entity
(=>
(
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
?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
?DAM
Damaging
)
(
instance
?OBJ
Device
)
(
patient
?DAM ?OBJ))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DAM))
(
attribute
?OBJ
DeviceDamaged
)))
Mid-level-ontology.kif 30079-30087
例
Process
and
Damaging
例
Entity
and
Device
患者
Process
and
Entity
持有期間
眼前的未來
何時
Process
and
attribute
Entity
and
DeviceDamaged
(=>
(
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 10222-10237
例
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
?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
?EV
Evacuation
)
(
agent
?EV ?MIL)
(
instance
?MIL
MilitaryOrganization
)
(
experiencer
?EV ?P))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?EV))
(
attribute
?P
Evacuee
)))
MilitaryPersons.kif 133-140
例
Process
and
疏散
agent
Process
and
AutonomousAgent
例
AutonomousAgent
and
軍事組織
體驗者
Process
and
AutonomousAgent
持有期間
眼前的未來
何時
Process
and
attribute
AutonomousAgent
and
撤離者
(=>
(
and
(
instance
?F
Faucet
)
(
instance
?LM
LiquidMotion
)
(
patient
?LM ?L)
(
located
?LM ?F))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?LM))
(
not
(
exists
(?T)
(
and
(
instance
?T
Tube
)
(
contains
?T ?L))))))
engineering.kif 939-952
例
Object
and
Faucet
例
Process
and
液體運動
患者
Process
and
Entity
位於
Process
and
Object
持有期間
眼前的未來
何時
Process
and
entity
例
entity
and
管
包含
entity
and
Entity
(=>
(
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
?H
Hotline
)
(
telephoneNumber
?H ?O)
(
instance
?O
Organization
))
(
hasPurpose
?H
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?O)
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
Communication
)
(
instrument
?C ?H)
(
equal
(
BeginFn
(
WhenFn
?C))
(
BeginFn
(
ImmediateFutureFn
(
WhenFn
?T))))))
Likely
)))))
Mid-level-ontology.kif 25093-25114
例
TelecomNumber
and
Hotline
TelecomNumber
是
AutonomousAgent
的
telephone
number
例
AutonomousAgent
and
Organization
有目的
TelecomNumber
and
entity
例
entity
and
致電
目的地
entity
and
AutonomousAgent
模態屬性
entity
例
entity
and
Communication
儀器
entity
and
TelecomNumber
等於
開始
何時
entity
and
開始
眼前的未來
何時
entity
and
容易
(=>
(
and
(
instance
?I
Impacting
)
(
patient
?I ?H)
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
Concussion
))
Likely
))
Medicine.kif 1328-1340
例
Process
and
Impacting
患者
Process
and
Entity
持有期間
眼前的未來
Process
and
attribute
Entity
and
ImpairedBodyPartFn
腦
模態屬性
持有期間
眼前的未來
Process
and
attribute
Entity
and
Concussion
and
容易
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
holdsDuring
(
ImmediateFutureFn
?T)
(
and
(
instance
?T
(
DayFn
1
(
MonthFn
October
(
YearFn
1992))))
(
conventionalLongName
"Andean Community of Nations"
AndeanCommunityOfNations
)))
Government.kif 2791-2794
持有期間
眼前的未來
TimePosition
and
例
TimePosition
and
天
1 and
月
October
and
年
1992
安第斯國際社會
是 "Andean Community of Nations" 的
conventional
全名
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
and
(
instance
?TIME
(
YearFn
1996))
(
conventionalLongName
"Agency for the French-Speaking Community"
AgencyForTheFrenchSpeakingCommunity
)))
Government.kif 2765-2769
持有期間
眼前的未來
TimePosition
and
例
TimePosition
and
年
1996
法語社區的代理機構
是 "Agency for the French-Speaking Community" 的
conventional
全名
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