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 3784-3786
(
documentation
causes
JapaneseLanguage
"
Process
の インスタンス間の因果関係。 (
causes
?PROCESS1 ?PROCESS2) とは、
Process
?PROCESS1 の インスタンスが
Process
?PROCESS2のインスタンスをもたらすことを意味する。")
japanese_format.kif 711-713
(
domain
causes
1
Process
)
Merge.kif 3779-3779
Die Zahl 1 Argument von
verursacht
ist ein
fall
von
Process
%n{nicht}
(
domain
causes
2
Process
)
Merge.kif 3780-3780
Die Zahl 2 Argument von
verursacht
ist ein
fall
von
Process
%n{nicht}
(
instance
causes
AsymmetricRelation
)
Merge.kif 3778-3778
verursacht
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
causes
BinaryPredicate
)
Merge.kif 3777-3777
verursacht
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
relatedInternalConcept
causes
causesSubclass
)
Merge.kif 3781-3781
verursacht
ist innerlich verwandt mit
causesSubclass
%n{nicht}
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
Process
ist ein
fall
von
Withdrawal
%n{nicht} und
FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
** Process
beginnet an
CurrencyFn
** FinancialAccount
%n{nicht} und es gibt nicht
** Process
um
** ** Process
ist ein
fall
von
Penalty
%n{nicht} und
** ** Process
endet an
CurrencyFn
** FinancialAccount
%n{nicht} und
** Process
verursacht
** ** Process
%n{nicht} genau dann wenn
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
Wenn
incomeEarned
Human
,
RealNumber
UnitOfMeasure
(s) and
OrganizationalProcess
und
amountCharged
ChargingAFee
and
** ChargingAFee
Amount
** UnitOfMeasure
(s) und
** OrganizationalProcess
verursacht
** ChargingAFee
%n{nicht} und
** RealNumber
ist gleich (
** RealNumber
und
** ChargingAFee
Amount) %n{nicht},
dann
afterTaxIncome
** Human
,
** ** RealNumber
** UnitOfMeasure
(s) and
** OrganizationalProcess
(=>
(
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
Wenn
Process
ist ein
fall
von
AbortedMissionFn
AutonomousAgent
and
MilitaryOperation
%n{nicht} und
** AutonomousAgent
CTION verursacht
** Process
%n{nicht} und
** AutonomousAgent
CTION ist der
agent
von
entity
_A %n{nicht} und
** MilitaryOperation
ist der
agent
von
** entity
_A %n{nicht},
dann
enemy
** entity
_A and
** ** entity
_A
(=>
(
and
(
instance
?Authorization
AuthorizationOfTransaction
)
(
instance
?Transaction
FinancialTransaction
)
(
instance
?Card
BankCard
)
(
instrument
?Transaction ?Card)
(
causes
?Authorization ?Transaction))
(
instance
?Card
ValidCard
))
FinancialOntology.kif 3516-3523
Wenn
Process
ist ein
fall
von
AuthorizationOfTransaction
%n{nicht} und
** Process
ist ein
fall
von
FinancialTransaction
%n{nicht} und
Object
ist ein
fall
von
BankCard
%n{nicht} und
** Object
ist ein
instrument
fuer
** ** Process
%n{nicht} und
** Process
verursacht
** ** Process
%n{nicht},
dann
** Object
ist ein
fall
von
ValidCard
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Bleeding
%n{nicht} und
Entity
ist ein
fall
von
Death
%n{nicht} und
Formula
ist ein
fall
von
Human
%n{nicht} und
AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
** AutonomousAgent
erfaehrt
** Process
%n{nicht} und
** Formula
ist
Near
hinsichlich
** AutonomousAgent
%n{nicht} und die Aussage
** Process
verursacht
** Entity
%n{nicht} hat die modale Kraft von
Likely
,
dann es gibt
** entity
um
** ** entity
ist ein
fall
von
Attaching
%n{nicht} und
** ** entity
ist der
agent
von
** Formula
%n{nicht} und
** ** entity
endet an
** AutonomousAgent
%n{nicht} wird
gezwungen
, die Aufgabe der Art von
** Formula
durchzuf�hren %n{nicht}
(=>
(
and
(
instance
?CHECKIN
CheckInService
)
(
causes
?CHECKIN ?SERVICE)
(
instance
?CHECKOUT
CheckOutService
))
(
finishes
(
WhenFn
?CHECKOUT)
(
WhenFn
?SERVICE)))
Hotel.kif 2196-2203
Wenn
Process
ist ein
fall
von
CheckInService
%n{nicht} und
** Process
verursacht
** Process
%n{nicht} und
Physical
ist ein
fall
von
CheckOutService
%n{nicht},
dann die
zeit
des Bestehens von
** Physical
beendet
die
zeit
des Bestehens von
** ** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Motion
%n{nicht} und
** Process
ist ein
fall
von
Tremor
%n{nicht} und
Object
ist ein
fall
von
Damper
%n{nicht} und
** Object
ist ein
patient
von
** ** Process
%n{nicht} und
** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** Process
verursacht
** ** Process
%n{nicht} und
Entity
ist ein
fall
von
UnitOfLength
%n{nicht} und
physicalAmplitude
** ** Process
and
RealNumber
** Entity
(s) haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht} und
physicalAmplitude
** ** Process
and
** RealNumber
** Entity
(s) haelt
waehrend
sofort
nach
** Process
%n{nicht},
dann
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
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 4912-4927
Wenn
Entity
ist ein
fall
von
Ratchet
%n{nicht} und
** Entity
ist ein
fall
von
AttachingDevice
%n{nicht} und
** Entity
O1 ist ein
fall
von
Rotating
%n{nicht} und
Attribute
ist ein
attribut
von
** Entity
O1 %n{nicht} und
** Entity
O2 ist ein
fall
von
Rotating
%n{nicht} und
** Attribute
ist ein
attribut
von
** Entity
O2 %n{nicht} und
** Attribute
ist ein
fall
von
RotationalAttribute
%n{nicht} und
** ** Attribute
ist ein
fall
von
RotationalAttribute
%n{nicht} und
** Entity
O1 ist gleich
** Entity
O2 nicht und
** Entity
O1 verursacht
** Entity
O2 %n{nicht} und
Ratchet
ist ein
patient
von
** Entity
O1 %n{nicht} und
** ** Entity
ist ein
patient
von
** Entity
O2 %n{nicht},
dann
** Attribute
ist gleich
** ** Attribute
%n{nicht}
(=>
(
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 2097-2116
Wenn
Entity
ist ein
fall
von
Shaft
%n{nicht} und
** Entity
ist ein
fall
von
Shaft
%n{nicht} und
** Entity
ist gleich
** ** Entity
nicht und
EngineeringComponent
ist ein
fall
von
Rotating
%n{nicht} und
** Entity
ist ein
patient
von
** EngineeringComponent
%n{nicht} und
** EngineeringComponent
ist ein
fall
von
Rotating
%n{nicht} und
** ** Entity
ist ein
patient
von
** ** EngineeringComponent
%n{nicht} und
** EngineeringComponent
verursacht
** ** EngineeringComponent
%n{nicht} und
** EngineeringComponent
ist ein
fall
von
CVJoint
%n{nicht} und
** EngineeringComponent
wird mit
** ** EngineeringComponent
angeschlossen und
** ** EngineeringComponent
wird mit
** ** EngineeringComponent
angeschlossen und
** Entity
ist gleich
RotationFn
** entity
and
** entity
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** EngineeringComponent
%n{nicht},
dann
** ** Entity
ist gleich
RotationFn
** ** entity
and
** ** entity
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** ** EngineeringComponent
%n{nicht}
(=>
(
causes
?P1 ?P2)
(
earlier
(
WhenFn
?P1)
(
WhenFn
?P2)))
Merge.kif 3796-3798
Wenn
Process
verursacht
** Process
%n{nicht},
dann die
zeit
des Bestehens von
** Process
geschieht frueh als die
zeit
des Bestehens von
** ** Process
%n{nicht}
(=>
(
causes
?P1 ?P2)
(
relatedEvent
?P1 ?P2))
Merge.kif 3788-3790
Wenn
Process
verursacht
** Process
%n{nicht},
dann
relatedEvent
** Process
and
** ** Process
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 30320-30334
Process
wird in der Weise von
Harmless
durchgef�hrt genau dann wenn
** Process
ist ein
fall
von
Damaging
nicht und es gibt nicht
** Process
2 um
** Process
2 ist ein
fall
von
Damaging
%n{nicht} und
** Process
2 ist ein
subProzess
von
** Process
und es gibt nicht
** Process
2 um
** Process
2 ist ein
fall
von
Damaging
%n{nicht} und
** Process
verursacht
** Process
2 %n{nicht}
(=>
(
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
Wenn
AutonomousAgent
beschaeftigt
CognitiveAgent
%n{nicht} und
Process
ist ein
fall
von
DoNetworkMessaging
%n{nicht} und
Object
ist ein
resultat
von
** Process
%n{nicht} und
NSFW
ist ein
attribut
von
** Object
%n{nicht} und
** Process
ist ein
fall
von
Seeing
%n{nicht} und
** Object
ist ein
patient
von
** ** Process
%n{nicht} und
** ** Process
ist der
agent
von
** CognitiveAgent
%n{nicht},
dann die Aussage es gibt
entity
um
** ** Process
verursacht
** entity
%n{nicht} und
suffers
** entity
and
** CognitiveAgent
hat die modale Kraft von
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
Wenn
AutonomousAgent
beschaeftigt
CognitiveAgent
%n{nicht} und
** AutonomousAgent
beschaeftigt
** CognitiveAgent
%n{nicht} und
Process
ist ein
fall
von
DoNetworkMessaging
%n{nicht} und
Object
ist ein
resultat
von
** Process
%n{nicht} und
NSFW
ist ein
attribut
von
** Object
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** Process
ist ein
fall
von
Seeing
%n{nicht} und
** Object
ist ein
patient
von
** ** Process
%n{nicht} und
** ** Process
ist der
agent
von
** ** CognitiveAgent
%n{nicht},
dann die Aussage es gibt
** CognitiveAgent
ROC um
** Process
verursacht
** CognitiveAgent
ROC %n{nicht} und
suffers
** CognitiveAgent
ROC and
** CognitiveAgent
hat die modale Kraft von
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
Wenn
ennervates
** Nerve
and
** Muscle
und
Object
ist ein
fall
von
** Nerve
%n{nicht} und
** Object
ist ein
fall
von
** Muscle
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
teil
von
** ** Object
%n{nicht} und
Healthy
ist ein
attribut
von
** ** Object
%n{nicht} und
** ** Object
ist ein
fall
von
Human
%n{nicht},
dann
** Object
hat Zweck von es gibt
** Object
F und
** entity
um
** Object
F ist ein
fall
von
NerveFiring
%n{nicht} und
** Object
ist ein
instrument
fuer
** Object
F %n{nicht} und
** ** Muscle
ist ein
fall
von
MuscleContraction
%n{nicht} und
** ** Object
ist ein
instrument
fuer
** ** Object
V %n{nicht} und
** Object
F verursacht
** ** Muscle
%n{nicht} %n{nicht}
(=>
(
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
Wenn
AVPUPainStatus
ist ein
attribut
von
AutonomousAgent
%n{nicht} haelt
waehrend
TimeInterval
%n{nicht} und
Process
ist ein
fall
von
Pain
%n{nicht} und die
zeit
des Bestehens von
** Process
geschieht
waehrend
** TimeInterval
%n{nicht} und
** AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
BodyMotion
%n{nicht} und
** AutonomousAgent
erfaehrt
** ** Process
%n{nicht} und die
zeit
des Bestehens von
** ** Process
geschieht
waehrend
** TimeInterval
%n{nicht} und
** Process
verursacht
** ** Process
%n{nicht}
(=>
(
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
Wenn
AVPUVerbalStatus
ist ein
attribut
von
AutonomousAgent
%n{nicht} haelt
waehrend
TimeInterval
%n{nicht} und
Process
ist ein
fall
von
Speaking
%n{nicht} und
** Process
endet an
** AutonomousAgent
%n{nicht} und die
zeit
des Bestehens von
** Process
geschieht
waehrend
** TimeInterval
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
IntentionalProcess
%n{nicht} und
** ** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und die
zeit
des Bestehens von
** ** Process
geschieht
waehrend
** TimeInterval
%n{nicht} und
** Process
verursacht
** ** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Anaphylaxis
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann die Aussage es gibt
entity
um
** entity
ist ein
fall
von
Death
%n{nicht} und
** AutonomousAgent
erfaehrt
** entity
%n{nicht} und
** Process
verursacht
** entity
%n{nicht} hat die modale Kraft von
Possibility
(=>
(
and
(
instance
?A
RheumatoidArthritis
)
(
experiencer
?A ?H))
(
modalAttribute
(
exists
(?JP)
(
and
(
instance
?JP
JointPain
)
(
causes
?A ?JP)))
Likely
))
Medicine.kif 2230-2239
Wenn
Process
ist ein
fall
von
RheumatoidArthritis
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann die Aussage es gibt
entity
um
** entity
ist ein
fall
von
JointPain
%n{nicht} und
** Process
verursacht
** entity
%n{nicht} hat die modale Kraft von
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
Wenn
SelfConnectedObject
ist ein
fall
von
AutomobileShock
%n{nicht} und
Process
ist ein
fall
von
Compressing
%n{nicht} und
HoleRegion
ist ein
fall
von
HoleRegion
%n{nicht} und
Fluid
ist ein
attribut
von
Object
%n{nicht} und
** SelfConnectedObject
ist gleich
HoleHostFn
** HoleRegion
%n{nicht} und
contains
** SelfConnectedObject
and
** Object
und
** SelfConnectedObject
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
Transfer
um
** Transfer
ist ein
fall
von
Transfer
%n{nicht} und
objectTransferred
** Transfer
and
** Object
und
** HoleRegion
ist der
pfad
entlang dem
** Transfer
geschieht und
** Process
verursacht
** Transfer
%n{nicht}
(=>
(
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
Wenn
FinancialAccount
ist ein
fall
von
TraditionalSavingsAccount
%n{nicht} und
Process
ist ein
fall
von
Withdrawal
%n{nicht} und
** Process
beginnet an
CurrencyFn
** FinancialAccount
%n{nicht},
dann es gibt nicht
** Process
um
** ** Process
ist ein
fall
von
Penalty
%n{nicht} und
** ** Process
endet an
CurrencyFn
** FinancialAccount
%n{nicht} und
** Process
verursacht
** ** Process
%n{nicht}
(=>
(
and
(
instance
?B
Bell
)
(
instance
?I
Impacting
)
(
destination
?I ?B))
(
exists
(?MT)
(
and
(
instance
?MT
MusicalTone
)
(
causes
?I ?MT))))
Music.kif 1256-1264
Wenn
Entity
ist ein
fall
von
Bell
%n{nicht} und
Process
ist ein
fall
von
Impacting
%n{nicht} und
** Process
endet an
** Entity
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
MusicalTone
%n{nicht} und
** Process
verursacht
** ** Process
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
BrakePedal
%n{nicht} und
Process
ist ein
fall
von
Pushing
%n{nicht} und
** Object
ist ein
fall
von
Vehicle
%n{nicht} und
** Process
endet an
** Object
%n{nicht} und
eventLocated
** Process
and
** ** Object
und
** Object
ist ein
teil
von
** ** Object
%n{nicht},
dann
** Object
hat Zweck von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
WearingFrictionSurface
%n{nicht} und
** ** entity
ist ein
fall
von
Friction
%n{nicht} und
** entity
ist ein
instrument
fuer
** ** entity
%n{nicht} und
** Process
verursacht
** ** entity
%n{nicht} %n{nicht}
(=>
(
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 1821-1839
Wenn
Object
ist ein
fall
von
Clutch
%n{nicht} und
** Object
ist ein
fall
von
Automobile
%n{nicht} und
** Object
ist ein
fall
von
Engine
%n{nicht} und
** Object
ist ein
fall
von
Gearbox
%n{nicht} und
** ** Object
EAR ist ein
fall
von
Gear
%n{nicht} und
** ** Object
EAR ist ein
teil
von
** ** Object
%n{nicht} und
** ** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** ** Object
ist ein
teil
von
** ** Object
%n{nicht} und
Process
ist ein
fall
von
Motion
%n{nicht} und
** ** Object
ist ein
patient
von
** Process
%n{nicht} und
DeviceOff
ist ein
attribut
von
** Object
%n{nicht},
dann es gibt
** Process
um
** Process
ist ein
fall
von
Motion
%n{nicht} und
** ** Object
ist ein
patient
von
** Process
%n{nicht} und
** Process
verursacht
** Process
%n{nicht}
(=>
(
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 1800-1819
Wenn
Object
ist ein
fall
von
Clutch
%n{nicht} und
** Object
ist ein
fall
von
Automobile
%n{nicht} und
** Object
ist ein
fall
von
Engine
%n{nicht} und
** Object
ist ein
fall
von
Gearbox
%n{nicht} und
** ** Object
EAR ist ein
fall
von
Gear
%n{nicht} und
** ** Object
EAR ist ein
teil
von
** ** Object
%n{nicht} und
** ** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** ** Object
ist ein
teil
von
** ** Object
%n{nicht} und
Process
ist ein
fall
von
Motion
%n{nicht} und
** ** Object
ist ein
patient
von
** Process
%n{nicht} und
DeviceOn
ist ein
attribut
von
** Object
%n{nicht},
dann es gibt nicht
** Process
um
** Process
ist ein
fall
von
Motion
%n{nicht} und
** ** Object
ist ein
patient
von
** Process
%n{nicht} und
** Process
verursacht
** Process
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
Crankshaft
%n{nicht} und
** Object
ist ein
fall
von
IntermittentCombustionEngine
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht},
dann
** Object
hat Zweck von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Explosion
%n{nicht} und
** ** entity
ist ein
fall
von
Rotating
%n{nicht} und
** Object
ist ein
patient
von
** ** entity
%n{nicht} und
eventLocated
** ** entity
and
** ** Object
und
** entity
verursacht
** ** entity
%n{nicht} %n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Crushing
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
Object
%n{nicht},
dann es gibt
** Process
und
** Process
um
** ** Process
ist ein
fall
von
Breaking
%n{nicht} und
** Process
verursacht
** ** Process
%n{nicht} und
** ** Process
ist ein
subProzess
von
** ** Process
und
** ** Process
ist ein
fall
von
ShapeChange
%n{nicht} und
** Entity
ist ein
patient
von
** ** Process
%n{nicht} und
** Entity
ist ein
patient
von
** ** Process
%n{nicht}
(=>
(
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
Wenn
FinancialAccount
ist ein
fall
von
CertificateOfDeposit
%n{nicht} und
maturityDate
** FinancialAccount
and
Day
und
Process
ist ein
fall
von
Withdrawal
%n{nicht} und
** Process
beginnet an
CurrencyFn
** FinancialAccount
%n{nicht} und
datum
von
** Process
ist
** Day
%n{nicht} und das
ende
von
** ** Day
geschieht
vor
der
anfang
von
** Day
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Penalty
%n{nicht} und
** ** Process
endet an
CurrencyFn
** FinancialAccount
%n{nicht} und
** Process
verursacht
** ** Process
%n{nicht}
(=>
(
and
(
instance
?DVU
DisgustedVoiceUtterance
)
(
agent
?DVU ?A))
(
exists
(?D)
(
and
(
instance
?D
Disgust
)
(
experiencer
?D ?A)
(
causes
?D ?DVU))))
emotion.kif 2000-2008
Wenn
Process
ist ein
fall
von
DisgustedVoiceUtterance
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Disgust
%n{nicht} und
** AutonomousAgent
erfaehrt
** ** Process
%n{nicht} und
** ** Process
verursacht
** Process
%n{nicht}
(=>
(
and
(
instance
?EBP
EmotionalBehavioralProcess
)
(
agent
?EBP ?A))
(
exists
(?APP)
(
and
(
instance
?APP
AppraisalProcess
)
(
agent
?APP ?A)
(
causes
?APP ?EBP))))
emotion.kif 119-127
Wenn
Process
ist ein
fall
von
EmotionalBehavioralProcess
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht},
dann es gibt
** AutonomousAgent
PP um
** AutonomousAgent
PP ist ein
fall
von
AppraisalProcess
%n{nicht} und
** AutonomousAgent
PP ist der
agent
von
** AutonomousAgent
%n{nicht} und
** AutonomousAgent
PP verursacht
** Process
%n{nicht}
(=>
(
and
(
instance
?EBP
EmotionalBehavioralProcess
)
(
agent
?EBP ?A))
(
exists
(?FE)
(
and
(
instance
?FE
FacialExpression
)
(
agent
?FE ?A)
(
causes
?EBP ?FE))))
emotion.kif 129-137
Wenn
Process
ist ein
fall
von
EmotionalBehavioralProcess
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
FacialExpression
%n{nicht} und
** ** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Process
verursacht
** ** Process
%n{nicht}
(=>
(
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 2567-2581
Wenn
Process
ist ein
fall
von
Evacuation
%n{nicht} und
** Process
beginnet an
GeographicArea
%n{nicht} und
** Process
ist der
agent
von
CognitiveAgent
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Process
%n{nicht} und
geographicSubregion
** GeographicArea
and die Stelle
wo
** ** Process
an der
anfang
von die
zeit
des Bestehens von
** Process
war und
** ** Process
verursacht
** Process
%n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
Dangerous
ist ein
attribut
von
** ** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Process
%n{nicht} und
Human
ist ein
fall
von
AutonomousAgent
%n{nicht} und
Experimenting
ist ein
fall
von
Experimenting
%n{nicht} und
treatedUser
** Human
and
** Experimenting
und
experimentalVariableProcess
** Experimenting
and
** Process
und
** Human
erfaehrt
** Process
%n{nicht} und
** Human
erfaehrt
** Process
%n{nicht} und
exclusiveEvent
** Experimenting
and
** ** Process
,
dann es gibt
** Experimenting
ERIMENTER um
** Experimenting
ERIMENTER ist ein
fall
von
AutonomousAgent
%n{nicht} und
experimenter
** Experimenting
and
** Experimenting
ERIMENTER und
** Experimenting
ERIMENTER glaubt %n{nicht}, dass die Aussage
** Process
verursacht
** ** Process
%n{nicht} hat die modale Kraft von
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 2713-2727
Wenn
Object
ist ein
fall
von
FanBelt
%n{nicht} und
** Object
ist ein
fall
von
EngineFan
%n{nicht} und
** Object
ist ein
fall
von
Automobile
%n{nicht} und
** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** ** Object
ist ein
teil
von
** ** Object
%n{nicht} und
Process
ist ein
fall
von
Motion
%n{nicht} und
** Object
ist ein
patient
von
** Process
%n{nicht},
dann
** Object
hat Zweck von es gibt
** Process
2 um
** Process
2 ist ein
fall
von
Rotating
%n{nicht} und
** Process
verursacht
** Process
2 %n{nicht} und
** ** Object
ist ein
patient
von
** Process
2 %n{nicht} %n{nicht}
(=>
(
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 6423-6433
Wenn
Process
ist ein
fall
von
Hallucination
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann es gibt
** AutonomousAgent
ER und
** AutonomousAgent
ROP um
** AutonomousAgent
ER ist ein
fall
von
Perception
%n{nicht} und
** AutonomousAgent
erfaehrt
** AutonomousAgent
ER %n{nicht} und
** Process
verursacht
** AutonomousAgent
ER %n{nicht} und
** AutonomousAgent
ER enthaelt Informationen ueber
** AutonomousAgent
ROP und
truth
** AutonomousAgent
ROP and
False
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3432-3461
Wenn
WearableItem
ist ein
fall
von
HearingProtection
%n{nicht} und
Animal
ist ein
fall
von
Human
%n{nicht} und
wears
** Animal
and
** WearableItem
,
dann
** WearableItem
hat Zweck von es gibt
entity
,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
Process
%n{nicht} und
** ** entity
ist eine
teilkategorie
von die
kategorie
die
** ** entity
beschreibt und
** entity
verhindert
das Auftreten von
** ** entity
und
** WearableItem
ist ein
instrument
fuer
** entity
%n{nicht} %n{nicht}
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