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
causes
Sigma KEE - causes
causes
appearance as argument number 1
(
documentation
causes
ChineseLanguage
"这是
Process
实例之间的因果关系, (
causes
?PROCESS1 ?PROCESS2)的意思是
Process
?PROCESS1 的实例引起
Process
?PROCESS2 的 实例。")
chinese_format.kif 2065-2067
(
documentation
causes
EnglishLanguage
"The causation relation between instances of
Process
.(
causes
?PROCESS1 ?PROCESS2) means that the instance of
Process
?PROCESS1 brings about the instance of
Process
?PROCESS2.")
Merge.kif 3783-3785
(
documentation
causes
JapaneseLanguage
"
Process
の インスタンス間の因果関係。 (
causes
?PROCESS1 ?PROCESS2) とは、
Process
?PROCESS1 の インスタンスが
Process
?PROCESS2のインスタンスをもたらすことを意味する。")
japanese_format.kif 711-713
(
domain
causes
1
Process
)
Merge.kif 3778-3778
O argumento numero 1 de
causes
e' uma
instancia
de
Processo
(
domain
causes
2
Process
)
Merge.kif 3779-3779
O argumento numero 2 de
causes
e' uma
instancia
de
Processo
(
instance
causes
AsymmetricRelation
)
Merge.kif 3777-3777
causes
e' uma
instancia
de
Relacao Assimetrica
(
instance
causes
BinaryPredicate
)
Merge.kif 3776-3776
causes
e' uma
instancia
de
Predicado Binario
(
relatedInternalConcept
causes
causesSubclass
)
Merge.kif 3780-3780
causes
e'
relacionado
internamente por SUMO a
causesSubclass
appearance as argument number 2
(
format
ChineseLanguage
causes
"%1 %n{doesn't}
causes
%2")
chinese_format.kif 71-71
(
format
EnglishLanguage
causes
"%1 %n{doesn't} cause%p{s} %2")
english_format.kif 71-71
(
format
FrenchLanguage
causes
"%1 %n{ne} cause %n{pas} %2")
french_format.kif 60-60
(
format
ItalianLanguage
causes
"%1 %n{non} causa%p{s} %2")
relations-it.txt 42-42
(
format
JapaneseLanguage
causes
"%1 は %2 を cause%p{s} %n{ない}")
japanese_format.kif 1884-1884
(
format
PortugueseLanguage
causes
"%1 causa %2")
portuguese_format.kif 12-12
(
format
cb
causes
"%1 %n ay naghatag %2")
relations-cb.txt 76-76
(
format
cz
causes
"%1 %n{doesn't} cause%p{s} %2")
relations-cz.txt 114-114
(
format
de
causes
"%1 verursacht %2 %n{nicht}")
relations-de.txt 77-77
(
format
hi
causes
"%1 %2 kaa kaaraNa %n hai")
relations-hindi.txt 84-84
(
format
ro
causes
"%1 %n{nu} cause%t{produce} %2")
relations-ro.kif 79-79
(
format
sv
causes
"%1
or
sakar %n{inte} %2")
relations-sv.txt 59-59
(
format
tg
causes
"%1 %n ay nagbibigay %2")
relations-tg.txt 100-100
(
termFormat
ChineseLanguage
causes
"原因")
domainEnglishFormat.kif 13500-13500
(
termFormat
ChineseLanguage
causes
"引起")
chinese_format.kif 72-72
(
termFormat
ChineseTraditionalLanguage
causes
"原因")
domainEnglishFormat.kif 13499-13499
(
termFormat
EnglishLanguage
causes
"causes")
domainEnglishFormat.kif 13498-13498
(
termFormat
de
causes
"verursacht")
terms-de.txt 20-20
(
termFormat
tg
causes
"nagbibigay")
relations-tg.txt 101-101
antecedent
(<=>
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal
(
CurrencyFn
?Account))
(
not
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?Account))
(
causes
?Withdrawal ?Penalty)))))
(
liquidity
?Account
HighLiquidity
))
FinancialOntology.kif 1818-1828
Processo
e' uma
instancia
de
Withdrawal
FinancialAccount
e' uma
instancia
de
FinancialAccount
Processo
tem como
origem
CurrencyFn
FinancialAccount
Processo
Processo
e' uma
instancia
de
Penalty
Processo
termina
em
CurrencyFn
FinancialAccount
Processo
causa
Processo
liquidity
FinancialAccount
and
HighLiquidity
(=>
(
and
(
incomeEarned
?Agent
(
MeasureFn
?Income ?CU) ?Activity)
(
amountCharged
?Tax
(
MeasureFn
?TaxAmount ?CU))
(
causes
?Activity ?Tax)
(
equal
?ATIncome
(
SubtractionFn
?Income ?TaxAmount)))
(
afterTaxIncome
?Agent
(
MeasureFn
?ATIncome ?CU) ?Activity))
FinancialOntology.kif 3331-3341
incomeEarned
Humano
,
Numero Real
Unidade de Medida
(s) and
Processo Organizacional
amountCharged
ChargingAFee
and
ChargingAFee
Amount
Unidade de Medida
(s)
Processo Organizacional
causa
ChargingAFee
Numero Real
e'
igual
a (
Numero Real
+
ChargingAFee
Amount)
afterTaxIncome
Humano
,
Numero Real
Unidade de Medida
(s) and
Processo Organizacional
(=>
(
and
(
instance
?ABORTED
(
AbortedMissionFn
?A ?MISSION))
(
causes
?ACTION ?ABORTED)
(
agent
?ACTION ?OTHER_A)
(
agent
?MISSION ?THIS_A))
(
not
(
enemy
?OTHER_A ?THIS_A)))
MilitaryProcesses.kif 2440-2445
Processo
e' uma
instancia
de
AbortedMissionFn
AutonomousAgent
and
MilitaryOperation
AutonomousAgent
CTION
causa
Processo
AutonomousAgent
CTION e' um
agente
de
Entidade
_A
MilitaryOperation
e' um
agente
de
Entidade
_A
enemy
Entidade
_A and
Entidade
_A
(=>
(
and
(
instance
?Authorization
AuthorizationOfTransaction
)
(
instance
?Transaction
FinancialTransaction
)
(
instance
?Card
BankCard
)
(
instrument
?Transaction ?Card)
(
causes
?Authorization ?Transaction))
(
instance
?Card
ValidCard
))
FinancialOntology.kif 3516-3523
Processo
e' uma
instancia
de
AuthorizationOfTransaction
Processo
e' uma
instancia
de
Transacao Financeira
Objeto
e' uma
instancia
de
BankCard
Objeto
e' um
instrumento
para
Processo
Processo
causa
Processo
Objeto
e' uma
instancia
de
ValidCard
(=>
(
and
(
instance
?B
Bleeding
)
(
instance
?D
Death
)
(
instance
?H
Human
)
(
instance
?P
Human
)
(
experiencer
?B ?P)
(
orientation
?H ?P
Near
)
(
modalAttribute
(
causes
?B ?D)
Likely
))
(
holdsObligation
?H
(
exists
(?A)
(
and
(
instance
?A
Attaching
)
(
agent
?A ?H)
(
destination
?A ?P)))))
Medicine.kif 44-59
Processo
e' uma
instancia
de
Bleeding
Entidade
e' uma
instancia
de
Morte
Formula
e' uma
instancia
de
Humano
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
experimenta
Processo
Formula
e'
Near
em relacao a
AutonomousAgent
o argumento
Processo
causa
Entidade
tem a
forca
modal
de
Likely
Entidade
Entidade
e' uma
instancia
de
Colar
Entidade
e' um
agente
de
Formula
Entidade
termina
em
AutonomousAgent
e'
obrigado
a executar tarefas de tipo
Formula
(=>
(
and
(
instance
?CHECKIN
CheckInService
)
(
causes
?CHECKIN ?SERVICE)
(
instance
?CHECKOUT
CheckOutService
))
(
finishes
(
WhenFn
?CHECKOUT)
(
WhenFn
?SERVICE)))
Hotel.kif 2196-2203
Processo
e' uma
instancia
de
CheckInService
Processo
causa
Processo
Fisico
e' uma
instancia
de
CheckOutService
tempo
de existencia de
Fisico
termina
em
tempo
de existencia de
Processo
(=>
(
and
(
instance
?E
Motion
)
(
instance
?T
Tremor
)
(
instance
?D
Damper
)
(
patient
?T ?O)
(
part
?D ?O)
(
causes
?E ?T)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
WhenFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U))))
(
greaterThan
?A1 ?A2))
Cars.kif 777-792
Processo
e' uma
instancia
de
Movimento
Processo
e' uma
instancia
de
Tremor
Objeto
e' uma
instancia
de
Damper
Objeto
e' um
patient
de
Processo
Objeto
e' uma &parte de
Objeto
Processo
causa
Processo
Entidade
e' uma
instancia
de
UnitOfLength
physicalAmplitude
Processo
and
Numero Real
Entidade
(s)
vale
durante
tempo
de existencia de
Processo
physicalAmplitude
Processo
and
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?R
Ratchet
)
(
instance
?A
AttachingDevice
)
(
instance
?RO1
Rotating
)
(
attribute
?RO1 ?DIR1)
(
instance
?RO2
Rotating
)
(
attribute
?RO2 ?DIR2)
(
instance
?DIR1
RotationalAttribute
)
(
instance
?DIR2
RotationalAttribute
)
(
not
(
equal
?RO1 ?RO2))
(
causes
?RO1 ?RO2)
(
patient
?RO1
Ratchet
)
(
patient
?RO2 ?A))
(
equal
?DIR1 ?DIR2))
Cars.kif 4935-4950
Entidade
e' uma
instancia
de
Ratchet
Entidade
e' uma
instancia
de
AttachingDevice
Entidade
O1 e' uma
instancia
de
Rotating
Atributo
e' um
atributo
de
Entidade
O1
Entidade
O2 e' uma
instancia
de
Rotating
Atributo
e' um
atributo
de
Entidade
O2
Atributo
e' uma
instancia
de
RotationalAttribute
Atributo
e' uma
instancia
de
RotationalAttribute
Entidade
O1 e'
igual
a
Entidade
O2
Entidade
O1
causa
Entidade
O2
Ratchet
e' um
patient
de
Entidade
O1
Entidade
e' um
patient
de
Entidade
O2
Atributo
e'
igual
a
Atributo
(=>
(
and
(
instance
?SH1
Shaft
)
(
instance
?SH2
Shaft
)
(
not
(
equal
?SH1 ?SH2))
(
instance
?R1
Rotating
)
(
patient
?R1 ?SH1)
(
instance
?R2
Rotating
)
(
patient
?R2 ?SH2)
(
causes
?R1 ?R2)
(
instance
?CV
CVJoint
)
(
connectedEngineeringComponents
?R1 ?CV)
(
connectedEngineeringComponents
?R2 ?CV)
(
holdsDuring
(
WhenFn
?R1)
(
equal
?SH1
(
RotationFn
?N ?T))))
(
holdsDuring
(
WhenFn
?R2)
(
equal
?SH2
(
RotationFn
?N ?T))))
Cars.kif 2120-2139
Entidade
e' uma
instancia
de
Shaft
Entidade
e' uma
instancia
de
Shaft
Entidade
e'
igual
a
Entidade
Componente de Engenharia
e' uma
instancia
de
Rotating
Entidade
e' um
patient
de
Componente de Engenharia
Componente de Engenharia
e' uma
instancia
de
Rotating
Entidade
e' um
patient
de
Componente de Engenharia
Componente de Engenharia
causa
Componente de Engenharia
Componente de Engenharia
e' uma
instancia
de
CVJoint
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
Entidade
e'
igual
a
RotationFn
Entidade
and
Entidade
vale
durante
tempo
de existencia de
Componente de Engenharia
Entidade
e'
igual
a
RotationFn
Entidade
and
Entidade
vale
durante
tempo
de existencia de
Componente de Engenharia
(=>
(
causes
?P1 ?P2)
(
earlier
(
WhenFn
?P1)
(
WhenFn
?P2)))
Merge.kif 3795-3797
Processo
causa
Processo
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
(=>
(
causes
?P1 ?P2)
(
relatedEvent
?P1 ?P2))
Merge.kif 3787-3789
Processo
causa
Processo
relatedEvent
Processo
and
Processo
consequent
(<=>
(
manner
?P
Harmless
)
(
and
(
not
(
instance
?P
Damaging
))
(
not
(
exists
(?P2)
(
and
(
instance
?P2
Damaging
)
(
subProcess
?P2 ?P))))
(
not
(
exists
(?P2)
(
and
(
instance
?P2
Damaging
)
(
causes
?P ?P2))))))
Mid-level-ontology.kif 30284-30298
Processo
e' feito de forma
Harmless
Processo
e' uma
instancia
de
Causar Dano
Processo
2
Processo
2 e' uma
instancia
de
Causar Dano
Processo
2 e' um
sub
-processo de
Processo
Processo
2
Processo
2 e' uma
instancia
de
Causar Dano
Processo
causa
Processo
2
(=>
(
and
(
employs
?ORG ?CO)
(
instance
?D
DoNetworkMessaging
)
(
result
?D ?MSG)
(
attribute
?MSG
NSFW
)
(
instance
?S
Seeing
)
(
patient
?S ?MSG)
(
agent
?S ?CO))
(
modalAttribute
(
exists
(?PROC)
(
and
(
causes
?S ?PROC)
(
suffers
?PROC ?CO)))
Possibility
))
Medicine.kif 3040-3054
AutonomousAgent
emprega
Agente Cognitivo
Processo
e' uma
instancia
de
DoNetworkMessaging
Objeto
e' o
resultado
de
Processo
NSFW
e' um
atributo
de
Objeto
Processo
e' uma
instancia
de
Visao
Objeto
e' um
patient
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
o argumento
Entidade
Processo
causa
Entidade
suffers
Entidade
and
Agente Cognitivo
tem a
forca
modal
de
Possibility
(=>
(
and
(
employs
?ORG ?P)
(
employs
?ORG ?CO)
(
instance
?D
DoNetworkMessaging
)
(
result
?D ?MSG)
(
attribute
?MSG
NSFW
)
(
agent
?D ?P)
(
instance
?S
Seeing
)
(
patient
?S ?MSG)
(
agent
?S ?CO))
(
modalAttribute
(
exists
(?PROC)
(
and
(
causes
?D ?PROC)
(
suffers
?PROC ?P)))
Likely
))
Medicine.kif 3022-3038
AutonomousAgent
emprega
Agente Cognitivo
AutonomousAgent
emprega
Agente Cognitivo
Processo
e' uma
instancia
de
DoNetworkMessaging
Objeto
e' o
resultado
de
Processo
NSFW
e' um
atributo
de
Objeto
Processo
e' um
agente
de
Agente Cognitivo
Processo
e' uma
instancia
de
Visao
Objeto
e' um
patient
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
o argumento
Agente Cognitivo
ROC
Processo
causa
Agente Cognitivo
ROC
suffers
Agente Cognitivo
ROC and
Agente Cognitivo
tem a
forca
modal
de
Likely
(=>
(
and
(
ennervates
?NC ?MC)
(
instance
?N ?NC)
(
instance
?M ?MC)
(
part
?N ?H)
(
part
?M ?H)
(
attribute
?H
Healthy
)
(
instance
?H
Human
))
(
hasPurpose
?N
(
exists
(?NF ?C)
(
and
(
instance
?NF
NerveFiring
)
(
instrument
?NF ?N)
(
instance
?MC
MuscleContraction
)
(
instrument
?MV ?M)
(
causes
?NF ?MC)))))
Anatomy.kif 1923-1939
ennervates
Nerve
and
Musculo
Objeto
e' uma
instancia
de
Nerve
Objeto
e' uma
instancia
de
Musculo
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Healthy
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Humano
Objeto
tem por
fim
Objeto
F
Entidade
Objeto
F e' uma
instancia
de
NerveFiring
Objeto
e' um
instrumento
para
Objeto
F
Musculo
e' uma
instancia
de
MuscleContraction
Objeto
e' um
instrumento
para
Objeto
V
Objeto
F
causa
Musculo
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
AVPUPainStatus
))
(
instance
?P
Pain
)
(
during
(
WhenFn
?P) ?T)
(
experiencer
?P ?H))
(
exists
(?BM)
(
and
(
instance
?BM
BodyMotion
)
(
experiencer
?BM ?H)
(
during
(
WhenFn
?BM) ?T)
(
causes
?P ?BM))))
Medicine.kif 6470-6482
AVPUPainStatus
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
e' uma
instancia
de
Pain
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
AutonomousAgent
experimenta
Processo
Processo
Processo
e' uma
instancia
de
Movimento do Corpo
AutonomousAgent
experimenta
Processo
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Processo
causa
Processo
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
AVPUVerbalStatus
))
(
instance
?S
Speaking
)
(
destination
?S ?H)
(
during
(
WhenFn
?S) ?T))
(
exists
(?IA)
(
and
(
instance
?IA
IntentionalProcess
)
(
agent
?IA ?H)
(
during
(
WhenFn
?IA) ?T)
(
causes
?S ?IA))))
Medicine.kif 6447-6459
AVPUVerbalStatus
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
e' uma
instancia
de
Speaking
Processo
termina
em
AutonomousAgent
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Processo
Processo
e' uma
instancia
de
Processo Intencional
Processo
e' um
agente
de
AutonomousAgent
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Processo
causa
Processo
(=>
(
and
(
instance
?A
Anaphylaxis
)
(
experiencer
?A ?H))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
causes
?A ?D)))
Possibility
))
Medicine.kif 1545-1555
Processo
e' uma
instancia
de
Anaphylaxis
AutonomousAgent
experimenta
Processo
o argumento
Entidade
Entidade
e' uma
instancia
de
Morte
AutonomousAgent
experimenta
Entidade
Processo
causa
Entidade
tem a
forca
modal
de
Possibility
(=>
(
and
(
instance
?A
RheumatoidArthritis
)
(
experiencer
?A ?H))
(
modalAttribute
(
exists
(?JP)
(
and
(
instance
?JP
JointPain
)
(
causes
?A ?JP)))
Likely
))
Medicine.kif 2230-2239
Processo
e' uma
instancia
de
RheumatoidArthritis
AutonomousAgent
experimenta
Processo
o argumento
Entidade
Entidade
e' uma
instancia
de
JointPain
Processo
causa
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?AS
AutomobileShock
)
(
instance
?C
Compressing
)
(
instance
?H
HoleRegion
)
(
attribute
?F
Fluid
)
(
equal
?AS
(
HoleHostFn
?H))
(
contains
?AS ?F)
(
patient
?C ?AS))
(
exists
(?T)
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?F)
(
path
?T ?H)
(
causes
?C ?T))))
Cars.kif 871-885
Objeto auto-conectado
e' uma
instancia
de
AutomobileShock
Processo
e' uma
instancia
de
Compressing
Buraco
e' uma
instancia
de
Buraco
Fluid
e' um
atributo
de
Objeto
Objeto auto-conectado
e'
igual
a o
dono
do buraco
Buraco
Objeto auto-conectado
contem
Objeto
Objeto auto-conectado
e' um
patient
de
Processo
Transferencia
Transferencia
e' uma
instancia
de
Transferencia
objectTransferred
Transferencia
and
Objeto
Buraco
e' o
caminho
ao longo do qual
Transferencia
ocorre
Processo
causa
Transferencia
(=>
(
and
(
instance
?Account
TraditionalSavingsAccount
)
(
instance
?Withdrawal
Withdrawal
)
(
origin
?Withdrawal
(
CurrencyFn
?Account)))
(
not
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?Account))
(
causes
?Withdrawal ?Penalty)))))
FinancialOntology.kif 1115-1124
FinancialAccount
e' uma
instancia
de
TraditionalSavingsAccount
Processo
e' uma
instancia
de
Withdrawal
Processo
tem como
origem
CurrencyFn
FinancialAccount
Processo
Processo
e' uma
instancia
de
Penalty
Processo
termina
em
CurrencyFn
FinancialAccount
Processo
causa
Processo
(=>
(
and
(
instance
?B
Bell
)
(
instance
?I
Impacting
)
(
destination
?I ?B))
(
exists
(?MT)
(
and
(
instance
?MT
MusicalTone
)
(
causes
?I ?MT))))
Music.kif 1256-1264
Entidade
e' uma
instancia
de
Bell
Processo
e' uma
instancia
de
Impactar
Processo
termina
em
Entidade
Processo
Processo
e' uma
instancia
de
MusicalTone
Processo
causa
Processo
(=>
(
and
(
instance
?BP
BrakePedal
)
(
instance
?P
Pushing
)
(
instance
?V
Vehicle
)
(
destination
?P ?BP)
(
eventLocated
?P ?V)
(
part
?BP ?V))
(
hasPurpose
?BP
(
exists
(?FS ?F)
(
and
(
instance
?FS
WearingFrictionSurface
)
(
instance
?F
Friction
)
(
instrument
?F ?FS)
(
causes
?P ?F)))))
Cars.kif 693-707
Objeto
e' uma
instancia
de
BrakePedal
Processo
e' uma
instancia
de
Pushing
Objeto
e' uma
instancia
de
Vehicle
Processo
termina
em
Objeto
eventLocated
Processo
and
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
WearingFrictionSurface
Entidade
e' uma
instancia
de
Friction
Entidade
e' um
instrumento
para
Entidade
Processo
causa
Entidade
(=>
(
and
(
instance
?C
Clutch
)
(
instance
?A
Automobile
)
(
instance
?E
Engine
)
(
instance
?G
Gearbox
)
(
instance
?GEAR
Gear
)
(
part
?GEAR ?G)
(
part
?G ?A)
(
part
?C ?A)
(
part
?E ?A)
(
instance
?M
Motion
)
(
patient
?M ?E)
(
attribute
?C
DeviceOff
))
(
exists
(?M2)
(
and
(
instance
?M2
Motion
)
(
patient
?M2 ?G)
(
causes
?M ?M2))))
Cars.kif 1844-1862
Objeto
e' uma
instancia
de
Clutch
Objeto
e' uma
instancia
de
Automobile
Objeto
e' uma
instancia
de
Engine
Objeto
e' uma
instancia
de
Gearbox
Objeto
EAR e' uma
instancia
de
Gear
Objeto
EAR e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Processo
e' uma
instancia
de
Movimento
Objeto
e' um
patient
de
Processo
DeviceOff
e' um
atributo
de
Objeto
Processo
2
Processo
2 e' uma
instancia
de
Movimento
Objeto
e' um
patient
de
Processo
2
Processo
causa
Processo
2
(=>
(
and
(
instance
?C
Clutch
)
(
instance
?A
Automobile
)
(
instance
?E
Engine
)
(
instance
?G
Gearbox
)
(
instance
?GEAR
Gear
)
(
part
?GEAR ?G)
(
part
?G ?A)
(
part
?C ?A)
(
part
?E ?A)
(
instance
?M
Motion
)
(
patient
?M ?E)
(
attribute
?C
DeviceOn
))
(
not
(
exists
(?M2)
(
and
(
instance
?M2
Motion
)
(
patient
?M2 ?G)
(
causes
?M ?M2)))))
Cars.kif 1823-1842
Objeto
e' uma
instancia
de
Clutch
Objeto
e' uma
instancia
de
Automobile
Objeto
e' uma
instancia
de
Engine
Objeto
e' uma
instancia
de
Gearbox
Objeto
EAR e' uma
instancia
de
Gear
Objeto
EAR e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Processo
e' uma
instancia
de
Movimento
Objeto
e' um
patient
de
Processo
DeviceOn
e' um
atributo
de
Objeto
Processo
2
Processo
2 e' uma
instancia
de
Movimento
Objeto
e' um
patient
de
Processo
2
Processo
causa
Processo
2
(=>
(
and
(
instance
?C
Crankshaft
)
(
instance
?I
IntermittentCombustionEngine
)
(
part
?I ?C))
(
hasPurpose
?C
(
exists
(?E ?R)
(
and
(
instance
?E
Explosion
)
(
instance
?R
Rotating
)
(
patient
?R ?C)
(
eventLocated
?R ?I)
(
causes
?E ?R)))))
Cars.kif 349-361
Objeto
e' uma
instancia
de
Crankshaft
Objeto
e' uma
instancia
de
IntermittentCombustionEngine
Objeto
e' uma &parte de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Explosion
Entidade
e' uma
instancia
de
Rotating
Objeto
e' um
patient
de
Entidade
eventLocated
Entidade
and
Objeto
Entidade
causa
Entidade
(=>
(
and
(
instance
?C
Crushing
)
(
patient
?C ?O)
(
instance
?O
Object
))
(
exists
(?B ?SC)
(
and
(
instance
?B
Breaking
)
(
causes
?C ?B)
(
subProcess
?B ?SC)
(
instance
?SC
ShapeChange
)
(
patient
?B ?O)
(
patient
?SC ?O))))
Food.kif 980-992
Processo
e' uma
instancia
de
Crushing
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Objeto
Processo
Processo
Processo
e' uma
instancia
de
Breaking
Processo
causa
Processo
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Mudanca de Forma
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?CD
CertificateOfDeposit
)
(
maturityDate
?CD ?MaturityDate)
(
instance
?Withdrawal
Withdrawal
)
(
origin
?Withdrawal
(
CurrencyFn
?CD))
(
date
?Withdrawal ?DateOfWithdrawal)
(
before
(
EndFn
?DateOfWithdrawal)
(
BeginFn
?MaturityDate)))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?CD))
(
causes
?Withdrawal ?Penalty))))
FinancialOntology.kif 1087-1099
FinancialAccount
e' uma
instancia
de
CertificateOfDeposit
maturityDate
FinancialAccount
and
Dia
Processo
e' uma
instancia
de
Withdrawal
Processo
tem como
origem
CurrencyFn
FinancialAccount
a
data
de
Processo
e'
Dia
o
fim
de
Dia
comeca
antes
de o
comeco
de
Dia
Processo
Processo
e' uma
instancia
de
Penalty
Processo
termina
em
CurrencyFn
FinancialAccount
Processo
causa
Processo
(=>
(
and
(
instance
?DVU
DisgustedVoiceUtterance
)
(
agent
?DVU ?A))
(
exists
(?D)
(
and
(
instance
?D
Disgust
)
(
experiencer
?D ?A)
(
causes
?D ?DVU))))
emotion.kif 2000-2008
Processo
e' uma
instancia
de
DisgustedVoiceUtterance
Processo
e' um
agente
de
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Disgust
AutonomousAgent
experimenta
Processo
Processo
causa
Processo
(=>
(
and
(
instance
?EBP
EmotionalBehavioralProcess
)
(
agent
?EBP ?A))
(
exists
(?APP)
(
and
(
instance
?APP
AppraisalProcess
)
(
agent
?APP ?A)
(
causes
?APP ?EBP))))
emotion.kif 119-127
Processo
e' uma
instancia
de
EmotionalBehavioralProcess
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
PP
AutonomousAgent
PP e' uma
instancia
de
AppraisalProcess
AutonomousAgent
PP e' um
agente
de
AutonomousAgent
AutonomousAgent
PP
causa
Processo
(=>
(
and
(
instance
?EBP
EmotionalBehavioralProcess
)
(
agent
?EBP ?A))
(
exists
(?FE)
(
and
(
instance
?FE
FacialExpression
)
(
agent
?FE ?A)
(
causes
?EBP ?FE))))
emotion.kif 129-137
Processo
e' uma
instancia
de
EmotionalBehavioralProcess
Processo
e' um
agente
de
AutonomousAgent
Processo
Processo
e' uma
instancia
de
FacialExpression
Processo
e' um
agente
de
AutonomousAgent
Processo
causa
Processo
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?OR)
(
agent
?EV ?A))
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
geographicSubregion
?OR
(
WhereFn
?P
(
BeginFn
(
WhenFn
?EV))))
(
causes
?P ?EV)
(
believes
?A
(
attribute
?P
Dangerous
)))))
MilitaryProcesses.kif 2516-2530
Processo
e' uma
instancia
de
Evacuation
Processo
tem como
origem
Area Geografica
Processo
e' um
agente
de
Agente Cognitivo
Processo
Processo
e' uma
instancia
de
Processo
geographicSubregion
Area Geografica
and o lugar onde
Processo
estava em o
comeco
de
tempo
de existencia de
Processo
Processo
causa
Processo
Agente Cognitivo
acredita
que
Dangerous
e' um
atributo
de
Processo
(=>
(
and
(
instance
?EVP
Process
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?EXP
Experimenting
)
(
treatedUser
?AGENT ?EXP)
(
experimentalVariableProcess
?EXP ?EVP)
(
experiencer
?PROC ?AGENT)
(
experiencer
?EVP ?AGENT)
(
exclusiveEvent
?EXP ?PROC))
(
exists
(?EXPERIMENTER)
(
and
(
instance
?EXPERIMENTER
AutonomousAgent
)
(
experimenter
?EXP ?EXPERIMENTER)
(
believes
?EXPERIMENTER
(
modalAttribute
(
causes
?EVP ?PROC)
Likely
)))))
UXExperimentalTerms.kif 4357-4374
Processo
e' uma
instancia
de
Processo
Humano
e' uma
instancia
de
AutonomousAgent
Experimenting
e' uma
instancia
de
Experimenting
treatedUser
Humano
and
Experimenting
experimentalVariableProcess
Experimenting
and
Processo
Humano
experimenta
Processo
Humano
experimenta
Processo
exclusiveEvent
Experimenting
and
Processo
Experimenting
ERIMENTER
Experimenting
ERIMENTER e' uma
instancia
de
AutonomousAgent
experimenter
Experimenting
and
Experimenting
ERIMENTER
Experimenting
ERIMENTER
acredita
que o argumento
Processo
causa
Processo
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?FB
FanBelt
)
(
instance
?EF
EngineFan
)
(
instance
?A
Automobile
)
(
part
?FB ?A)
(
part
?EF ?A)
(
instance
?M
Motion
)
(
patient
?M ?FB))
(
hasPurpose
?FB
(
exists
(?M2)
(
and
(
instance
?M2
Rotating
)
(
causes
?M ?M2)
(
patient
?M2 ?EF)))))
Cars.kif 2736-2750
Objeto
e' uma
instancia
de
FanBelt
Objeto
e' uma
instancia
de
EngineFan
Objeto
e' uma
instancia
de
Automobile
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Processo
e' uma
instancia
de
Movimento
Objeto
e' um
patient
de
Processo
Objeto
tem por
fim
Processo
2
Processo
2 e' uma
instancia
de
Rotating
Processo
causa
Processo
2
Objeto
e' um
patient
de
Processo
2
(=>
(
and
(
instance
?FVU
FearfulVoiceUtterance
)
(
agent
?FVU ?A))
(
exists
(?F)
(
and
(
instance
?F
Fear
)
(
experiencer
?F ?A)
(
causes
?F ?FVU))))
emotion.kif 2065-2073
Processo
e' uma
instancia
de
FearfulVoiceUtterance
Processo
e' um
agente
de
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Fear
AutonomousAgent
experimenta
Processo
Processo
causa
Processo
(=>
(
and
(
instance
?H
Hallucination
)
(
experiencer
?H ?P))
(
exists
(?PER ?PROP)
(
and
(
instance
?PER
Perception
)
(
experiencer
?PER ?P)
(
causes
?H ?PER)
(
containsInformation
?PER ?PROP)
(
truth
?PROP
False
))))
Mid-level-ontology.kif 6428-6438
Processo
e' uma
instancia
de
Hallucination
AutonomousAgent
experimenta
Processo
AutonomousAgent
ER
AutonomousAgent
ROP
AutonomousAgent
ER e' uma
instancia
de
Percepcao
AutonomousAgent
experimenta
AutonomousAgent
ER
Processo
causa
AutonomousAgent
ER
AutonomousAgent
ER
contem
informacao
AutonomousAgent
ROP
truth
AutonomousAgent
ROP and
False
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