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
O argumento numero 1 de
ImmediatePastFn
e' uma
instancia
de
Posicao Temporal
(
instance
ImmediatePastFn
TemporalRelation
)
Merge.kif 8494-8494
ImmediatePastFn
e' uma
instancia
de
Relacao Temporal
(
instance
ImmediatePastFn
TotalValuedRelation
)
Merge.kif 8496-8496
ImmediatePastFn
e' uma
instancia
de
Relacao Total
(
instance
ImmediatePastFn
UnaryFunction
)
Merge.kif 8495-8495
ImmediatePastFn
e' uma
instancia
de
funcao Unaria
(
range
ImmediatePastFn
TimeInterval
)
Merge.kif 8498-8498
O
contra
-dominio de
ImmediatePastFn
e' uma instancia de
Intervalo Temporal
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
Objeto
e' uma
instancia
de
Antacid
Movimento
e' uma
instancia
de
Ingerir
Movimento
e' um
agente
de
AutonomousAgent
moves
Movimento
and
Objeto
Objeto
e' uma
instancia
de
Stomach
Objeto
e' uma &parte de
AutonomousAgent
Objeto
contem
Objeto
Objeto
e' uma
instancia
de
Fluid
vale
durante imediatemente
antes
de
tempo
de existencia de
Movimento
Objeto
contem
Objeto
Objeto
e' uma
instancia
de
Fluid
vale
durante imediatemente
apos
tempo
de existencia de
Movimento
phMeasure
Objeto
and
Numero Real
phMeasure
Objeto
and
Numero Real
Numero Real
e'
maior
que
Numero Real
(=>
(
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
Objeto
e' uma
instancia
de
ProtonPumpInhibitor
Movimento
e' uma
instancia
de
Ingerir
Movimento
e' um
agente
de
AutonomousAgent
moves
Movimento
and
Objeto
Objeto
e' uma
instancia
de
Stomach
Objeto
e' uma &parte de
AutonomousAgent
Objeto
contem
Objeto
Objeto
e' uma
instancia
de
Fluid
vale
durante imediatemente
antes
de
tempo
de existencia de
Movimento
Objeto
contem
Objeto
Objeto
e' uma
instancia
de
Fluid
vale
durante imediatemente
apos
tempo
de existencia de
Movimento
phMeasure
Objeto
and
Numero Real
phMeasure
Objeto
and
Numero Real
Numero Real
e'
maior
que
Numero Real
(=>
(
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
e' uma
instancia
de
DataCompression
dataProcessed
ComputerProcess
and
DigitalData
memorySize
DigitalData
and
Numero Real
Entidade
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
ComputerProcess
memorySize
DigitalData
and
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
tempo
de existencia de
ComputerProcess
Numero Real
e'
menos
que
Numero Real
(=>
(
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
e' uma
instancia
de
DeletingAnAccount
Entidade
e' uma
instancia
de
Account
hasAccount
AutonomousAgent
and
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
hasAccount
AutonomousAgent
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
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
e' uma
instancia
de
Deposition
Entidade
e' um
patient
de
Processo
a
medida
de
Entidade
e'
Numero Real
Joule
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
a
medida
de
Entidade
e'
Numero Real
Joule
(s)
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Numero Real
e'
menos
que
Numero Real
(=>
(
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
Transacao Financeira
e' uma
instancia
de
Deposit
FinancialAccount
e' uma
instancia
de
FinancialAccount
Transacao Financeira
termina
em
CurrencyFn
FinancialAccount
transactionAmount
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
currentAccountBalance
FinancialAccount
, imediatemente
antes
de
tempo
de existencia de
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
igual
a (
Numero Real
+
Numero Real
)
currentAccountBalance
FinancialAccount
, imediatemente
apos
apos
Transacao Financeira
and
Numero Real
Unidade de Medida
(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
Objeto
e' uma
instancia
de
Lever
Processo
e' uma
instancia
de
Pushing
Fisico
e' uma
instancia
de
Movimento
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Processo
termina
em
Objeto
physicalEnd
Objeto
and
Objeto
physicalEnd
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
Objeto
e'
situado
em
Processo
1
vale
durante imediatemente
antes
de
tempo
de existencia de
Fisico
Objeto
e'
situado
em
Processo
2
vale
durante imediatemente
apos
tempo
de existencia de
Fisico
Objeto
e'
situado
em
Processo
3
vale
durante imediatemente
antes
de
tempo
de existencia de
Fisico
Objeto
e'
situado
em
Processo
4
vale
durante imediatemente
apos
tempo
de existencia de
Fisico
a
distancia
entre
Processo
1 e
Processo
2 e'
Numero Real
Unidade de Medida
(s) a
distancia
entre
Processo
3 e
Processo
4 e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
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
Processo
e' uma
instancia
de
MuscleRelaxing
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Musculo
o
comprimento
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
o
comprimento
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
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
Processo
e' uma
instancia
de
MuscularContraction
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Musculo
o
comprimento
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
o
comprimento
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
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
Transacao Financeira
e' uma
instancia
de
Payment
Transacao Financeira
tem como
origem
CurrencyFn
FinancialAccount
FinancialAccount
e' uma
instancia
de
FinancialAccount
transactionAmount
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
currentAccountBalance
FinancialAccount
, imediatemente
antes
de
tempo
de existencia de
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
igual
a (
Numero Real
+
Numero Real
)
currentAccountBalance
FinancialAccount
, imediatemente
apos
tempo
de existencia de
Transacao Financeira
and
Numero Real
Unidade de Medida
(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
Entidade
e' uma
instancia
de
Objeto auto-conectado
Processo
e' uma
instancia
de
Compressing
Entidade
e' um
patient
de
Processo
a
medida
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
Entidade
e' uma
instancia
de
UnitOfVolume
a
medida
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
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
e' uma
instancia
de
Sublimation
Entidade
e' um
patient
de
Processo
a
medida
de
Entidade
e'
Numero Real
Joule
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
a
medida
de
Entidade
e'
Numero Real
Joule
(s)
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
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
Transacao Financeira
e' uma
instancia
de
Withdrawal
FinancialAccount
e' uma
instancia
de
FinancialAccount
Transacao Financeira
tem como
origem
FinancialAccount
transactionAmount
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
currentAccountBalance
FinancialAccount
, imediatemente
antes
de
tempo
de existencia de
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
igual
a (
Numero Real
+
Numero Real
)
currentAccountBalance
FinancialAccount
, imediatemente
apos
apos
Transacao Financeira
and
Numero Real
Unidade de Medida
(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
Proposicao
,
Posicao Temporal
and
Proposicao
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Posicao Temporal
Proposicao
e' uma &sub-proposicao de
Proposicao
vale
durante imediatemente
antes
de
Posicao Temporal
Proposicao
e' uma &sub-proposicao de
Proposicao
vale
durante imediatemente
apos
Posicao Temporal
Proposicao
e' uma &sub-proposicao de
Proposicao
vale
durante imediatemente
antes
de
Posicao Temporal
Proposicao
e' uma &sub-proposicao de
Proposicao
vale
durante imediatemente
apos
Posicao Temporal
(=>
(
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
e' uma
instancia
de
Amputating
Entidade
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Limb
Objeto
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Osso
Objeto
e' uma &parte de
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
Objeto
e' uma &parte de
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
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
e' uma
instancia
de
ActivatingADeactivatedAccount
Entidade
e' uma
instancia
de
UserAccount
Entidade
e' um
patient
de
Processo
AccountDeactivated
e' um
atributo
de
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
AccountActive
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
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 18679-18695
Transferencia
e' uma
instancia
de
Bequeathing
Transferencia
e' um
agente
de
AutonomousAgent
Transferencia
termina
em
Entidade
objectTransferred
Transferencia
and
AutonomousAgent
ROP
Processo
Processo
e' uma
instancia
de
Morte
AutonomousAgent
experimenta
Processo
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Transferencia
AutonomousAgent
possui
AutonomousAgent
ROP
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
confersNorm
AutonomousAgent
,
Entidade
possui
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
e' uma
instancia
de
Braking
Entidade
e' um
patient
de
Processo
Numero Real
MilesPerHour
(s) e'
igual
a
AccelerationFn
Entidade
,
Entidade
,
Entidade
and
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
Numero Real
MilesPerHour
(s) e'
igual
a
AccelerationFn
Entidade
,
Entidade
,
Entidade
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
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
Processo
e' uma
instancia
de
Coughing
AutonomousAgent
experimenta
Processo
Processo
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Lung
Entidade
e' uma
instancia
de
Throat
Entidade
e' uma
instancia
de
Objeto
Entidade
e' uma
instancia
de
Remover
Entidade
e' uma &parte de
AutonomousAgent
Entidade
e' uma &parte de
AutonomousAgent
objectTransferred
Entidade
and
Entidade
Entidade
e'
situado
em
Entidade
Entidade
e'
situado
em
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
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
e' uma
instancia
de
Cricothyroidotomy
Entidade
e' um
patient
de
Processo
Processo
tem por
fim
Entidade
Entidade
e' uma
instancia
de
ImpairmentFn
Respirar
Entidade
e' um
patient
de
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
Entidade
Entidade
e' uma
instancia
de
ImpairmentFn
Respirar
Entidade
e' um
patient
de
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
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 6122-6140
Processo
e' uma
instancia
de
Sneezing
AutonomousAgent
experimenta
Processo
Processo
tem por
fim
Entidade
Entidade
,
Entidade
OSE and
Entidade
Entidade
e' uma
instancia
de
NasalCavity
Entidade
OSE e' uma
instancia
de
Nose
Entidade
OSE e'
igual
a o
dono
do buraco
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e' uma
instancia
de
Remover
Entidade
OSE e' uma &parte de
AutonomousAgent
objectTransferred
Entidade
and
Entidade
Entidade
e'
situado
em
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
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
Entidade
e' uma
instancia
de
Check
Processo
e' uma
instancia
de
ProcessingACheck
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
DepositingACheck
Entidade
e' um
patient
de
Processo
Processo
existe
durante
imediatemente
antes
de
tempo
de existencia de
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
e' uma
instancia
de
ClosingAnAccount
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
FinancialAccount
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
Entidade
e' uma
instancia
de
FinancialAccount
vale
durante imediatemente
apos
tempo
de existencia de
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
e' uma
instancia
de
DeactivatingAnAccount
Entidade
e' uma
instancia
de
UserAccount
Entidade
e' um
patient
de
Processo
AccountDeactivated
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
AccountActive
e' um
atributo
de
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
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 10222-10237
Processo
e' uma
instancia
de
Morte
AutonomousAgent
e' uma
instancia
de
Organismo
AutonomousAgent
experimenta
Processo
Entidade
Entidade
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Objeto Organico
Dead
e' um
atributo
de
Entidade
vale
durante
apos
tempo
de existencia de
Processo
Entidade
e' uma &parte de
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Entidade
e' uma &parte de
AutonomousAgent
vale
durante imediatemente
antes
de
tempo
de existencia de
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
e' uma
instancia
de
Forgetting
AutonomousAgent
experimenta
Processo
Entidade
AutonomousAgent
nao
sabe
%n
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
AutonomousAgent
sabe
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
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 18621-18639
Processo
e' uma
instancia
de
Inheriting
Processo
e' um
agente
de
Agente Cognitivo
Processo
tem como
origem
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Morte
AutonomousAgent
experimenta
Processo
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
AutonomousAgent
possui
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
AutonomousAgent
autoriza
Agente Cognitivo
a executar tarefas de tipo
Agente Cognitivo
possui
Entidade
(=>
(
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
e' uma
instancia
de
Irrigating
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Area terrestre
Dry
e' um
atributo
de
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
Damp
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
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
e' uma
instancia
de
MovingAwayFromPeople
Processo
e' um
agente
de
AutonomousAgent
Entidade
Entidade
,
Numero Real
and
Numero Real
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
UnitOfLength
a
distancia
entre
Processo
e
AutonomousAgent
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
a
distancia
entre
Processo
e
AutonomousAgent
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
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
e' uma
instancia
de
MovingTowardsPeople
Processo
e' um
agente
de
AutonomousAgent
Entidade
Entidade
,
Numero Real
and
Numero Real
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
UnitOfLength
a
distancia
entre
Processo
e
AutonomousAgent
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
a
distancia
entre
Processo
e
AutonomousAgent
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
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
Processo
e' uma
instancia
de
RelievingPain
Objeto
e' um
patient
de
Processo
Fisico
imediatemente
antes
de
tempo
de existencia de
Processo
engloba
tempo
de existencia de
Fisico
Fisico
e' uma
instancia
de
Pain
Fisico
e'
situado
em
Objeto
Fisico
imediatemente
apos
tempo
de existencia de
Processo
engloba
tempo
de existencia de
Fisico
Fisico
e' uma
instancia
de
Pain
Fisico
e'
situado
em
Objeto
(=>
(
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
Processo
e' uma
instancia
de
BargainSale
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Objeto
Numero Real
Numero Real
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
UnitOfCurrency
price
Entidade
,
Numero Real
Entidade
(s) and
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
price
Entidade
,
Numero Real
Entidade
(s) and
Entidade
vale
durante
tempo
de existencia de
Processo
Numero Real
e'
menos
que
Numero Real
(=>
(
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
Objeto
e' uma
instancia
de
VentedChestSeal
Transferencia
e' uma
instancia
de
Colar
objectTransferred
Transferencia
and
Objeto
Transferencia
termina
em
Entidade
Objeto
tem por
fim
Transferencia
Entidade
,
Entidade
and
Entidade
Transferencia
e' uma
instancia
de
Air
Entidade
e' uma
instancia
de
Lung
Entidade
e' uma
instancia
de
Chest
Entidade
e' uma &parte de
Entidade
Entidade
e' uma &parte de
Entidade
Transferencia
esta'
entre
Entidade
e
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Transferencia
Objeto
tem por
fim
Transferencia
e'
Outside
em relacao a
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Transferencia
(=>
(
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
Proposicao
e' uma
instancia
de
Argument
Processo
e' uma
instancia
de
Raciocinar
Proposicao
e' uma
instancia
de
Archeology
Proposicao
e' uma &sub-proposicao de
Proposicao
Processo
exprime
o conteudo de
Proposicao
Processo
Entidade
,
Fisico
,
Numero Real
,
Entidade
and
Entidade
Processo
e' uma
instancia
de
Discovering
Fisico
e' uma
instancia
de
Objeto
Fisico
e' um
patient
de
Processo
Processo
inclui uma
referencia
a
Processo
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
a
idade
de
Fisico
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
que 50
Entidade
e' uma
superficie
de
Entidade
Entidade
e' uma
instancia
de
BodyOfWater
Fisico
e'
Below
em relacao a
Entidade
Entidade
e' uma
superficie
de
Entidade
Entidade
e' uma
instancia
de
Area terrestre
Fisico
e'
Below
em relacao a
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
(=>
(
and
(
status
?Process
ProcessFailure
)
(
hasPurpose
?Process ?Purpose))
(
not
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?Process)) ?Purpose)))
QoSontology.kif 802-809
status
ComputerProcess
and
ProcessFailure
ComputerProcess
tem por
fim
Formula
Formula
vale
durante imediatemente
antes
de
tempo
de existencia 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
Entidade
,
Entidade
and
Entidade
vale
durante
Posicao Temporal
o argumento
Entidade
nao %n a
forca
modal
de
Entidade
vale
durante imediatemente
antes
de
Posicao Temporal
o argumento
Entidade
tem a
forca
modal
de
Entidade
vale
durante imediatemente
apos
Posicao Temporal
(=>
(
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
Entidade
,
Entidade
and
Entidade
vale
durante
Posicao Temporal
o argumento
Entidade
tem a
forca
modal
de
Entidade
vale
durante imediatemente
antes
de
Posicao Temporal
o argumento
Entidade
nao %n a
forca
modal
de
Entidade
vale
durante imediatemente
apos
Posicao Temporal
(=>
(
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
Fisico
e' uma
instancia
de
BleedingAir
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
FluidContainer
Entidade
e' uma
instancia
de
Air
Entidade
contem
Entidade
vale
durante imediatemente
antes
de
Fisico
Entidade
nao
contem
%n
Entidade
vale
durante imediatemente
apos
Fisico
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