and
(=>
(
and
(
albumCoverImage
?A ?I)
(
instance
?CD
(
AlbumCopiesFn
?A ?DS))
(
contains
?C ?CD))
(
modalAttribute
(
part
?I
(
FrontFn
?C))
Likely
))
Music.kif 316-322
albumCoverImage
Album
and
Image
objet
est une
instance
de
AlbumCopiesFn
Album
and
DataStorageDevice
objet en une partie
contient
objet
l'argument
Image
est une
partie
de le
devant
de
objet en une partie
a la
force
modale
de
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 6231-6244
allergic
humain
and
substance
substance
UB est une
instance
de
substance
substance
UB
rencontre
humain
pendant
position temporel
l'argument
entit�
entit�
est une
instance
de
AllergicReaction
humain
exp
�rimente
entit�
temps
d'existence de
entit�
recouvre
position temporel
le
d
�but de
position temporel
se produit
avant
le
d
�but de
temps
d'existence de
entit�
a la
force
modale
de
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
amount
substance
,
objet corpusculaire
and
nombre r�el
UnitOfMass
(s)
substance
I est une
instance
de
substance
la
mesure
de
substance
I est
nombre r�el
2
UnitOfMass
(s)
substance
I est une
partie
de
objet corpusculaire
liste
nombre r�el
2
UnitOfMass
(s) est un
membre
de
liste
liste
est
AmountsFn
substance
,
objet corpusculaire
and
UnitOfMass
nombre r�el
est
ListSumFn
liste
(=>
(
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
amountDue
FinancialAccount
,
mesure de devise
and
position temporel
accountHolder
FinancialAccount
and
agent cognitif
agent cognitif
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
and
(
antagonistMuscles
?A ?B)
(
instance
?E
Extension
)
(
instrument
?E ?AC)
(
moves
?F ?BC)
(
instance
?AC ?A)
(
instance
?BC ?B)
(
part
?AC ?H)
(
part
?BC ?H)
(
instance
?H
Mammal
))
(
capability
Flexion
instrument
?BC))
Mid-level-ontology.kif 10685-10696
antagonistMuscles
muscle
and
muscle
processus
est une
instance
de
Extension
muscle
C est un
instrument
pour
processus
moves
d�palcement
and
muscle
C
muscle
C est une
instance
de
muscle
muscle
C est une
instance
de
muscle
muscle
C est une
partie
de
objet
muscle
C est une
partie
de
objet
objet
est une
instance
de
mammif�re
muscle
C est
capable
de faire
Flexion
dans le r�le
instrument
(=>
(
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
Mammal
))
(
capability
Extension
instrument
?BC))
Mid-level-ontology.kif 10672-10683
antagonistMuscles
muscle
and
muscle
d�palcement
est une
instance
de
Flexion
muscle
C est un
instrument
pour
d�palcement
moves
d�palcement
and
muscle
C
muscle
C est une
instance
de
muscle
muscle
C est une
instance
de
muscle
muscle
C est une
partie
de
objet
muscle
C est une
partie
de
objet
objet
est une
instance
de
mammif�re
muscle
C est
capable
de faire
Extension
dans le r�le
instrument
(=>
(
and
(
applicableRelation
?O ?R)
(
instance
?O ?OC)
(
domain
?R 1 ?DC))
(
or
(
equal
?OC ?DC)
(
subclass
?OC ?DC)))
Mid-level-ontology.kif 31387-31394
applicableRelation
objet
and
relation
objet
est une
instance
de
objet
C le nombre 1 argument de
relation
est une
instance
de
classe
objet
C est
classe
objet
C est une
sous
-classe de
classe
(=>
(
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 17948-17959
approximateDiameter
objet en une partie
and
nombre r�el
nombre r�el
M(s)
sphereRadius
objet
and
nombre r�el
+ 2.0
nombre r�el
M(s) la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s) la
mesure
de
objet en une partie
est
nombre r�el
unit� de mesure
(s)
nombre r�el
M est une
instance
de
UnitOfLength
unit� de mesure
est une
instance
de
UnitOfVolume
nombre r�el
est
nombre r�el
(=>
(
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
arableLandArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal � 0.0
totalArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est une
instance
de
mesure d'aire
nombre r�el
est
nombre r�el
+
nombre r�el
arableLandArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(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
arableLandArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal � 0.0
totalArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfArea
secteur g�ographique
secteur g�ographique
est une
instance
de
ArableLand
geographicSubregion
secteur g�ographique
and
secteur g�ographique
la
mesure
de
secteur g�ographique
est
nombre r�el
+
nombre r�el
unit� de mesure
(s)
(=>
(
and
(
attribute
(
GovernmentFn
?AREA) ?TYPE)
(
instance
?TYPE
FormOfGovernment
))
(
governmentType
?AREA ?TYPE))
Government.kif 148-152
FormOfGovernment
est un
attribut
de le
gouvernment
de
secteur g�opolitique
FormOfGovernment
est une
instance
de
FormOfGovernment
governmentType
secteur g�opolitique
and
FormOfGovernment
(=>
(
and
(
attribute
?A ?ATTR)
(
instance
?ATTR
AlbumAttribute
))
(
instance
?A
Album
))
Music.kif 478-482
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
AlbumAttribute
objet
est une
instance
de
Album
(=>
(
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
AppraisalAsJustTreatment
est un
attribut
de
agent cognitif
agent cognitif
JT est une
instance
de
AppraisalProcess
agent cognitif
JT est un
agent
de
agent cognitif
processus
agent cognitif
2
processus
est une
instance
de
processus
agent cognitif
JT inclut une
r
�f�rence �
processus
processus
est un
agent
de
agent cognitif
2
agent cognitif
est
agent cognitif
2
agent cognitif
est un
patient
de
processus
agent cognitif
veut
processus
(=>
(
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
AppraisalAsUnjustTreatment
est un
attribut
de
agent cognitif
agent cognitif
UJ est une
instance
de
AppraisalProcess
agent cognitif
UJ est un
agent
de
agent cognitif
processus
agent cognitif
2
processus
est une
instance
de
processus
agent cognitif
UJ inclut une
r
�f�rence �
processus
processus
est un
agent
de
agent cognitif
2
agent cognitif
est
agent cognitif
2
agent cognitif
est un
patient
de
processus
agent cognitif
ne
veut
%n{pas}
processus
(=>
(
and
(
attribute
?A
Founder
)
(
instance
?A
Human
))
(
exists
(?PROC)
(
and
(
instance
?PROC
Founding
)
(
agent
?PROC ?A))))
Biography.kif 223-230
Founder
est un
attribut
de
AutonomousAgent
AutonomousAgent
est une
instance
de
humain
processus
processus
est une
instance
de
Founding
processus
est un
agent
de
AutonomousAgent
(=>
(
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
TwoFactorAuthentication
est un
attribut
de
UserAccount
loggedInDuring
AutonomousAgent
,
UserAccount
and
interval temporel
interval temporel
F
interval temporel
F est une
instance
de
TwoFactorLoggingIn
interval temporel
F est un
agent
de
AutonomousAgent
accountUsed
interval temporel
F and
UserAccount
temps
d'existence de
interval temporel
F arrive
plus
t�t que
interval temporel
(=>
(
and
(
attribute
?ACCT ?ATTR)
(
instance
?ATTR
AccountAttribute
))
(
instance
?ACCT
UserAccount
))
UXExperimentalTerms.kif 648-652
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
AccountAttribute
objet
est une
instance
de
UserAccount
(=>
(
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
VoiceActor
est un
attribut
de
AutonomousAgent
processus
est une
instance
de
DramaticActing
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
LinguisticCommunication
processus
est un
agent
de
AutonomousAgent
processus
est un
sous
-processus de
processus
processus
AutonomousAgent
processus
est une
instance
de
voir
AutonomousAgent
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
processus
AutonomousAgent
processus
est une
instance
de
entendre
AutonomousAgent
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
(=>
(
and
(
attribute
?AGENT
(
MemberFn
?ORG))
(
instance
?AGENT
AutonomousAgent
)
(
instance
?ORG
Organization
))
(
member
?AGENT ?ORG))
Government.kif 1774-1779
MemberFn
organisation
est un
attribut
de
objet
objet
est une
instance
de
AutonomousAgent
organisation
est une
instance
de
organisation
objet
est un
membre
de
organisation
(=>
(
and
(
attribute
?AREA
CommunistState
)
(
instance
?AREA
Nation
))
(
economyType
?AREA
CentrallyPlannedEconomy
))
Economy.kif 865-869
CommunistState
est un
attribut
de
AutonomousAgent
AutonomousAgent
est une
instance
de
nation
economyType
AutonomousAgent
and
CentrallyPlannedEconomy
(=>
(
and
(
attribute
?AREA
FlatTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.005 ?SLOPE))
Geography.kif 1754-1759
FlatTerrain
est un
attribut
de
objet
zone de terre
est une
partie
de
objet
slopeGradient
zone de terre
and
nombre r�el non n�gatif
0.005 est
plus
grand
que
nombre r�el non n�gatif
(=>
(
and
(
attribute
?AREA
HighIncomeCountry
)
(
not
(
member
?AREA
OrganizationOfPetroleumExportingCountries
)))
(
economyType
?AREA
DevelopedCountry
))
Economy.kif 506-510
HighIncomeCountry
est un
attribut
de
AutonomousAgent
AutonomousAgent
est un
membre
de
OrganizationOfPetroleumExportingCountries
economyType
AutonomousAgent
and
DevelopedCountry
(=>
(
and
(
attribute
?AREA
LowTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.03 ?SLOPE))
Geography.kif 1766-1771
LowTerrain
est un
attribut
de
objet
zone de terre
est une
partie
de
objet
slopeGradient
zone de terre
and
nombre r�el non n�gatif
0.03 est
plus
grand
que
nombre r�el non n�gatif
(=>
(
and
(
attribute
?ATHLETE ?PA)
(
instance
?PA
ProfessionalAthlete
))
(
exists
(?GAME)
(
and
(
instance
?GAME
Sport
)
(
contestParticipant
?GAME ?ATHLETE))))
Sports.kif 1363-1370
Attribut
est un
attribut
de
AutonomousAgent
attribut
est une
instance
de
ProfessionalAthlete
affrontement
affrontement
est une
instance
de
sport
contestParticipant
affrontement
and
AutonomousAgent
(=>
(
and
(
attribute
?ATHLETE ?PA)
(
instance
?PA
ProfessionalAthlete
))
(
hasSkill
Sport
?ATHLETE))
Sports.kif 1357-1361
Attribut
est un
attribut
de
AutonomousAgent
attribut
est une
instance
de
ProfessionalAthlete
AutonomousAgent
a la
capacit
� de faire
sport
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