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 8500-8502
(
documentation
ImmediatePastFn
JapaneseLanguage
"
UnaryFunction
は、
TimePosition
を
TimePosition
の直前にある短い不確定
TimeInterval
にマップする。")
japanese_format.kif 1467-1468
(
domain
ImmediatePastFn
1
TimePosition
)
Merge.kif 8497-8497
Le nombre 1 argument de
ImmediatePastFn
est une
instance
de
position temporel
(
instance
ImmediatePastFn
TemporalRelation
)
Merge.kif 8494-8494
ImmediatePastFn
est une
instance
de
relation temporel
(
instance
ImmediatePastFn
TotalValuedRelation
)
Merge.kif 8496-8496
ImmediatePastFn
est une
instance
de
relation total
(
instance
ImmediatePastFn
UnaryFunction
)
Merge.kif 8495-8495
ImmediatePastFn
est une
instance
de
function unaire
(
range
ImmediatePastFn
TimeInterval
)
Merge.kif 8498-8498
Le
domaine
de
ImmediatePastFn
est une instance de
interval temporel
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 9839-9861
Objet
est une
instance
de
Antacid
d�palcement
est une
instance
de
ing�rer
d�palcement
est un
agent
de
AutonomousAgent
moves
d�palcement
and
objet
objet
est une
instance
de
Stomach
objet
est une
partie
de
AutonomousAgent
objet
contient
objet
objet
est une
instance
de
Fluid
pendant
immediatement
avant
temps
d'existence de
d�palcement
objet
contient
objet
objet
est une
instance
de
Fluid
pendant
immediatement
apr
�s
temps
d'existence de
d�palcement
phMeasure
objet
and
nombre r�el
phMeasure
objet
and
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
Objet
est une
instance
de
ProtonPumpInhibitor
d�palcement
est une
instance
de
ing�rer
d�palcement
est un
agent
de
AutonomousAgent
moves
d�palcement
and
objet
objet
est une
instance
de
Stomach
objet
est une
partie
de
AutonomousAgent
objet
contient
objet
objet
est une
instance
de
Fluid
pendant
immediatement
avant
temps
d'existence de
d�palcement
objet
contient
objet
objet
est une
instance
de
Fluid
pendant
immediatement
apr
�s
temps
d'existence de
d�palcement
phMeasure
objet
and
nombre r�el
phMeasure
objet
and
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
ComputerProcess
est une
instance
de
DataCompression
dataProcessed
ComputerProcess
and
DigitalData
memorySize
DigitalData
and
nombre r�el
entit�
(s)
pendant
immediatement
avant
temps
d'existence de
ComputerProcess
memorySize
DigitalData
and
nombre r�el
entit�
(s)
pendant
immediatement
apr
�s
temps
d'existence de
ComputerProcess
nombre r�el
est
moins
que
nombre r�el
(=>
(
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
Processus
est une
instance
de
DeletingAnAccount
entit�
est une
instance
de
Account
hasAccount
AutonomousAgent
and
entit�
pendant
immediatement
avant
temps
d'existence de
processus
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
hasAccount
AutonomousAgent
and
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
Deposition
entit�
est un
patient
de
processus
la
mesure
de
entit�
est
nombre r�el
Joule
(s)
pendant
immediatement
avant
temps
d'existence de
processus
la
mesure
de
entit�
est
nombre r�el
Joule
(s)
pendant
immediatement
apr
�s
temps
d'existence de
processus
nombre r�el
est
moins
que
nombre r�el
(=>
(
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
Financial transaction
est une
instance
de
Deposit
FinancialAccount
est une
instance
de
FinancialAccount
financial transaction
aboutit
�
CurrencyFn
FinancialAccount
transactionAmount
financial transaction
and
nombre r�el
unit� de mesure
(s)
currentAccountBalance
FinancialAccount
, immediatement
avant
temps
d'existence de
financial transaction
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
nombre r�el
+
nombre r�el
)
currentAccountBalance
FinancialAccount
, immediatement
apr
�s
apr
�s
financial transaction
and
nombre r�el
unit� de mesure
(s)
(=>
(
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
Objet
est une
instance
de
Lever
processus
est une
instance
de
Pushing
physique
est une
instance
de
d�palcement
unit� de mesure
est une
instance
de
UnitOfLength
processus
aboutit
�
objet
physicalEnd
objet
and
objet
physicalEnd
objet
and
objet
objet
est
objet
objet
est
situ
� �
processus
1
pendant
immediatement
avant
temps
d'existence de
physique
objet
est
situ
� �
processus
2
pendant
immediatement
apr
�s
temps
d'existence de
physique
objet
est
situ
� �
processus
3
pendant
immediatement
avant
temps
d'existence de
physique
objet
est
situ
� �
processus
4
pendant
immediatement
apr
�s
temps
d'existence de
physique
la
distance
entre
processus
1 et
processus
2 est
nombre r�el
unit� de mesure
(s) la
distance
entre
processus
3 et
processus
4 est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
Processus
est une
instance
de
MuscleRelaxing
entit�
est un
patient
de
processus
entit�
est une
instance
de
muscle
le
longueur
de
entit�
est
nombre r�el
entit�
(s)
pendant
immediatement
avant
temps
d'existence de
processus
le
longueur
de
entit�
est
nombre r�el
entit�
(s)
pendant
immediatement
apr
�s
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
Processus
est une
instance
de
MuscularContraction
entit�
est un
patient
de
processus
entit�
est une
instance
de
muscle
le
longueur
de
entit�
est
nombre r�el
entit�
(s)
pendant
immediatement
avant
temps
d'existence de
processus
le
longueur
de
entit�
est
nombre r�el
entit�
(s)
pendant
immediatement
apr
�s
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
Financial transaction
est une
instance
de
Payment
financial transaction
a pour
origine
CurrencyFn
FinancialAccount
FinancialAccount
est une
instance
de
FinancialAccount
transactionAmount
financial transaction
and
nombre r�el
unit� de mesure
(s)
currentAccountBalance
FinancialAccount
, immediatement
avant
temps
d'existence de
financial transaction
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
nombre r�el
+
nombre r�el
)
currentAccountBalance
FinancialAccount
, immediatement
apr
�s
temps
d'existence de
financial transaction
and
nombre r�el
unit� de mesure
(s)
(=>
(
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
Entit�
est une
instance
de
objet en une partie
processus
est une
instance
de
Compressing
entit�
est un
patient
de
processus
la
mesure
de
entit�
est
nombre r�el
entit�
(s)
pendant
immediatement
avant
temps
d'existence de
processus
entit�
est une
instance
de
UnitOfVolume
la
mesure
de
entit�
est
nombre r�el
entit�
(s)
pendant
immediatement
apr
�s
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
Processus
est une
instance
de
Sublimation
entit�
est un
patient
de
processus
la
mesure
de
entit�
est
nombre r�el
Joule
(s)
pendant
immediatement
avant
temps
d'existence de
processus
la
mesure
de
entit�
est
nombre r�el
Joule
(s)
pendant
immediatement
apr
�s
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
Financial transaction
est une
instance
de
Withdrawal
FinancialAccount
est une
instance
de
FinancialAccount
financial transaction
a pour
origine
FinancialAccount
transactionAmount
financial transaction
and
nombre r�el
unit� de mesure
(s)
currentAccountBalance
FinancialAccount
, immediatement
avant
temps
d'existence de
financial transaction
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
nombre r�el
+
nombre r�el
)
currentAccountBalance
FinancialAccount
, immediatement
apr
�s
apr
�s
financial transaction
and
nombre r�el
unit� de mesure
(s)
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
agreementRevisionDate
proposition
,
position temporel
and
proposition
position temporel
position temporel
est une
instance
de
position temporel
proposition
est une
sous
-proposition de
proposition
pendant
immediatement
avant
position temporel
proposition
est une
sous
-proposition de
proposition
pendant
immediatement
apr
�s
position temporel
proposition
est une
sous
-proposition de
proposition
pendant
immediatement
avant
position temporel
proposition
est une
sous
-proposition de
proposition
pendant
immediatement
apr
�s
position temporel
(=>
(
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
Processus
est une
instance
de
Amputating
entit�
est un
patient
de
processus
objet
est une
instance
de
Limb
objet
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est une
instance
de
os
objet
est une
partie
de
entit�
pendant
immediatement
avant
temps
d'existence de
processus
objet
est une
partie
de
entit�
pendant
immediatement
avant
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
ActivatingADeactivatedAccount
entit�
est une
instance
de
UserAccount
entit�
est un
patient
de
processus
AccountDeactivated
est un
attribut
de
entit�
pendant
immediatement
avant
temps
d'existence de
processus
AccountActive
est un
attribut
de
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
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 18679-18695
Transf�re
est une
instance
de
Bequeathing
transf�re
est un
agent
de
AutonomousAgent
transf�re
aboutit
�
entit�
objectTransferred
transf�re
and
AutonomousAgent
ROP
processus
processus
est une
instance
de
mort
AutonomousAgent
exp
�rimente
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
transf�re
AutonomousAgent
poss
�de
AutonomousAgent
ROP
pendant
immediatement
avant
temps
d'existence de
processus
confersNorm
AutonomousAgent
,
entit�
poss
�de
AutonomousAgent
ROP and
Permission
(=>
(
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
Processus
est une
instance
de
Braking
entit�
est un
patient
de
processus
nombre r�el
MilesPerHour
(s) est
AccelerationFn
entit�
,
entit�
,
entit�
and
entit�
pendant
immediatement
avant
temps
d'existence de
processus
nombre r�el
MilesPerHour
(s) est
AccelerationFn
entit�
,
entit�
,
entit�
and
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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 6056-6075
Processus
est une
instance
de
Coughing
AutonomousAgent
exp
�rimente
processus
processus
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Lung
entit�
est une
instance
de
Throat
entit�
est une
instance
de
objet
entit�
est une
instance
de
supprimer
entit�
est une
partie
de
AutonomousAgent
entit�
est une
partie
de
AutonomousAgent
objectTransferred
entit�
and
entit�
entit�
est
situ
� �
entit�
entit�
est
situ
� �
entit�
pendant
immediatement
avant
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
Cricothyroidotomy
entit�
est un
patient
de
processus
processus
a pour
but
entit�
entit�
est une
instance
de
ImpairmentFn
respirer
entit�
est un
patient
de
entit�
pendant
immediatement
avant
temps
d'existence de
processus
entit�
entit�
est une
instance
de
ImpairmentFn
respirer
entit�
est un
patient
de
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
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 6122-6140
Processus
est une
instance
de
Sneezing
AutonomousAgent
exp
�rimente
processus
processus
a pour
but
entit�
entit�
,
entit�
OSE and
entit�
entit�
est une
instance
de
NasalCavity
entit�
OSE est une
instance
de
Nose
entit�
OSE est
h
�te du trou
entit�
entit�
est une
instance
de
objet
entit�
est une
instance
de
supprimer
entit�
OSE est une
partie
de
AutonomousAgent
objectTransferred
entit�
and
entit�
entit�
est
situ
� �
entit�
pendant
immediatement
avant
temps
d'existence de
processus
(=>
(
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
Entit�
est une
instance
de
Check
processus
est une
instance
de
ProcessingACheck
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
DepositingACheck
entit�
est un
patient
de
processus
processus
existe
pendant
immediatement
avant
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
ClosingAnAccount
entit�
est un
patient
de
processus
entit�
est une
instance
de
FinancialAccount
pendant
immediatement
avant
temps
d'existence de
processus
entit�
est une
instance
de
FinancialAccount
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
DeactivatingAnAccount
entit�
est une
instance
de
UserAccount
entit�
est un
patient
de
processus
AccountDeactivated
est un
attribut
de
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
AccountActive
est un
attribut
de
entit�
pendant
immediatement
avant
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
mort
AutonomousAgent
est une
instance
de
organisme
AutonomousAgent
exp
�rimente
processus
entit�
entit�
entit�
est le
resultat
de
processus
entit�
est une
instance
de
objet organique
Dead
est un
attribut
de
entit�
pendant
apr
�s
temps
d'existence de
processus
entit�
est une
partie
de
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
entit�
est une
partie
de
AutonomousAgent
pendant
immediatement
avant
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
Forgetting
AutonomousAgent
exp
�rimente
processus
entit�
AutonomousAgent
ne
conna
�t %n{pas}
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
AutonomousAgent
conna
�t
entit�
pendant
immediatement
avant
temps
d'existence de
processus
(=>
(
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 18621-18639
Processus
est une
instance
de
Inheriting
processus
est un
agent
de
agent cognitif
processus
a pour
origine
AutonomousAgent
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
mort
AutonomousAgent
exp
�rimente
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
AutonomousAgent
poss
�de
entit�
pendant
immediatement
avant
temps
d'existence de
processus
AutonomousAgent
autorise
agent cognitif
� ex�cut� des t�ches du type
agent cognitif
poss
�de
entit�
(=>
(
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
Processus
est une
instance
de
Irrigating
entit�
est un
patient
de
processus
entit�
est une
instance
de
zone de terre
Dry
est un
attribut
de
entit�
pendant
immediatement
avant
temps
d'existence de
processus
Damp
est un
attribut
de
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
MovingAwayFromPeople
processus
est un
agent
de
AutonomousAgent
entit�
entit�
,
nombre r�el
and
nombre r�el
entit�
est une
instance
de
humain
entit�
est une
instance
de
UnitOfLength
la
distance
entre
processus
et
AutonomousAgent
est
nombre r�el
entit�
(s)
pendant
immediatement
avant
temps
d'existence de
processus
la
distance
entre
processus
et
AutonomousAgent
est
nombre r�el
entit�
(s)
pendant
immediatement
apr
�s
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
Processus
est une
instance
de
MovingTowardsPeople
processus
est un
agent
de
AutonomousAgent
entit�
entit�
,
nombre r�el
and
nombre r�el
entit�
est une
instance
de
humain
entit�
est une
instance
de
UnitOfLength
la
distance
entre
processus
et
AutonomousAgent
est
nombre r�el
entit�
(s)
pendant
immediatement
avant
temps
d'existence de
processus
la
distance
entre
processus
et
AutonomousAgent
est
nombre r�el
entit�
(s)
pendant
immediatement
apr
�s
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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 5779-5798
Processus
est une
instance
de
RelievingPain
objet
est un
patient
de
processus
physique
immediatement
avant
temps
d'existence de
processus
recouvre
temps
d'existence de
physique
physique
est une
instance
de
Pain
physique
est
situ
� �
objet
physique
immediatement
apr
�s
temps
d'existence de
processus
recouvre
temps
d'existence de
physique
physique
est une
instance
de
Pain
physique
est
situ
� �
objet
(=>
(
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 7848-7862
Processus
est une
instance
de
BargainSale
entit�
est un
patient
de
processus
entit�
est une
instance
de
objet
nombre r�el
nombre r�el
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
UnitOfCurrency
price
entit�
,
nombre r�el
entit�
(s) and
entit�
pendant
immediatement
avant
temps
d'existence de
processus
price
entit�
,
nombre r�el
entit�
(s) and
entit�
pendant
temps
d'existence de
processus
nombre r�el
est
moins
que
nombre r�el
(=>
(
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
Objet
est une
instance
de
VentedChestSeal
transf�re
est une
instance
de
attacher
objectTransferred
transf�re
and
objet
transf�re
aboutit
�
entit�
objet
a pour
but
transf�re
entit�
,
entit�
and
entit�
transf�re
est une
instance
de
Air
entit�
est une
instance
de
Lung
entit�
est une
instance
de
Chest
entit�
est une
partie
de
entit�
entit�
est une
partie
de
entit�
transf�re
est
entre
entit�
et
entit�
pendant
immediatement
avant
temps
d'existence de
transf�re
objet
a pour
but
transf�re
est
Outside
�
entit�
pendant
immediatement
apr
�s
temps
d'existence de
transf�re
(=>
(
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 21147-21177
Proposition
est une
instance
de
Argument
processus
est une
instance
de
raisonner
proposition
est une
instance
de
Archeology
proposition
est une
sous
-proposition de
proposition
processus
exprime
le contenu de
proposition
processus
entit�
,
physique
,
nombre r�el
,
entit�
and
entit�
processus
est une
instance
de
Discovering
physique
est une
instance
de
objet
physique
est un
patient
de
processus
processus
inclut une
r
�f�rence �
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
l'
physique
est
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
que 50
entit�
est une
surface
de
entit�
entit�
est une
instance
de
BodyOfWater
physique
est
Below
�
entit�
entit�
est une
surface
de
entit�
entit�
est une
instance
de
zone de terre
physique
est
Below
�
entit�
pendant
immediatement
avant
temps
d'existence de
processus
(=>
(
and
(
status
?Process
ProcessFailure
)
(
hasPurpose
?Process ?Purpose))
(
not
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?Process)) ?Purpose)))
QoSontology.kif 802-809
status
ComputerProcess
and
ProcessFailure
ComputerProcess
a pour
but
formule
formule
pendant
immediatement
avant
temps
d'existence de
ComputerProcess
(=>
(
holdsDuring
?TIME
(
confersNorm
?ENTITY ?FORMULA ?NORM))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
not
(
modalAttribute
?FORMULA ?NORM)))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
modalAttribute
?FORMULA ?NORM))))
Merge.kif 4000-4010
confersNorm
entit�
,
entit�
and
entit�
pendant
position temporel
l'argument
entit�
n' %n{pas} la
force
modale
de
entit�
pendant
immediatement
avant
position temporel
l'argument
entit�
a la
force
modale
de
entit�
pendant
immediatement
apr
�s
position temporel
(=>
(
holdsDuring
?TIME
(
deprivesNorm
?ENTITY ?FORMULA ?NORM))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
modalAttribute
?FORMULA ?NORM))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
modalAttribute
?FORMULA ?NORM)))))
Merge.kif 4022-4031
deprivesNorm
entit�
,
entit�
and
entit�
pendant
position temporel
l'argument
entit�
a la
force
modale
de
entit�
pendant
immediatement
avant
position temporel
l'argument
entit�
n' %n{pas} la
force
modale
de
entit�
pendant
immediatement
apr
�s
position temporel
(=>
(
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
Physique
est une
instance
de
BleedingAir
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
FluidContainer
entit�
est une
instance
de
Air
entit�
contient
entit�
pendant
immediatement
avant
physique
entit�
ne
contient
%n{pas}
entit�
pendant
immediatement
apr
�s
physique
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