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
Il numero 1 argomenti di
causes
è un
istanza
di
Processo
(
domain
causes
2
Process
)
Merge.kif 3779-3779
Il numero 2 argomenti di
causes
è un
istanza
di
Processo
(
instance
causes
AsymmetricRelation
)
Merge.kif 3777-3777
causes
è un'
istanza
di
RelazioneAsimmetrica
(
instance
causes
BinaryPredicate
)
Merge.kif 3776-3776
causes
è un'
istanza
di
PredicatoBinario
(
relatedInternalConcept
causes
causesSubclass
)
Merge.kif 3780-3780
causes
è
interamente
correlato 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
è un'
istanza
di
Withdrawal
FinancialAccount
è un'
istanza
di
FinancialAccount
Processo
si
originas in
CurrencyFn
FinancialAccount
Processo
Processo
è un'
istanza
di
Penalty
Processo
fine
s in
CurrencyFn
FinancialAccount
Processo
causa
s
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
Umano
,
NumeroReale
Unit�DiMisura
(s and
ProcessoOrganizzativo
amountCharged
ChargingAFee
and
ChargingAFee
Amount
Unit�DiMisura
(s
ProcessoOrganizzativo
causa
s
ChargingAFee
NumeroReale
is
uguale
a (
NumeroReale
+
ChargingAFee
Amount
afterTaxIncome
Umano
,
NumeroReale
Unit�DiMisura
(s and
ProcessoOrganizzativo
(=>
(
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
è un'
istanza
di
AbortedMissionFn
AutonomousAgent
and
MilitaryOperation
AutonomousAgent
CTION
causa
s
Processo
AutonomousAgent
CTION è un
agente
di
Entit�
_A
MilitaryOperation
è un
agente
di
Entit�
_A
enemy
Entit�
_A and
Entit�
_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
è un'
istanza
di
AuthorizationOfTransaction
Processo
è un'
istanza
di
ScambioFinanziario
Oggetto
è un'
istanza
di
BankCard
Oggetto
è uno
strumento
per
Processo
Processo
causa
s
Processo
Oggetto
è un'
istanza
di
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
è un'
istanza
di
Bleeding
Entit�
è un'
istanza
di
Morte
Formula
è un'
istanza
di
Umano
AutonomousAgent
è un'
istanza
di
Umano
AutonomousAgent
esperisce
s
Processo
Formula
è
Near
a
AutonomousAgent
l'affermazione
Processo
causa
s
Entit�
ha il modello di forza di
Likely
Entit�
Entit�
è un'
istanza
di
Attaccare
Entit�
è un
agente
di
Formula
Entit�
fine
s in
AutonomousAgent
è
obbligato
a compiere il compito di tipo
Formula
(=>
(
and
(
instance
?CHECKIN
CheckInService
)
(
causes
?CHECKIN ?SERVICE)
(
instance
?CHECKOUT
CheckOutService
))
(
finishes
(
WhenFn
?CHECKOUT)
(
WhenFn
?SERVICE)))
Hotel.kif 2196-2203
Processo
è un'
istanza
di
CheckInService
Processo
causa
s
Processo
Entit�Concreta
è un'
istanza
di
CheckOutService
il
tempo
di esistenza di
Entit�Concreta
finisce
es il
tempo
di esistenza di
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
è un'
istanza
di
Movimento
Processo
è un'
istanza
di
Tremor
Oggetto
è un'
istanza
di
Damper
Oggetto
è un
paziente
di
Processo
Oggetto
è una
parte
di
Oggetto
Processo
causa
s
Processo
Entit�
è un'
istanza
di
UnitOfLength
physicalAmplitude
Processo
and
NumeroReale
Entit�
(s vales
durante
il
tempo
di esistenza di
Processo
physicalAmplitude
Processo
and
NumeroReale
Entit�
(s vales
durante
immediatamente
dopo
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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 4927-4942
Entit�
è un'
istanza
di
Ratchet
Entit�
è un'
istanza
di
AttachingDevice
Entit�
O1 è un'
istanza
di
Rotating
attribute
Entit�
O1 and
Attributo
Entit�
O2 è un'
istanza
di
Rotating
attribute
Entit�
O2 and
Attributo
Attributo
è un'
istanza
di
RotationalAttribute
Attributo
è un'
istanza
di
RotationalAttribute
Entit�
O1 is
uguale
a
Entit�
O2
Entit�
O1
causa
s
Entit�
O2
Ratchet
è un
paziente
di
Entit�
O1
Entit�
è un
paziente
di
Entit�
O2
Attributo
is
uguale
a
Attributo
(=>
(
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 2114-2133
Entit�
è un'
istanza
di
Shaft
Entit�
è un'
istanza
di
Shaft
Entit�
is
uguale
a
Entit�
Meccanismo
è un'
istanza
di
Rotating
Entit�
è un
paziente
di
Meccanismo
Meccanismo
è un'
istanza
di
Rotating
Entit�
è un
paziente
di
Meccanismo
Meccanismo
causa
s
Meccanismo
Meccanismo
è un'
istanza
di
CVJoint
Meccanismo
è
connesso
a
Meccanismo
Meccanismo
è
connesso
a
Meccanismo
Entit�
is
uguale
a
RotationFn
Entit�
and
Entit�
vales
durante
il
tempo
di esistenza di
Meccanismo
Entit�
is
uguale
a
RotationFn
Entit�
and
Entit�
vales
durante
il
tempo
di esistenza di
Meccanismo
(=>
(
causes
?P1 ?P2)
(
earlier
(
WhenFn
?P1)
(
WhenFn
?P2)))
Merge.kif 3795-3797
Processo
causa
s
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
(=>
(
causes
?P1 ?P2)
(
relatedEvent
?P1 ?P2))
Merge.kif 3787-3789
Processo
causa
s
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 30296-30310
Processo
è eseguito nel modo
Harmless
Processo
è un'
istanza
di
Danneggiare
Processo
2
Processo
2 è un'
istanza
di
Danneggiare
Processo
2 è un
sottoprocesso
di
Processo
Processo
2
Processo
2 è un'
istanza
di
Danneggiare
Processo
causa
s
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
impiega
s
AgenteCognitivo
Processo
è un'
istanza
di
DoNetworkMessaging
Oggetto
è un
risultato
di
Processo
attribute
Oggetto
and
NSFW
Processo
è un'
istanza
di
Vista
Oggetto
è un
paziente
di
Processo
Processo
è un
agente
di
AgenteCognitivo
l'affermazione
Entit�
Processo
causa
s
Entit�
suffers
Entit�
and
AgenteCognitivo
ha il modello di forza di
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
impiega
s
AgenteCognitivo
AutonomousAgent
impiega
s
AgenteCognitivo
Processo
è un'
istanza
di
DoNetworkMessaging
Oggetto
è un
risultato
di
Processo
attribute
Oggetto
and
NSFW
Processo
è un
agente
di
AgenteCognitivo
Processo
è un'
istanza
di
Vista
Oggetto
è un
paziente
di
Processo
Processo
è un
agente
di
AgenteCognitivo
l'affermazione
AgenteCognitivo
ROC
Processo
causa
s
AgenteCognitivo
ROC
suffers
AgenteCognitivo
ROC and
AgenteCognitivo
ha il modello di forza di
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
Muscolo
Oggetto
è un'
istanza
di
Nerve
Oggetto
è un'
istanza
di
Muscolo
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
attribute
Oggetto
and
Healthy
Oggetto
è un'
istanza
di
Umano
Oggetto
ha
scopo
Oggetto
F
Entit�
Oggetto
F è un'
istanza
di
NerveFiring
Oggetto
è uno
strumento
per
Oggetto
F
Muscolo
è un'
istanza
di
MuscleContraction
Oggetto
è uno
strumento
per
Oggetto
V
Oggetto
F
causa
s
Muscolo
(=>
(
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
attribute
AutonomousAgent
and
AVPUPainStatus
vales
durante
IntervalloTemporale
Processo
è un'
istanza
di
Pain
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
AutonomousAgent
esperisce
s
Processo
Processo
Processo
è un'
istanza
di
MovimentoCorporeo
AutonomousAgent
esperisce
s
Processo
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
Processo
causa
s
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
attribute
AutonomousAgent
and
AVPUVerbalStatus
vales
durante
IntervalloTemporale
Processo
è un'
istanza
di
Speaking
Processo
fine
s in
AutonomousAgent
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
Processo
Processo
è un'
istanza
di
ProcessoIntenzionale
Processo
è un
agente
di
AutonomousAgent
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
Processo
causa
s
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
è un'
istanza
di
Anaphylaxis
AutonomousAgent
esperisce
s
Processo
l'affermazione
Entit�
Entit�
è un'
istanza
di
Morte
AutonomousAgent
esperisce
s
Entit�
Processo
causa
s
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
instance
?A
RheumatoidArthritis
)
(
experiencer
?A ?H))
(
modalAttribute
(
exists
(?JP)
(
and
(
instance
?JP
JointPain
)
(
causes
?A ?JP)))
Likely
))
Medicine.kif 2230-2239
Processo
è un'
istanza
di
RheumatoidArthritis
AutonomousAgent
esperisce
s
Processo
l'affermazione
Entit�
Entit�
è un'
istanza
di
JointPain
Processo
causa
s
Entit�
ha il modello di forza di
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
OggettoIntegro
è un'
istanza
di
AutomobileShock
Processo
è un'
istanza
di
Compressing
apertura
è un'
istanza
di
apertura
attribute
Oggetto
and
Fluid
OggettoIntegro
is
uguale
a
HoleHostFn
apertura
contains
OggettoIntegro
and
Oggetto
OggettoIntegro
è un
paziente
di
Processo
Trasferimento
Trasferimento
è un'
istanza
di
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
apertura
è
cammino
mentre
Trasferimento
si verifica
Processo
causa
s
Trasferimento
(=>
(
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
è un'
istanza
di
TraditionalSavingsAccount
Processo
è un'
istanza
di
Withdrawal
Processo
si
originas in
CurrencyFn
FinancialAccount
Processo
Processo
è un'
istanza
di
Penalty
Processo
fine
s in
CurrencyFn
FinancialAccount
Processo
causa
s
Processo
(=>
(
and
(
instance
?B
Bell
)
(
instance
?I
Impacting
)
(
destination
?I ?B))
(
exists
(?MT)
(
and
(
instance
?MT
MusicalTone
)
(
causes
?I ?MT))))
Music.kif 1256-1264
Entit�
è un'
istanza
di
Bell
Processo
è un'
istanza
di
Impatto
Processo
fine
s in
Entit�
Processo
Processo
è un'
istanza
di
MusicalTone
Processo
causa
s
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
Oggetto
è un'
istanza
di
BrakePedal
Processo
è un'
istanza
di
Pushing
Oggetto
è un'
istanza
di
Vehicle
Processo
fine
s in
Oggetto
eventLocated
Processo
and
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
WearingFrictionSurface
Entit�
è un'
istanza
di
Friction
Entit�
è uno
strumento
per
Entit�
Processo
causa
s
Entit�
(=>
(
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 1838-1856
Oggetto
è un'
istanza
di
Clutch
Oggetto
è un'
istanza
di
Automobile
Oggetto
è un'
istanza
di
Engine
Oggetto
è un'
istanza
di
Gearbox
Oggetto
EAR è un'
istanza
di
Gear
Oggetto
EAR è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Processo
è un'
istanza
di
Movimento
Oggetto
è un
paziente
di
Processo
attribute
Oggetto
and
DeviceOff
Processo
2
Processo
2 è un'
istanza
di
Movimento
Oggetto
è un
paziente
di
Processo
2
Processo
causa
s
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 1817-1836
Oggetto
è un'
istanza
di
Clutch
Oggetto
è un'
istanza
di
Automobile
Oggetto
è un'
istanza
di
Engine
Oggetto
è un'
istanza
di
Gearbox
Oggetto
EAR è un'
istanza
di
Gear
Oggetto
EAR è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Processo
è un'
istanza
di
Movimento
Oggetto
è un
paziente
di
Processo
attribute
Oggetto
and
DeviceOn
Processo
2
Processo
2 è un'
istanza
di
Movimento
Oggetto
è un
paziente
di
Processo
2
Processo
causa
s
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
Oggetto
è un'
istanza
di
Crankshaft
Oggetto
è un'
istanza
di
IntermittentCombustionEngine
Oggetto
è una
parte
di
Oggetto
Oggetto
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Explosion
Entit�
è un'
istanza
di
Rotating
Oggetto
è un
paziente
di
Entit�
eventLocated
Entit�
and
Oggetto
Entit�
causa
s
Entit�
(=>
(
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
è un'
istanza
di
Crushing
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Oggetto
Processo
Processo
Processo
è un'
istanza
di
Breaking
Processo
causa
s
Processo
Processo
è un
sottoprocesso
di
Processo
Processo
è un'
istanza
di
CambiamentoDiForma
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
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
è un'
istanza
di
CertificateOfDeposit
maturityDate
FinancialAccount
and
Giorno
Processo
è un'
istanza
di
Withdrawal
Processo
si
originas in
CurrencyFn
FinancialAccount
data
di
Processo
è
Giorno
la
fine
di
Giorno
succede%{s}
prima
di l'
inizio
di
Giorno
Processo
Processo
è un'
istanza
di
Penalty
Processo
fine
s in
CurrencyFn
FinancialAccount
Processo
causa
s
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
è un'
istanza
di
DisgustedVoiceUtterance
Processo
è un
agente
di
AutonomousAgent
Processo
Processo
è un'
istanza
di
Disgust
AutonomousAgent
esperisce
s
Processo
Processo
causa
s
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
è un'
istanza
di
EmotionalBehavioralProcess
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
PP
AutonomousAgent
PP è un'
istanza
di
AppraisalProcess
AutonomousAgent
PP è un
agente
di
AutonomousAgent
AutonomousAgent
PP
causa
s
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
è un'
istanza
di
EmotionalBehavioralProcess
Processo
è un
agente
di
AutonomousAgent
Processo
Processo
è un'
istanza
di
FacialExpression
Processo
è un
agente
di
AutonomousAgent
Processo
causa
s
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
è un'
istanza
di
Evacuation
Processo
si
originas in
AreaGeografica
Processo
è un
agente
di
AgenteCognitivo
Processo
Processo
è un'
istanza
di
Processo
geographicSubregion
AreaGeografica
and il luogo
dove
Processo
era in l'
inizio
di il
tempo
di esistenza di
Processo
Processo
causa
s
Processo
AgenteCognitivo
crede
s
attribute
Processo
and
Dangerous
(=>
(
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
è un'
istanza
di
Processo
Umano
è un'
istanza
di
AutonomousAgent
Experimenting
è un'
istanza
di
Experimenting
treatedUser
Umano
and
Experimenting
experimentalVariableProcess
Experimenting
and
Processo
Umano
esperisce
s
Processo
Umano
esperisce
s
Processo
exclusiveEvent
Experimenting
and
Processo
Experimenting
ERIMENTER
Experimenting
ERIMENTER è un'
istanza
di
AutonomousAgent
experimenter
Experimenting
and
Experimenting
ERIMENTER
Experimenting
ERIMENTER
crede
s l'affermazione
Processo
causa
s
Processo
ha il modello di forza di
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 2730-2744
Oggetto
è un'
istanza
di
FanBelt
Oggetto
è un'
istanza
di
EngineFan
Oggetto
è un'
istanza
di
Automobile
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Processo
è un'
istanza
di
Movimento
Oggetto
è un
paziente
di
Processo
Oggetto
ha
scopo
Processo
2
Processo
2 è un'
istanza
di
Rotating
Processo
causa
s
Processo
2
Oggetto
è un
paziente
di
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
è un'
istanza
di
FearfulVoiceUtterance
Processo
è un
agente
di
AutonomousAgent
Processo
Processo
è un'
istanza
di
Fear
AutonomousAgent
esperisce
s
Processo
Processo
causa
s
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 6429-6439
Processo
è un'
istanza
di
Hallucination
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
ER
AutonomousAgent
ROP
AutonomousAgent
ER è un'
istanza
di
Percezione
AutonomousAgent
esperisce
s
AutonomousAgent
ER
Processo
causa
s
AutonomousAgent
ER
AutonomousAgent
ER
contiene
s informazione
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