and
(=>
(
and
(
albumCoverImage
?A ?I)
(
instance
?CD
(
AlbumCopiesFn
?A ?DS))
(
contains
?C ?CD))
(
modalAttribute
(
part
?I
(
FrontFn
?C))
Likely
))
Music.kif 316-322
Wenn
albumCoverImage
Album
and
Image
und
Object
ist ein
fall
von
AlbumCopiesFn
** Album
and
** DataStorageDevice
%n{nicht} und
contains
SelfConnectedObject
and
** Object
,
dann die Aussage
** Image
ist ein
teil
von die
frontseite
von
** SelfConnectedObject
%n{nicht} hat die modale Kraft von
Likely
(=>
(
and
(
allergic
?H ?S)
(
instance
?SUB ?S)
(
holdsDuring
?T
(
meetsSpatially
?SUB ?H)))
(
modalAttribute
(
exists
(?AR)
(
and
(
instance
?AR
AllergicReaction
)
(
experiencer
?AR ?H)
(
overlapsTemporally
?T
(
WhenFn
?AR))
(
before
(
BeginFn
?T)
(
BeginFn
(
WhenFn
?AR)))))
Likely
))
Mid-level-ontology.kif 6230-6243
Wenn
allergic
Human
and
** Substance
und
** Substance
UB ist ein
fall
von
** ** Substance
%n{nicht} und
** ** Substance
UB
schliesst
** Human
raeumlich an haelt
waehrend
TimePosition
%n{nicht},
dann die Aussage es gibt
** entity
um
** ** entity
ist ein
fall
von
AllergicReaction
%n{nicht} und
** Human
erfaehrt
** ** entity
%n{nicht} und die
zeit
des Bestehens von
** ** entity
deckt
sich mit
** TimePosition
%n{nicht} und der
anfang
von
** TimePosition
geschieht
vor
der
anfang
von die
zeit
des Bestehens von
** ** entity
%n{nicht} hat die modale Kraft von
Likely
(=>
(
and
(
amount
?S ?CO
(
MeasureFn
?N ?U))
(
instance
?SI ?S)
(
measure
?SI
(
MeasureFn
?N2 ?U))
(
part
?SI ?CO))
(
exists
(?L)
(
and
(
inList
(
MeasureFn
?N2 ?U) ?L)
(
equal
?L
(
AmountsFn
?S ?CO ?U))
(
equal
?N
(
ListSumFn
?L)))))
Merge.kif 7596-7611
Wenn
amount
** Substance
,
CorpuscularObject
and
RealNumber
UnitOfMass
(s) und
** Substance
I ist ein
fall
von
** ** Substance
%n{nicht} und das
mass
von
** ** Substance
I ist
** RealNumber
2
** UnitOfMass
(s) %n{nicht} und
** ** Substance
I ist ein
teil
von
** CorpuscularObject
%n{nicht},
dann es gibt
List
um
** RealNumber
2
** UnitOfMass
(s) ist ein
Mitglied
von
** List
und
** List
ist gleich
AmountsFn
** ** Substance
,
** CorpuscularObject
and
** UnitOfMass
%n{nicht} und
** RealNumber
ist gleich
ListSumFn
** List
%n{nicht}
(=>
(
and
(
amountDue
?Account ?Amount ?DueDate)
(
accountHolder
?Account ?Agent))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
instance
?Payment
Payment
)
(
transactionAmount
?Payment ?Amount)
(
or
(
destination
?Payment
(
CurrencyFn
?Account))
(
origin
?Payment
(
CurrencyFn
?Account)))
(
date
?Payment ?Date)
(
beforeOrEqual
(
EndFn
?Date)
(
BeginFn
?DueDate)))) ?Agent))
FinancialOntology.kif 655-667
Wenn
amountDue
FinancialAccount
,
CurrencyMeasure
and
TimePosition
und
accountHolder
** FinancialAccount
and
CognitiveAgent
,
dann
** CognitiveAgent
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
and
(
antagonistMuscles
?A ?B)
(
instance
?E
Extension
)
(
instrument
?E ?AC)
(
moves
?E ?BC)
(
instance
?AC ?A)
(
instance
?BC ?B)
(
part
?AC ?H)
(
part
?BC ?H)
(
instance
?H
Animal
))
(
capability
Flexion
instrument
?BC))
Mid-level-ontology.kif 10684-10695
Wenn
antagonistMuscles
** Muscle
and
** ** Muscle
und
Motion
ist ein
fall
von
Extension
%n{nicht} und
** Muscle
C ist ein
instrument
fuer
** Motion
%n{nicht} und
moves
** Motion
and
** ** Muscle
C und
** ** Muscle
C ist ein
fall
von
** ** Muscle
%n{nicht} und
** ** ** Muscle
C ist ein
fall
von
** ** ** Muscle
%n{nicht} und
** ** Muscle
C ist ein
teil
von
** Object
%n{nicht} und
** ** ** Muscle
C ist ein
teil
von
** ** Object
%n{nicht} und
** ** Object
ist ein
fall
von
Animal
%n{nicht},
dann
** ** ** Muscle
C ist faehig %n{nicht}, in der Rolle
instrument
Flexion
zu tun
(=>
(
and
(
antagonistMuscles
?A ?B)
(
instance
?F
Flexion
)
(
instrument
?F ?AC)
(
moves
?F ?BC)
(
instance
?AC ?A)
(
instance
?BC ?B)
(
part
?AC ?H)
(
part
?BC ?H)
(
instance
?H
Animal
))
(
capability
Extension
instrument
?BC))
Mid-level-ontology.kif 10671-10682
Wenn
antagonistMuscles
** Muscle
and
** ** Muscle
und
Motion
ist ein
fall
von
Flexion
%n{nicht} und
** Muscle
C ist ein
instrument
fuer
** Motion
%n{nicht} und
moves
** Motion
and
** ** Muscle
C und
** ** Muscle
C ist ein
fall
von
** ** Muscle
%n{nicht} und
** ** ** Muscle
C ist ein
fall
von
** ** ** Muscle
%n{nicht} und
** ** Muscle
C ist ein
teil
von
** Object
%n{nicht} und
** ** ** Muscle
C ist ein
teil
von
** ** Object
%n{nicht} und
** ** Object
ist ein
fall
von
Animal
%n{nicht},
dann
** ** ** Muscle
C ist faehig %n{nicht}, in der Rolle
instrument
Extension
zu tun
(=>
(
and
(
applicableRelation
?O ?R)
(
instance
?O ?OC)
(
domain
?R 1 ?DC))
(
or
(
equal
?OC ?DC)
(
subclass
?OC ?DC)))
Mid-level-ontology.kif 31383-31390
Wenn
applicableRelation
Object
and
Relation
und
** Object
ist ein
fall
von
** Object
C %n{nicht} und die Zahl 1 Argument von
** Relation
ist ein
fall
von
** Class
%n{nicht},
dann
** Object
C ist gleich
** ** Class
%n{nicht} oder
** Object
C ist eine
teilkategorie
von
** ** Class
(=>
(
and
(
approximateDiameter
?O
(
MeasureFn
?L ?LM))
(
sphereRadius
?S
(
MeasureFn
(
DivisionFn
?L 2.0) ?LM))
(
measure
?S
(
MeasureFn
?V1 ?VM))
(
measure
?O
(
MeasureFn
?V2 ?VM))
(
instance
?LM
UnitOfLength
)
(
instance
?VM
UnitOfVolume
))
(
equal
?V1 ?V2))
Mid-level-ontology.kif 17947-17958
Wenn
approximateDiameter
SelfConnectedObject
and
RealNumber
** RealNumber
M(s) und
sphereRadius
Object
and
** RealNumber
und 2.0
** RealNumber
M(s) und das
mass
von
** Object
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} und das
mass
von
** SelfConnectedObject
ist
** RealNumber
** ** UnitOfMeasure
(s) %n{nicht} und
** RealNumber
M ist ein
fall
von
UnitOfLength
%n{nicht} und
** ** UnitOfMeasure
ist ein
fall
von
UnitOfVolume
%n{nicht},
dann
** ** RealNumber
ist gleich
** ** RealNumber
%n{nicht}
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?TOTAL
AreaMeasure
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
arableLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2080-2090
Wenn
arableLandArea
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** RealNumber
ist
groesserAlsOderGleich
0.0 %n{nicht} und
totalArea
** GeographicArea
and
** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist ein
fall
von
AreaMeasure
%n{nicht} und
** RealNumber
ist gleich
** RealNumber
und
** ** RealNumber
%n{nicht},
dann
arableLandArea
** GeographicArea
and
** ** RealNumber
** UnitOfMeasure
(s)
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?ARABLE)
(
and
(
instance
?ARABLE
ArableLand
)
(
geographicSubregion
?ARABLE ?REGION)
(
measure
?ARABLE
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2092-2106
Wenn
arableLandArea
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** RealNumber
ist
groesserAlsOderGleich
0.0 %n{nicht} und
totalArea
** GeographicArea
and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfArea
%n{nicht},
dann es gibt
** GeographicArea
um
** ** GeographicArea
ist ein
fall
von
ArableLand
%n{nicht} und
geographicSubregion
** ** GeographicArea
and
** GeographicArea
und das
mass
von
** ** GeographicArea
ist
** RealNumber
und
** ** RealNumber
** UnitOfMeasure
(s) %n{nicht}
(=>
(
and
(
attribute
(
GovernmentFn
?AREA) ?TYPE)
(
instance
?TYPE
FormOfGovernment
))
(
governmentType
?AREA ?TYPE))
Government.kif 148-152
Wenn
FormOfGovernment
ist ein
attribut
von
GovernmentFn
GeopoliticalArea
%n{nicht} und
** FormOfGovernment
ist ein
fall
von
FormOfGovernment
%n{nicht},
dann
governmentType
** GeopoliticalArea
and
** FormOfGovernment
(=>
(
and
(
attribute
?A ?ATTR)
(
instance
?ATTR
AlbumAttribute
))
(
instance
?A
Album
))
Music.kif 478-482
Wenn
Attribute
ist ein
attribut
von
Object
%n{nicht} und
** Attribute
ist ein
fall
von
AlbumAttribute
%n{nicht},
dann
** Object
ist ein
fall
von
Album
%n{nicht}
(=>
(
and
(
attribute
?A
AppraisalAsJustTreatment
)
(
instance
?AJT
AppraisalProcess
)
(
agent
?AJT ?A))
(
exists
(?P ?A2)
(
and
(
instance
?P
Process
)
(
refers
?AJT ?P)
(
agent
?P ?A2)
(
not
(
equal
?A ?A2))
(
patient
?P ?A)
(
wants
?A ?P))))
emotion.kif 374-387
Wenn
AppraisalAsJustTreatment
ist ein
attribut
von
CognitiveAgent
%n{nicht} und
** CognitiveAgent
JT ist ein
fall
von
AppraisalProcess
%n{nicht} und
** CognitiveAgent
JT ist der
agent
von
** CognitiveAgent
%n{nicht},
dann es gibt
** Process
und
** CognitiveAgent
2 um
** ** Process
ist ein
fall
von
Process
%n{nicht} und
** CognitiveAgent
JT umfasst einen
hinweis
auf
** ** Process
und
** ** Process
ist der
agent
von
** CognitiveAgent
2 %n{nicht} und
** CognitiveAgent
ist gleich
** CognitiveAgent
2 nicht und
** CognitiveAgent
ist ein
patient
von
** ** Process
%n{nicht} und
** CognitiveAgent
wuenscht
** ** Process
%n{nicht}
(=>
(
and
(
attribute
?A
AppraisalAsUnjustTreatment
)
(
instance
?AUJ
AppraisalProcess
)
(
agent
?AUJ ?A))
(
exists
(?P ?A2)
(
and
(
instance
?P
Process
)
(
refers
?AUJ ?P)
(
agent
?P ?A2)
(
not
(
equal
?A ?A2))
(
patient
?P ?A)
(
not
(
wants
?A ?P)))))
emotion.kif 349-363
Wenn
AppraisalAsUnjustTreatment
ist ein
attribut
von
CognitiveAgent
%n{nicht} und
** CognitiveAgent
UJ ist ein
fall
von
AppraisalProcess
%n{nicht} und
** CognitiveAgent
UJ ist der
agent
von
** CognitiveAgent
%n{nicht},
dann es gibt
** Process
und
** CognitiveAgent
2 um
** ** Process
ist ein
fall
von
Process
%n{nicht} und
** CognitiveAgent
UJ umfasst einen
hinweis
auf
** ** Process
und
** ** Process
ist der
agent
von
** CognitiveAgent
2 %n{nicht} und
** CognitiveAgent
ist gleich
** CognitiveAgent
2 nicht und
** CognitiveAgent
ist ein
patient
von
** ** Process
%n{nicht} und
** CognitiveAgent
wuenscht
** ** Process
nicht
(=>
(
and
(
attribute
?A
Founder
)
(
instance
?A
Human
))
(
exists
(?PROC)
(
and
(
instance
?PROC
Founding
)
(
agent
?PROC ?A))))
Biography.kif 223-230
Wenn
Founder
ist ein
attribut
von
AutonomousAgent
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
Human
%n{nicht},
dann es gibt
Process
um
** Process
ist ein
fall
von
Founding
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht}
(=>
(
and
(
attribute
?AC
TwoFactorAuthentication
)
(
loggedInDuring
?A ?AC ?T))
(
exists
(?TF)
(
and
(
instance
?TF
TwoFactorLoggingIn
)
(
agent
?TF ?A)
(
accountUsed
?TF ?AC)
(
earlier
(
WhenFn
?TF) ?T))))
ComputingBrands.kif 4373-4382
Wenn
TwoFactorAuthentication
ist ein
attribut
von
UserAccount
%n{nicht} und
loggedInDuring
AutonomousAgent
,
** UserAccount
and
TimeInterval
,
dann es gibt
** TimeInterval
F um
** TimeInterval
F ist ein
fall
von
TwoFactorLoggingIn
%n{nicht} und
** TimeInterval
F ist der
agent
von
** AutonomousAgent
%n{nicht} und
accountUsed
** TimeInterval
F and
** UserAccount
und die
zeit
des Bestehens von
** TimeInterval
F geschieht frueh als
** TimeInterval
%n{nicht}
(=>
(
and
(
attribute
?ACCT ?ATTR)
(
instance
?ATTR
AccountAttribute
))
(
instance
?ACCT
UserAccount
))
UXExperimentalTerms.kif 648-652
Wenn
Attribute
ist ein
attribut
von
Object
%n{nicht} und
** Attribute
ist ein
fall
von
AccountAttribute
%n{nicht},
dann
** Object
ist ein
fall
von
UserAccount
%n{nicht}
(=>
(
and
(
attribute
?ACTOR
VoiceActor
)
(
instance
?DRAMA
DramaticActing
)
(
agent
?DRAMA ?ACTOR)
(
instance
?SPEAK
LinguisticCommunication
)
(
agent
?SPEAK ?ACTOR)
(
subProcess
?SPEAK ?DRAMA))
(
and
(
not
(
exists
(?S ?VIEWER)
(
and
(
instance
?S
Seeing
)
(
patient
?S ?ACTOR)
(
agent
?S ?VIEWER))))
(
exists
(?H ?VIEWER)
(
and
(
instance
?H
Hearing
)
(
patient
?H ?ACTOR)
(
agent
?H ?VIEWER)))))
Biography.kif 757-776
Wenn
VoiceActor
ist ein
attribut
von
AutonomousAgent
%n{nicht} und
Process
ist ein
fall
von
DramaticActing
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Process
ist ein
fall
von
LinguisticCommunication
%n{nicht} und
** ** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** Process
ist ein
subProzess
von
** Process
,
dann es gibt nicht
** Process
und
** AutonomousAgent
um
** ** Process
ist ein
fall
von
Seeing
%n{nicht} und
** AutonomousAgent
ist ein
patient
von
** ** Process
%n{nicht} und
** ** Process
ist der
agent
von
** ** AutonomousAgent
%n{nicht} und es gibt
** Process
und
** ** AutonomousAgent
um
** ** Process
ist ein
fall
von
Hearing
%n{nicht} und
** AutonomousAgent
ist ein
patient
von
** ** Process
%n{nicht} und
** ** Process
ist der
agent
von
** ** AutonomousAgent
%n{nicht}
(=>
(
and
(
attribute
?AGENT
(
MemberFn
?ORG))
(
instance
?AGENT
AutonomousAgent
)
(
instance
?ORG
Organization
))
(
member
?AGENT ?ORG))
Government.kif 1774-1779
Wenn
MemberFn
Organization
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist ein
fall
von
AutonomousAgent
%n{nicht} und
** Organization
ist ein
fall
von
Organization
%n{nicht},
dann
** Object
ist ein
Mitglied
von
** Organization
%n{nicht}
(=>
(
and
(
attribute
?AREA
CommunistState
)
(
instance
?AREA
Nation
))
(
economyType
?AREA
CentrallyPlannedEconomy
))
Economy.kif 865-869
Wenn
CommunistState
ist ein
attribut
von
AutonomousAgent
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
Nation
%n{nicht},
dann
economyType
** AutonomousAgent
and
CentrallyPlannedEconomy
(=>
(
and
(
attribute
?AREA
FlatTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.005 ?SLOPE))
Geography.kif 1754-1759
Wenn
FlatTerrain
ist ein
attribut
von
Object
%n{nicht} und
LandArea
ist ein
teil
von
** Object
%n{nicht} und
slopeGradient
** LandArea
and
NonnegativeRealNumber
,
dann 0.005 ist
groesserAls
** NonnegativeRealNumber
%n{nicht}
(=>
(
and
(
attribute
?AREA
HighIncomeCountry
)
(
not
(
member
?AREA
OrganizationOfPetroleumExportingCountries
)))
(
economyType
?AREA
DevelopedCountry
))
Economy.kif 506-510
Wenn
HighIncomeCountry
ist ein
attribut
von
AutonomousAgent
%n{nicht} und
** AutonomousAgent
ist ein
Mitglied
von
OrganizationOfPetroleumExportingCountries
nicht,
dann
economyType
** AutonomousAgent
and
DevelopedCountry
(=>
(
and
(
attribute
?AREA
LowTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.03 ?SLOPE))
Geography.kif 1766-1771
Wenn
LowTerrain
ist ein
attribut
von
Object
%n{nicht} und
LandArea
ist ein
teil
von
** Object
%n{nicht} und
slopeGradient
** LandArea
and
NonnegativeRealNumber
,
dann 0.03 ist
groesserAls
** NonnegativeRealNumber
%n{nicht}
(=>
(
and
(
attribute
?ATHLETE ?PA)
(
instance
?PA
ProfessionalAthlete
))
(
exists
(?GAME)
(
and
(
instance
?GAME
Sport
)
(
contestParticipant
?GAME ?ATHLETE))))
Sports.kif 1364-1371
Wenn
Attribute
ist ein
attribut
von
AutonomousAgent
%n{nicht} und
** Attribute
ist ein
fall
von
ProfessionalAthlete
%n{nicht},
dann es gibt
Contest
um
** Contest
ist ein
fall
von
Sport
%n{nicht} und
contestParticipant
** Contest
and
** AutonomousAgent
(=>
(
and
(
attribute
?ATHLETE ?PA)
(
instance
?PA
ProfessionalAthlete
))
(
hasSkill
Sport
?ATHLETE))
Sports.kif 1358-1362
Wenn
Attribute
ist ein
attribut
von
AutonomousAgent
%n{nicht} und
** Attribute
ist ein
fall
von
ProfessionalAthlete
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
Sport
zu tun %n{nicht}
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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