=>
(=>
(
and
(
abbreviatedDisplayTitle
?STRING ?CBP-TYPE ?LANGUAGE)
(
instance
?X ?CBP-TYPE))
(
abbreviation
?STRING ?X))
Media.kif 3165-3169
abbreviatedDisplayTitle
cha�ne sympbolique
,
entit�
-TYPE and
langage
entit�
est une
instance
de
entit�
-TYPE
abbreviation
cha�ne sympbolique
and
entit�
(=>
(
and
(
accountAtSite
?ACCOUNT ?SITE)
(
hasAccount
?USER ?ACCOUNT))
(
registeredUser
?USER ?SITE))
UXExperimentalTerms.kif 881-885
accountAtSite
UserAccount
and
WebSite
hasAccount
AutonomousAgent
and
UserAccount
registeredUser
AutonomousAgent
and
WebSite
(=>
(
and
(
accountHolder
?Account ?Agent)
(
accountAt
?Account ?Bank))
(
customer
?Agent ?Bank))
FinancialOntology.kif 3621-3625
accountHolder
FinancialAccount
and
agent cognitif
accountAt
FinancialAccount
and
FinancialOrganization
customer
agent cognitif
and
FinancialOrganization
(=>
(
and
(
acronym
?STRING ?THING)
(
inString
?CHAR ?STRING))
(
instance
?CHAR
AlphabeticCharacter
))
Media.kif 3041-3045
acronym
cha�ne sympbolique
and
entit�
inString
character
and
cha�ne sympbolique
character
est une
instance
de
AlphabeticCharacter
(=>
(
and
(
actedIn
?ACTOR ?O)
(
instance
?PERF
DramaticActing
)
(
patient
?PERF ?ACTOR)
(
result
?PERF ?O))
(
holdsDuring
(
WhenFn
?PERF)
(
attribute
?ACTOR
Actor
)))
Mid-level-ontology.kif 20759-20766
actedIn
humain
and
ContentBearingPhysical
processus
est une
instance
de
DramaticActing
humain
est un
patient
de
processus
ContentBearingPhysical
est le
resultat
de
processus
Actor
est un
attribut
de
humain
pendant
temps
d'existence de
processus
(=>
(
and
(
agent
?PROCESS ?AGENT)
(
result
?PROCESS ?WORK)
(
instance
?WORK
ArtWork
))
(
holdsDuring
(
WhenFn
?PROCESS)
(
attribute
?AGENT
Artist
)))
Mid-level-ontology.kif 18836-18842
Processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
entit�
est une
instance
de
objet d'art
Artist
est un
attribut
de
AutonomousAgent
pendant
temps
d'existence de
processus
(=>
(
and
(
agent
?Purchase ?Buyer)
(
origin
?Purchase ?Seller)
(
patient
?Purchase ?Object)
(
monetaryValue
?Object ?Money))
(
exists
(?Payment)
(
and
(
subProcess
?Payment ?Purchase)
(
instance
?Payment
Payment
)
(
transactionAmount
?Payment ?Money)
(
origin
?Payment ?Buyer)
(
destination
?Payment ?Seller))))
FinancialOntology.kif 487-499
Processus
est un
agent
de
AutonomousAgent
processus
a pour
origine
objet
physique
est un
patient
de
processus
valeur
de
physique
est
mesure de devise
financial transaction
financial transaction
est un
sous
-processus de
processus
financial transaction
est une
instance
de
Payment
transactionAmount
financial transaction
and
mesure de devise
financial transaction
a pour
origine
AutonomousAgent
financial transaction
aboutit
�
objet
(=>
(
and
(
agreementClause
?PROP ?ATTR ?AGREEMENT ?AGENT)
(
or
(
equal
?ATTR
Obligation
)
(
equal
?ATTR
Promise
)))
(
modalAttribute
(
exists
(?PROC)
(
and
(
realization
?PROC ?PROP)
(
agent
?PROC ?AGENT)))
Likely
))
Mid-level-ontology.kif 14078-14088
agreementClause
proposition
,
deontic attribute
,
Agreement
and
agent cognitif
deontic attribute
est
Obligation
deontic attribute
est
Promise
l'argument
entit�
entit�
exprime
le contenu de
proposition
entit�
est un
agent
de
agent cognitif
a la
force
modale
de
Likely
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersObligation
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsObligation
?FORMULA ?AGENT)))
Government.kif 714-719
agreementEffectiveDate
Agreement
and
point temporel
Agreement
oblige
agent cognitif
� ex�cut� des t�ches du type
formule
position temporel
est une
instance
de
point temporel
agent cognitif
est
oblig
� d'ex�cut� des t�ches du type
formule
pendant
immediatement
apr
�s
position temporel
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersRight
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsRight
?FORMULA ?AGENT)))
Government.kif 721-726
agreementEffectiveDate
Agreement
and
point temporel
Agreement
autorise
agent cognitif
� ex�cut� des t�ches du type
formule
position temporel
est une
instance
de
point temporel
agent cognitif
a le
droit
d'executer
formule
pendant
immediatement
apr
�s
position temporel
(=>
(
and
(
agreementEffectiveDate
?Account ?Date)
(
currentAccountBalance
?Account ?Date ?Balance))
(
originalBalance
?Account ?Balance))
FinancialOntology.kif 722-726
agreementEffectiveDate
FinancialAccount
and
point temporel
currentAccountBalance
FinancialAccount
,
point temporel
and
mesure de devise
originalBalance
FinancialAccount
and
mesure de devise
(=>
(
and
(
agreementEffectiveDuring
?AGR ?DATE)
(
instance
?TIME ?DATE)
(
instance
?FORMULA
Formula
)
(
containsInformation
?FORMULA ?AGR))
(
holdsDuring
?TIME ?FORMULA))
Government.kif 766-772
agreementEffectiveDuring
proposition
and
position temporel
position temporel
est une
instance
de
position temporel
formule
est une
instance
de
formule
formule
contient
information
proposition
formule
pendant
position temporel
(=>
(
and
(
agreementPeriod
?AGREEMENT ?DURATION)
(
agreementEffectiveDate
?AGREEMENT ?STARTDATE))
(
holdsDuring
(
TimePeriodFn
?STARTDATE ?DURATION)
(
property
?AGREEMENT
ActiveAgreement
)))
Mid-level-ontology.kif 14015-14020
agreementPeriod
Agreement
and
interval temporel
agreementEffectiveDate
Agreement
and
point temporel
Agreement
a un
attribute
ActiveAgreement
pendant
TimePeriodFn
point temporel
and
interval temporel
(=>
(
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 6230-6243
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
?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
antagonistMuscles
muscle
and
muscle
d�palcement
est une
instance
de
Extension
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
animal
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
Animal
))
(
capability
Extension
instrument
?BC))
Mid-level-ontology.kif 10671-10682
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
animal
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 31383-31390
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 17947-17958
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
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