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
userFeedbackScore
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
Il numero 1 argomenti di
ImmediatePastFn
è un
istanza
di
PosizioneTemporale
(
instance
ImmediatePastFn
TemporalRelation
)
Merge.kif 8516-8516
ImmediatePastFn
è un'
istanza
di
RelazioneTemporale
(
instance
ImmediatePastFn
TotalValuedRelation
)
Merge.kif 8518-8518
ImmediatePastFn
è un'
istanza
di
RelazioneAValoreTotale
(
instance
ImmediatePastFn
UnaryFunction
)
Merge.kif 8517-8517
ImmediatePastFn
è un'
istanza
di
FunzioneUnaria
(
range
ImmediatePastFn
TimeInterval
)
Merge.kif 8520-8520
rango
di
ImmediatePastFn
è un'istanza di
IntervalloTemporale
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
Oggetto
è un'
istanza
di
Antacid
Movimento
è un'
istanza
di
Ingestione
Movimento
è un
agente
di
AutonomousAgent
moves
Movimento
and
Oggetto
Oggetto
è un'
istanza
di
Stomach
Oggetto
è una
parte
di
AutonomousAgent
contains
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
Fluid
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Movimento
contains
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
Fluid
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Movimento
phMeasure
Oggetto
and
NumeroReale
phMeasure
Oggetto
and
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
Oggetto
è un'
istanza
di
ProtonPumpInhibitor
Movimento
è un'
istanza
di
Ingestione
Movimento
è un
agente
di
AutonomousAgent
moves
Movimento
and
Oggetto
Oggetto
è un'
istanza
di
Stomach
Oggetto
è una
parte
di
AutonomousAgent
contains
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
Fluid
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Movimento
contains
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
Fluid
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Movimento
phMeasure
Oggetto
and
NumeroReale
phMeasure
Oggetto
and
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
è un'
istanza
di
DataCompression
dataProcessed
ComputerProcess
and
DigitalData
memorySize
DigitalData
and
NumeroReale
Entit�
(s vales
durante
immediatamente
prima
di il
tempo
di esistenza di
ComputerProcess
memorySize
DigitalData
and
NumeroReale
Entit�
(s vales
durante
immediatamente
dopo
il
tempo
di esistenza di
ComputerProcess
NumeroReale
è
meno
di
NumeroReale
(=>
(
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
Processo
è un'
istanza
di
DeletingAnAccount
Entit�
è un'
istanza
di
Account
hasAccount
AutonomousAgent
and
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
hasAccount
AutonomousAgent
and
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
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
Processo
è un'
istanza
di
Deposition
Entit�
è un
paziente
di
Processo
la
misura
Entit�
è
NumeroReale
Joule
(s vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
la
misura
Entit�
è
NumeroReale
Joule
(s vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
NumeroReale
è
meno
di
NumeroReale
(=>
(
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
ScambioFinanziario
è un'
istanza
di
Deposit
FinancialAccount
è un'
istanza
di
FinancialAccount
ScambioFinanziario
fine
s in
CurrencyFn
FinancialAccount
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
currentAccountBalance
FinancialAccount
, immediatamente
prima
di il
tempo
di esistenza di
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
is
uguale
a (
NumeroReale
+
NumeroReale
currentAccountBalance
FinancialAccount
, immediatamente
dopo
dopo
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(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
Oggetto
è un'
istanza
di
Lever
Processo
è un'
istanza
di
Pushing
Entit�Concreta
è un'
istanza
di
Movimento
Unit�DiMisura
è un'
istanza
di
UnitOfLength
Processo
fine
s in
Oggetto
physicalEnd
Oggetto
and
Oggetto
physicalEnd
Oggetto
and
Oggetto
Oggetto
is
uguale
a
Oggetto
Oggetto
è
localizzato
in
Processo
1 vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Entit�Concreta
Oggetto
è
localizzato
in
Processo
2 vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Entit�Concreta
Oggetto
è
localizzato
in
Processo
3 vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Entit�Concreta
Oggetto
è
localizzato
in
Processo
4 vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Entit�Concreta
la
distanza
tra
Processo
1 e
Processo
2 è
NumeroReale
Unit�DiMisura
(s la
distanza
tra
Processo
3 e
Processo
4 è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
Processo
è un'
istanza
di
MuscleRelaxing
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Muscolo
la
lunghezza
di
Entit�
è
NumeroReale
Entit�
(s vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
la
lunghezza
di
Entit�
è
NumeroReale
Entit�
(s vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
Processo
è un'
istanza
di
MuscularContraction
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Muscolo
la
lunghezza
di
Entit�
è
NumeroReale
Entit�
(s vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
la
lunghezza
di
Entit�
è
NumeroReale
Entit�
(s vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
ScambioFinanziario
è un'
istanza
di
Payment
ScambioFinanziario
si
originas in
CurrencyFn
FinancialAccount
FinancialAccount
è un'
istanza
di
FinancialAccount
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
currentAccountBalance
FinancialAccount
, immediatamente
prima
di il
tempo
di esistenza di
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
is
uguale
a (
NumeroReale
+
NumeroReale
currentAccountBalance
FinancialAccount
, immediatamente
dopo
il
tempo
di esistenza di
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(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 1993-2005
Entit�
è un'
istanza
di
OggettoIntegro
Processo
è un'
istanza
di
Compressing
Entit�
è un
paziente
di
Processo
la
misura
Entit�
è
NumeroReale
Entit�
(s vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
Entit�
è un'
istanza
di
UnitOfVolume
la
misura
Entit�
è
NumeroReale
Entit�
(s vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
Processo
è un'
istanza
di
Sublimation
Entit�
è un
paziente
di
Processo
la
misura
Entit�
è
NumeroReale
Joule
(s vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
la
misura
Entit�
è
NumeroReale
Joule
(s vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
ScambioFinanziario
è un'
istanza
di
Withdrawal
FinancialAccount
è un'
istanza
di
FinancialAccount
ScambioFinanziario
si
originas in
FinancialAccount
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
currentAccountBalance
FinancialAccount
, immediatamente
prima
di il
tempo
di esistenza di
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
is
uguale
a (
NumeroReale
+
NumeroReale
currentAccountBalance
FinancialAccount
, immediatamente
dopo
dopo
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(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
Proposizione
,
PosizioneTemporale
and
Proposizione
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
PosizioneTemporale
Proposizione
è una
sottoproposizione
Proposizione
vales
durante
immediatamente
prima
di
PosizioneTemporale
Proposizione
è una
sottoproposizione
Proposizione
vales
durante
immediatamente
dopo
PosizioneTemporale
Proposizione
è una
sottoproposizione
Proposizione
vales
durante
immediatamente
prima
di
PosizioneTemporale
Proposizione
è una
sottoproposizione
Proposizione
vales
durante
immediatamente
dopo
PosizioneTemporale
(=>
(
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
Processo
è un'
istanza
di
Amputating
Entit�
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
Limb
Oggetto
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Osso
Oggetto
è una
parte
di
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
Oggetto
è una
parte
di
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
(=>
(
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
Processo
è un'
istanza
di
ActivatingADeactivatedAccount
Entit�
è un'
istanza
di
UserAccount
Entit�
è un
paziente
di
Processo
attribute
Entit�
and
AccountDeactivated
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
attribute
Entit�
and
AccountActive
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
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
Trasferimento
è un'
istanza
di
Bequeathing
Trasferimento
è un
agente
di
AutonomousAgent
Trasferimento
fine
s in
Entit�
objectTransferred
Trasferimento
and
AutonomousAgent
ROP
Processo
Processo
è un'
istanza
di
Morte
AutonomousAgent
esperisce
s
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Trasferimento
AutonomousAgent
possiede
es
AutonomousAgent
ROP vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
confersNorm
AutonomousAgent
,
Entit�
possiede
es
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
Processo
è un'
istanza
di
Braking
Entit�
è un
paziente
di
Processo
NumeroReale
MilesPerHour
(s is
uguale
a
AccelerationFn
Entit�
,
Entit�
,
Entit�
and
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
NumeroReale
MilesPerHour
(s is
uguale
a
AccelerationFn
Entit�
,
Entit�
,
Entit�
and
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
Processo
è un'
istanza
di
Coughing
AutonomousAgent
esperisce
s
Processo
Processo
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Lung
Entit�
è un'
istanza
di
Throat
Entit�
è un'
istanza
di
Oggetto
Entit�
è un'
istanza
di
Spostamento
Entit�
è una
parte
di
AutonomousAgent
Entit�
è una
parte
di
AutonomousAgent
objectTransferred
Entit�
and
Entit�
Entit�
è
localizzato
in
Entit�
Entit�
è
localizzato
in
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
(=>
(
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
Processo
è un'
istanza
di
Cricothyroidotomy
Entit�
è un
paziente
di
Processo
Processo
ha
scopo
Entit�
Entit�
è un'
istanza
di
ImpairmentFn
Respirazione
Entit�
è un
paziente
di
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
Entit�
Entit�
è un'
istanza
di
ImpairmentFn
Respirazione
Entit�
è un
paziente
di
Entit�
non vale
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
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
Processo
è un'
istanza
di
Sneezing
AutonomousAgent
esperisce
s
Processo
Processo
ha
scopo
Entit�
Entit�
,
Entit�
OSE and
Entit�
Entit�
è un'
istanza
di
NasalCavity
Entit�
OSE è un'
istanza
di
Nose
Entit�
OSE is
uguale
a
HoleHostFn
Entit�
Entit�
è un'
istanza
di
Oggetto
Entit�
è un'
istanza
di
Spostamento
Entit�
OSE è una
parte
di
AutonomousAgent
objectTransferred
Entit�
and
Entit�
Entit�
è
localizzato
in
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
(=>
(
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�
è un'
istanza
di
Check
Processo
è un'
istanza
di
ProcessingACheck
Entit�
è un
paziente
di
Processo
Processo
Processo
è un'
istanza
di
DepositingACheck
Entit�
è un
paziente
di
Processo
Processo
esistes
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
(=>
(
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
Processo
è un'
istanza
di
ClosingAnAccount
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
FinancialAccount
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
Entit�
è un'
istanza
di
FinancialAccount
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
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
Processo
è un'
istanza
di
DeactivatingAnAccount
Entit�
è un'
istanza
di
UserAccount
Entit�
è un
paziente
di
Processo
attribute
Entit�
and
AccountDeactivated
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
attribute
Entit�
and
AccountActive
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
(=>
(
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
Processo
è un'
istanza
di
Morte
AutonomousAgent
è un'
istanza
di
Organismo
AutonomousAgent
esperisce
s
Processo
Entit�
Entit�
Entit�
è un
risultato
di
Processo
Entit�
è un'
istanza
di
Entit�Organica
attribute
Entit�
and
Dead
vales
durante
dopo
il
tempo
di esistenza di
Processo
Entit�
è una
parte
di
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
Entit�
è una
parte
di
AutonomousAgent
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
(=>
(
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
Processo
è un'
istanza
di
Forgetting
AutonomousAgent
esperisce
s
Processo
Entit�
AutonomousAgent
non
conosce
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
AutonomousAgent
conosce
s
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
(=>
(
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
Processo
è un'
istanza
di
Inheriting
Processo
è un
agente
di
AgenteCognitivo
Processo
si
originas in
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
Processo
è un'
istanza
di
Morte
AutonomousAgent
esperisce
s
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
AutonomousAgent
possiede
es
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
AutonomousAgent
permette
a
AgenteCognitivo
di compiere il compito di tipo
AgenteCognitivo
possiede
es
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
Processo
è un'
istanza
di
Irrigating
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
SuperficieTerrestre
attribute
Entit�
and
Dry
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
attribute
Entit�
and
Damp
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
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
Processo
è un'
istanza
di
MovingAwayFromPeople
Processo
è un
agente
di
AutonomousAgent
Entit�
Entit�
,
NumeroReale
and
NumeroReale
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
UnitOfLength
la
distanza
tra
Processo
e
AutonomousAgent
è
NumeroReale
Entit�
(s vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
la
distanza
tra
Processo
e
AutonomousAgent
è
NumeroReale
Entit�
(s vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
Processo
è un'
istanza
di
MovingTowardsPeople
Processo
è un
agente
di
AutonomousAgent
Entit�
Entit�
,
NumeroReale
and
NumeroReale
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
UnitOfLength
la
distanza
tra
Processo
e
AutonomousAgent
è
NumeroReale
Entit�
(s vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
la
distanza
tra
Processo
e
AutonomousAgent
è
NumeroReale
Entit�
(s vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
Processo
è un'
istanza
di
RelievingPain
Oggetto
è un
paziente
di
Processo
Entit�Concreta
immediatamente
prima
di il
tempo
di esistenza di
Processo
sovrappone
s il
tempo
di esistenza di
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Pain
Entit�Concreta
è
localizzato
in
Oggetto
Entit�Concreta
immediatamente
dopo
il
tempo
di esistenza di
Processo
sovrappone
s il
tempo
di esistenza di
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Pain
Entit�Concreta
è
localizzato
in
Oggetto
(=>
(
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
Processo
è un'
istanza
di
BargainSale
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Oggetto
NumeroReale
NumeroReale
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
UnitOfCurrency
price
Entit�
,
NumeroReale
Entit�
(s and
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
price
Entit�
,
NumeroReale
Entit�
(s and
Entit�
vales
durante
il
tempo
di esistenza di
Processo
NumeroReale
è
meno
di
NumeroReale
(=>
(
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
Oggetto
è un'
istanza
di
VentedChestSeal
Trasferimento
è un'
istanza
di
Attaccare
objectTransferred
Trasferimento
and
Oggetto
Trasferimento
fine
s in
Entit�
Oggetto
ha
scopo
Trasferimento
Entit�
,
Entit�
and
Entit�
Trasferimento
è un'
istanza
di
Air
Entit�
è un'
istanza
di
Lung
Entit�
è un'
istanza
di
Chest
Entit�
è una
parte
di
Entit�
Entit�
è una
parte
di
Entit�
Trasferimento
è
tra
Entit�
e
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Trasferimento
Oggetto
ha
scopo
Trasferimento
è
Outside
a
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Trasferimento
(=>
(
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
Proposizione
è un'
istanza
di
Argument
Processo
è un'
istanza
di
Ragionare
Proposizione
è un'
istanza
di
Archeology
Proposizione
è una
sottoproposizione
Proposizione
Processo
esprime
il contenuto di
Proposizione
Processo
Entit�
,
Entit�Concreta
,
NumeroReale
,
Entit�
and
Entit�
Processo
è un'
istanza
di
Discovering
Entit�Concreta
è un'
istanza
di
Oggetto
Entit�Concreta
è un
paziente
di
Processo
Processo
include un
riferimento
a
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
il
et
à di
Entit�Concreta
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di 50
Entit�
è una
superficie
di
Entit�
Entit�
è un'
istanza
di
BodyOfWater
Entit�Concreta
è
Below
a
Entit�
Entit�
è una
superficie
di
Entit�
Entit�
è un'
istanza
di
SuperficieTerrestre
Entit�Concreta
è
Below
a
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
(=>
(
and
(
status
?Process
ProcessFailure
)
(
hasPurpose
?Process ?Purpose))
(
not
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?Process)) ?Purpose)))
QoSontology.kif 802-809
status
ComputerProcess
and
ProcessFailure
ComputerProcess
ha
scopo
Formula
Formula
non vale
durante
immediatamente
prima
di il
tempo
di esistenza di
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�
vales
durante
PosizioneTemporale
l'affermazione
Entit�
ha il modello di forza di
Entit�
vales
durante
immediatamente
prima
di
PosizioneTemporale
l'affermazione
Entit�
ha il modello di forza di
Entit�
vales
durante
immediatamente
dopo
PosizioneTemporale
(=>
(
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�
vales
durante
PosizioneTemporale
l'affermazione
Entit�
ha il modello di forza di
Entit�
vales
durante
immediatamente
prima
di
PosizioneTemporale
l'affermazione
Entit�
ha il modello di forza di
Entit�
vales
durante
immediatamente
dopo
PosizioneTemporale
(=>
(
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
Entit�Concreta
è un'
istanza
di
BleedingAir
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
FluidContainer
Entit�
è un'
istanza
di
Air
contains
Entit�
and
Entit�
vales
durante
immediatamente
prima
di
Entit�Concreta
contains
Entit�
and
Entit�
vales
durante
immediatamente
dopo
Entit�Concreta
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