property
(=>
(
and
(
instance
?Y
NitricOxide
)
(
holdsDuring
?T
(
property
?Y
StandardAmbientTemperaturePressure
)))
(
holdsDuring
?T
(
attribute
?Y
Gas
)))
Geography.kif 7216-7222
Entit�
est une
instance
de
NitricOxide
entit�
a un
attribute
StandardAmbientTemperaturePressure
pendant
position temporel
Gas
est un
attribut
de
entit�
pendant
position temporel
(=>
(
and
(
instance
?Y
NitrogenDioxide
)
(
holdsDuring
?T
(
property
?Y
StandardAmbientTemperaturePressure
)))
(
holdsDuring
?T
(
attribute
?Y
Gas
)))
Geography.kif 7241-7247
Entit�
est une
instance
de
NitrogenDioxide
entit�
a un
attribute
StandardAmbientTemperaturePressure
pendant
position temporel
Gas
est un
attribut
de
entit�
pendant
position temporel
(=>
(
and
(
instance
?Y
SulphurDioxide
)
(
holdsDuring
?T
(
property
?Y
StandardAmbientTemperaturePressure
)))
(
holdsDuring
?T
(
attribute
?Y
Gas
)))
Geography.kif 7181-7187
Entit�
est une
instance
de
SulphurDioxide
entit�
a un
attribute
StandardAmbientTemperaturePressure
pendant
position temporel
Gas
est un
attribut
de
entit�
pendant
position temporel
(=>
(
and
(
property
?AGREEMENT
Contract
)
(
partyToAgreement
?AGENT1 ?AGREEMENT)
(
partyToAgreement
?AGENT2 ?AGREEMENT)
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?AGENT1)
(
realization
?PROC ?PROP)
(
not
(
consistent
?PROP ?AGREEMENT)))
(
modalAttribute
(
exists
(?LEGAL)
(
and
(
instance
?LEGAL
LegalAction
)
(
plaintiff
?LEGAL ?AGENT2)
(
defendant
?LEGAL ?AGENT1)))
Possibility
))
Mid-level-ontology.kif 14149-14163
Agreement
a un
attribute
Contract
partyToAgreement
agent cognitif
and
Agreement
partyToAgreement
agent cognitif
and
Agreement
processus
est une
instance
de
processus intentionnel
processus
est un
agent
de
agent cognitif
processus
exprime
le contenu de
proposition
consistent
proposition
and
Agreement
l'argument
entit�
entit�
est une
instance
de
action l�gale
plaintiff
entit�
and
agent cognitif
defendant
entit�
and
agent cognitif
a la
force
modale
de
Possibility
(=>
(
and
(
property
?ITEM ?VALUE)
(
instance
?VALUE
TruthValue
))
(
or
(
instance
?ITEM
Sentence
)
(
instance
?ITEM
Proposition
)))
Merge.kif 16973-16979
Entit�
a un
attribute
attribut
attribut
est une
instance
de
vrai
entit�
est une
instance
de
phrase
entit�
est une
instance
de
proposition
(=>
(
and
(
property
?OBJ ?SHAPE)
(
instance
?OBJ
Physical
)
(
instance
?SHAPE
ShapeAttribute
))
(
shape
?OBJ ?SHAPE))
Mid-level-ontology.kif 25580-25585
Physique
a un
attribute
attribut de forme
physique
est une
instance
de
physique
attribut de forme
est une
instance
de
attribut de forme
shape
physique
and
attribut de forme
(=>
(
and
(
property
?OBJECT ?ATTRIBUTE)
(
instance
?ATTRIBUTE
AlgebroDifferentialAttribute
))
(
instance
?OBJECT
SetOfEquations
))
engineering.kif 230-234
Entit�
a un
attribute
attribut
attribut
est une
instance
de
AlgebroDifferentialAttribute
entit�
est une
instance
de
SetOfEquations
(=>
(
and
(
property
?OBJECT ?ATTRIBUTE)
(
instance
?ATTRIBUTE
EquationAttribute
))
(
or
(
instance
?OBJECT
Equation
)
(
instance
?OBJECT
SetOfEquations
)))
engineering.kif 211-217
Entit�
a un
attribute
attribut
attribut
est une
instance
de
EquationAttribute
entit�
est une
instance
de
Equation
entit�
est une
instance
de
SetOfEquations
(=>
(
and
(
property
?Option
AmericanStyleOption
)
(
optionHolder
?Option ?Agent)
(
agreementExpirationDate
?Option ?Day))
(
holdsRight
(
exists
(?Exercise)
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
patient
?Exercise ?Option)
(
before
(
EndFn
(
WhenFn
?Exercise))
(
EndFn
?Day)))) ?Agent))
FinancialOntology.kif 2788-2800
Agreement
a un
attribute
AmericanStyleOption
optionHolder
Agreement
and
agent cognitif
agreementExpirationDate
Agreement
and
point temporel
agent cognitif
a le
droit
d'executer
entit�
entit�
est une
instance
de
ExerciseAnOption
Agreement
est un
patient
de
entit�
la
fin
de
temps
d'existence de
entit�
se produit
avant
la
fin
de
point temporel
(=>
(
and
(
property
?Option
EuropeanStyleOption
)
(
agreementExpirationDate
?Option ?Date))
(
exists
(?Period ?Time ?Exercise)
(
and
(
instance
?Period
TimeInterval
)
(
equal
(
EndFn
?Period) ?Date)
(=>
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
equal
(
WhenFn
?Exercise) ?Time))
(
temporalPart
?Time ?Period)))))
FinancialOntology.kif 2808-2820
Agreement
a un
attribute
EuropeanStyleOption
agreementExpirationDate
Agreement
and
point temporel
interval temporel
interval temporel
and
physique
interval temporel
est une
instance
de
interval temporel
la
fin
de
interval temporel
est
point temporel
physique
est une
instance
de
ExerciseAnOption
temps
d'existence de
physique
est
interval temporel
interval temporel
est une
partie
de
interval temporel
(=>
(
and
(
property
?Option
Option
)
(
optionHolder
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate))
(
underlier
?Option ?Stocks))
(
holdsRight
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Agent))
FinancialOntology.kif 2669-2685
Agreement
a un
attribute
Option
optionHolder
Agreement
and
agent cognitif
strikePrice
Agreement
and
mesure de devise
agreementExpirationDate
Agreement
and
interval temporel
price
FinancialInstrument
,
mesure de devise
and
AutonomousAgent
AutonomousAgent
est une
instance
de
interval temporel
la
fin
de
AutonomousAgent
se produit
avant
le
d
�but de
interval temporel
underlier
Agreement
and
FinancialInstrument
agent cognitif
a le
droit
d'executer la
classe
d�crite par
cha�ne sympbolique
(=>
(
and
(
property
?Option
Option
)
(
optionHolder
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
underlier
?Option ?Stocks)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate)))
(
holdsRight
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2623-2639
Agreement
a un
attribute
Option
optionHolder
Agreement
and
agent cognitif
strikePrice
Agreement
and
mesure de devise
agreementExpirationDate
Agreement
and
interval temporel
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
mesure de devise
and
AutonomousAgent
AutonomousAgent
est une
instance
de
interval temporel
la
fin
de
AutonomousAgent
se produit
avant
le
d
�but de
interval temporel
agent cognitif
a le
droit
d'executer la
classe
d�crite par
cha�ne sympbolique
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate))
(
underlier
?Option ?Stocks))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2687-2703
Agreement
a un
attribute
Option
optionSeller
Agreement
and
agent cognitif
strikePrice
Agreement
and
mesure de devise
agreementExpirationDate
Agreement
and
interval temporel
price
FinancialInstrument
,
mesure de devise
and
AutonomousAgent
AutonomousAgent
est une
instance
de
interval temporel
la
fin
de
AutonomousAgent
se produit
avant
le
d
�but de
interval temporel
underlier
Agreement
and
FinancialInstrument
agent cognitif
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Seller)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
underlier
?Option ?Stocks)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate)))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Seller))
FinancialOntology.kif 2641-2659
Agreement
a un
attribute
Option
optionSeller
Agreement
and
agent cognitif
strikePrice
Agreement
and
mesure de devise
agreementExpirationDate
Agreement
and
interval temporel
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
mesure de devise
and
AutonomousAgent
AutonomousAgent
est une
instance
de
interval temporel
la
fin
de
AutonomousAgent
se produit
avant
le
d
�but de
interval temporel
agent cognitif
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
and
(
property
?Option
StockOption
)
(
underlier
?Option ?Stock))
(
property
?Stock
CommonStock
))
FinancialOntology.kif 2712-2716
Agreement
a un
attribute
StockOption
underlier
Agreement
and
FinancialInstrument
FinancialInstrument
a un
attribute
CommonStock
(=>
(
and
(
property
?THING ?ATTR)
(
instance
?ATTR
ContestAttribute
))
(
exists
(?CONTEST)
(
and
(
instance
?CONTEST
Contest
)
(
or
(
agent
?CONTEST ?THING)
(
patient
?CONTEST ?THING)
(
subProcess
?THING ?CONTEST)))))
Merge.kif 17392-17402
AutonomousAgent
a un
attribute
attribut
attribut
est une
instance
de
attribut r�sultant d'un affrontement
processus
processus
est une
instance
de
affrontement
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est un
patient
de
processus
AutonomousAgent
est un
sous
-processus de
processus
(=>
(
and
(
property
?THING ?ATTR)
(
instance
?ATTR
GameAttribute
))
(
exists
(?GAME)
(
and
(
instance
?GAME
Game
)
(
or
(
agent
?GAME ?THING)
(
patient
?GAME ?THING)
(
subProcess
?THING ?GAME)))))
Mid-level-ontology.kif 19499-19509
AutonomousAgent
a un
attribute
attribut
attribut
est une
instance
de
GameAttribute
processus
processus
est une
instance
de
jeu
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est un
patient
de
processus
AutonomousAgent
est un
sous
-processus de
processus
(=>
(
and
(
property
?THING ?ATTR)
(
instance
?ATTR
SportsAttribute
))
(
exists
(?SPORT)
(
and
(
instance
?SPORT
Game
)
(
or
(
agent
?SPORT ?THING)
(
patient
?SPORT ?THING)
(
subProcess
?THING ?SPORT)))))
Mid-level-ontology.kif 19515-19525
AutonomousAgent
a un
attribute
attribut
attribut
est une
instance
de
SportsAttribute
processus
processus
est une
instance
de
jeu
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est un
patient
de
processus
AutonomousAgent
est un
sous
-processus de
processus
(=>
(
and
(
property
?X
Booting
)
(
instance
?X
Computer
))
(
exists
(?CD ?OS ?DT)
(
and
(
instance
?CD
DigitalData
)
(
instance
?OS
OperatingSystem
)
(
instance
?DT
DataTransfer
)
(
during
(
WhenFn
?DT)
(
WhenFn
?X))
(
destination
?DT ?X)
(
part
?CD ?OS)
(
objectTransferred
?DT ?CD))))
ComputingBrands.kif 3217-3229
Physique
a un
attribute
Booting
physique
est une
instance
de
Computer
objet
objet
and
transf�re
objet
est une
instance
de
DigitalData
objet
est une
instance
de
OperatingSystem
transf�re
est une
instance
de
DataTransfer
temps
d'existence de
transf�re
prend place
pendant
temps
d'existence de
physique
transf�re
aboutit
�
physique
objet
est une
partie
de
objet
objectTransferred
transf�re
and
objet
(=>
(
property
?A
CompilationAlbum
)
(
exists
(?A1 ?A2)
(
and
(
albumArtist
?A ?A1)
(
albumArtist
?A ?A2)
(
not
(
equal
?A1 ?A2)))))
Music.kif 490-497
Album
a un
attribute
CompilationAlbum
Album
1
Album
2
albumArtist
Album
and
Album
1
albumArtist
Album
and
Album
2
Album
1 est
Album
2
(=>
(
property
?AGREEMENT
ActiveAgreement
)
(
instance
?AGREEMENT
Agreement
))
Mid-level-ontology.kif 14113-14115
Entit�
a un
attribute
ActiveAgreement
entit�
est une
instance
de
Agreement
(=>
(
property
?AGREEMENT
ActiveAgreement
)
(
modalAttribute
(
exists
(?PROC)
(
realization
?PROC ?AGREEMENT))
Obligation
))
Mid-level-ontology.kif 14117-14121
Entit�
a un
attribute
ActiveAgreement
l'argument
entit�
entit�
exprime
le contenu de
entit�
a la
force
modale
de
Obligation
(=>
(
property
?AGREEMENT
Contract
)
(
forall
(?X)
(=>
(
subProposition
?X ?AGREEMENT)
(
modalAttribute
?X
Legal
))))
Mid-level-ontology.kif 14142-14147
Proposition
a un
attribute
Contract
formule
formule
est une
sous
-proposition de
proposition
l'argument
formule
a la
force
modale
de
Legal
(=>
(
property
?C
MarriageContract
)
(
exists
(?P1 ?P2)
(
and
(
partyToAgreement
?P1 ?C)
(
partyToAgreement
?P2 ?C)
(
spouse
?P1 ?P2))))
Mid-level-ontology.kif 14170-14176
Agreement
a un
attribute
MarriageContract
humain
humain
partyToAgreement
humain
and
Agreement
partyToAgreement
humain
and
Agreement
spouse
humain
and
humain
(=>
(
property
?C
PurchaseContract
)
(
exists
(?S ?SELLER ?BUYER)
(
and
(
instance
?S
Selling
)
(
agent
?S ?SELLER)
(
destination
?S ?BUYER)
(
realization
?S ?C)
(
partyToAgreement
?C ?SELLER)
(
partyToAgreement
?C ?BUYER))))
Mid-level-ontology.kif 14183-14192
Proposition
a un
attribute
PurchaseContract
processus
processus
ELLER and
Agreement
processus
est une
instance
de
vendre
processus
est un
agent
de
processus
ELLER
processus
aboutit
�
Agreement
processus
exprime
le contenu de
proposition
partyToAgreement
proposition
and
processus
ELLER
partyToAgreement
proposition
and
Agreement
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