and
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
instance
?GEO
Neighborhood
))
(
postNeighborhood
?PLACE ?GEO))
Mid-level-ontology.kif 26338-26343
PostalPlace
est
situ
� �
Neighborhood
PostalPlace
est une
instance
de
PostalPlace
Neighborhood
est une
instance
de
Neighborhood
postNeighborhood
PostalPlace
and
Neighborhood
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
instance
?GEO
StateOrProvince
))
(
postDistrict
?PLACE ?GEO))
Mid-level-ontology.kif 26409-26414
PostalPlace
est
situ
� �
Etat ou province
PostalPlace
est une
instance
de
PostalPlace
Etat ou province
est une
instance
de
Etat ou province
postDistrict
PostalPlace
and
Etat ou province
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
or
(
instance
?GEO
Nation
)
(
instance
?GEO
DependencyOrSpecialSovereigntyArea
)))
(
postCountry
?PLACE ?GEO))
Mid-level-ontology.kif 26375-26382
PostalPlace
est
situ
� �
secteur g�opolitique
PostalPlace
est une
instance
de
PostalPlace
secteur g�opolitique
est une
instance
de
nation
secteur g�opolitique
est une
instance
de
DependencyOrSpecialSovereigntyArea
postCountry
PostalPlace
and
secteur g�opolitique
(<=>
(
exists
(?Period)
(
and
(
instance
?Loan
Loan
)
(
agreementPeriod
?Loan ?Period)
(
interestEarned
?Loan ?Amount ?Period)))
(
loanInterest
?Loan ?Amount))
FinancialOntology.kif 3938-3944
Interval temporel
Loan
est une
instance
de
Loan
agreementPeriod
Loan
and
interval temporel
interestEarned
Loan
,
Interest
and
interval temporel
loanInterest
Loan
and
Interest
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
CallOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StockPrice ?StrikePrice)))
(
outOfTheMoney
?Option ?Time))
FinancialOntology.kif 3068-3079
FinancialInstrument
FinancialInstrument
Price and
nombre r�el
Agreement
est une
instance
de
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
strikePrice
Agreement
and
nombre r�el
unit� de mesure
(s)
FinancialInstrument
Price est
moins
que
nombre r�el
outOfTheMoney
Agreement
and
AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
CallOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StrikePrice ?StockPrice)))
(
inTheMoney
?Option ?Time))
FinancialOntology.kif 3019-3030
FinancialInstrument
FinancialInstrument
Price and
nombre r�el
Agreement
est une
instance
de
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
strikePrice
Agreement
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
moins
que
FinancialInstrument
Price
inTheMoney
Agreement
and
AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
Option
)
(
underlier
?Option ?Stock)
(
price
?Stock ?StockPrice ?Time)
(
strikePrice
?Option ?StrikePrice)
(
equal
?StockPrice ?StrikePrice)))
(
atTheMoney
?Option ?Time))
FinancialOntology.kif 3051-3059
FinancialInstrument
FinancialInstrument
Price and
mesure de devise
Agreement
est une
instance
de
Option
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price and
AutonomousAgent
strikePrice
Agreement
and
mesure de devise
equal
FinancialInstrument
Price and
mesure de devise
atTheMoney
Agreement
and
AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
PutOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StockPrice ?StrikePrice)))
(
inTheMoney
?Option ?Time))
FinancialOntology.kif 3032-3043
FinancialInstrument
FinancialInstrument
Price and
nombre r�el
Agreement
est une
instance
de
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
strikePrice
Agreement
and
nombre r�el
unit� de mesure
(s)
FinancialInstrument
Price est
moins
que
nombre r�el
inTheMoney
Agreement
and
AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
PutOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StrikePrice ?StockPrice)))
(
outOfTheMoney
?Option ?Time))
FinancialOntology.kif 3081-3092
FinancialInstrument
FinancialInstrument
Price and
nombre r�el
Agreement
est une
instance
de
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
strikePrice
Agreement
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
moins
que
FinancialInstrument
Price
outOfTheMoney
Agreement
and
AutonomousAgent
(<=>
(
holdsDuring
?T
(
and
(
instance
?PERSON
Human
)
(
forall
(?ORG)
(
not
(
employs
?ORG ?PERSON)))))
(
holdsDuring
?T
(
attribute
?PERSON
Unemployed
)))
Merge.kif 17429-17437
Entit�
est une
instance
de
humain
entit�
entit�
n'
emploie
entit�
pendant
position temporel
Unemployed
est un
attribut
de
entit�
pendant
position temporel
(=>
(
and
(?ROLE ?EVENT ?OBJ)
(
instance
?ROLE
CaseRole
)
(
instance
?EVENT
Process
)
(
instance
?OBJ
Object
))
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT))
Mid-level-ontology.kif 24893-24899
R�le d�pendant du cas
processus
and
objet
r�le d�pendant du cas
est une
instance
de
r�le d�pendant du cas
processus
est une
instance
de
processus
objet
est une
instance
de
objet
playsRoleInEvent
objet
,
r�le d�pendant du cas
and
processus
(=>
(
and
(
abbreviatedDisplayTitle
?STRING ?CBP_TYPE ?LANGUAGE)
(
instance
?X ?CBP_TYPE))
(
abbreviation
?STRING ?X))
Media.kif 3149-3153
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 3639-3643
accountHolder
FinancialAccount
and
agent cognitif
accountAt
FinancialAccount
and
FinancialOrganization
customer
agent cognitif
and
FinancialOrganization
(=>
(
and
(
acronym
?STRING ?THING)
(
inString
?CHAR ?STRING))
(
instance
?CHAR
AlphabeticCharacter
))
Mid-level-ontology.kif 29152-29156
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 22377-22384
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 20408-20414
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 489-501
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 15450-15460
agreementClause
proposition
,
deontic attribute
,
Agreement
and
agent cognitif
equal
deontic attribute
and
Obligation
equal
deontic attribute
and
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 677-682
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 684-689
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 724-728
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 728-734
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 15387-15392
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
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