property
(=>
(
and
(
instance
?Y
NitricOxide
)
(
holdsDuring
?T
(
property
?Y
StandardAmbientTemperaturePressure
)))
(
holdsDuring
?T
(
attribute
?Y
Gas
)))
Geography.kif 7216-7222
Entit�
è un'
istanza
di
NitricOxide
Entit�
ha un
attributo
StandardAmbientTemperaturePressure
vales
durante
PosizioneTemporale
attribute
Entit�
and
Gas
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?Y
NitrogenDioxide
)
(
holdsDuring
?T
(
property
?Y
StandardAmbientTemperaturePressure
)))
(
holdsDuring
?T
(
attribute
?Y
Gas
)))
Geography.kif 7241-7247
Entit�
è un'
istanza
di
NitrogenDioxide
Entit�
ha un
attributo
StandardAmbientTemperaturePressure
vales
durante
PosizioneTemporale
attribute
Entit�
and
Gas
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?Y
SulphurDioxide
)
(
holdsDuring
?T
(
property
?Y
StandardAmbientTemperaturePressure
)))
(
holdsDuring
?T
(
attribute
?Y
Gas
)))
Geography.kif 7181-7187
Entit�
è un'
istanza
di
SulphurDioxide
Entit�
ha un
attributo
StandardAmbientTemperaturePressure
vales
durante
PosizioneTemporale
attribute
Entit�
and
Gas
vales
durante
PosizioneTemporale
(=>
(
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 14148-14162
Agreement
ha un
attributo
Contract
partyToAgreement
AgenteCognitivo
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
Processo
è un'
istanza
di
ProcessoIntenzionale
Processo
è un
agente
di
AgenteCognitivo
Processo
esprime
il contenuto di
Proposizione
consistent
Proposizione
and
Agreement
l'affermazione
Entit�
Entit�
è un'
istanza
di
AzioneLegale
plaintiff
Entit�
and
AgenteCognitivo
defendant
Entit�
and
AgenteCognitivo
ha il modello di forza di
Possibility
(=>
(
and
(
property
?ITEM ?VALUE)
(
instance
?VALUE
TruthValue
))
(
or
(
instance
?ITEM
Sentence
)
(
instance
?ITEM
Proposition
)))
Merge.kif 16995-17001
Entit�
ha un
attributo
Attributo
Attributo
è un'
istanza
di
ValoreDiVerit�
Entit�
è un'
istanza
di
Frase
Entit�
è un'
istanza
di
Proposizione
(=>
(
and
(
property
?OBJ ?SHAPE)
(
instance
?OBJ
Physical
)
(
instance
?SHAPE
ShapeAttribute
))
(
shape
?OBJ ?SHAPE))
Mid-level-ontology.kif 25579-25584
Entit�Concreta
ha un
attributo
AttributoDiForma
Entit�Concreta
è un'
istanza
di
Entit�Concreta
AttributoDiForma
è un'
istanza
di
AttributoDiForma
shape
Entit�Concreta
and
AttributoDiForma
(=>
(
and
(
property
?OBJECT ?ATTRIBUTE)
(
instance
?ATTRIBUTE
AlgebroDifferentialAttribute
))
(
instance
?OBJECT
SetOfEquations
))
engineering.kif 230-234
Entit�
ha un
attributo
Attributo
Attributo
è un'
istanza
di
AlgebroDifferentialAttribute
Entit�
è un'
istanza
di
SetOfEquations
(=>
(
and
(
property
?OBJECT ?ATTRIBUTE)
(
instance
?ATTRIBUTE
EquationAttribute
))
(
or
(
instance
?OBJECT
Equation
)
(
instance
?OBJECT
SetOfEquations
)))
engineering.kif 211-217
Entit�
ha un
attributo
Attributo
Attributo
è un'
istanza
di
EquationAttribute
Entit�
è un'
istanza
di
Equation
Entit�
è un'
istanza
di
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
ha un
attributo
AmericanStyleOption
optionHolder
Agreement
and
AgenteCognitivo
agreementExpirationDate
Agreement
and
PuntoTemporale
AgenteCognitivo
ha il
diritto
di compiere
Entit�
Entit�
è un'
istanza
di
ExerciseAnOption
Agreement
è un
paziente
di
Entit�
la
fine
di il
tempo
di esistenza di
Entit�
succede%{s}
prima
di la
fine
di
PuntoTemporale
(=>
(
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
ha un
attributo
EuropeanStyleOption
agreementExpirationDate
Agreement
and
PuntoTemporale
IntervalloTemporale
IntervalloTemporale
and
Entit�Concreta
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
la
fine
di
IntervalloTemporale
is
uguale
a
PuntoTemporale
Entit�Concreta
è un'
istanza
di
ExerciseAnOption
il
tempo
di esistenza di
Entit�Concreta
is
uguale
a
IntervalloTemporale
IntervalloTemporale
è una
parte
di
IntervalloTemporale
(=>
(
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
ha un
attributo
Option
optionHolder
Agreement
and
AgenteCognitivo
strikePrice
Agreement
and
MisuraMonetaria
agreementExpirationDate
Agreement
and
IntervalloTemporale
price
FinancialInstrument
,
MisuraMonetaria
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
IntervalloTemporale
la
fine
di
AutonomousAgent
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
underlier
Agreement
and
FinancialInstrument
AgenteCognitivo
ha il
diritto
di compiere la
classe
descritta da
Stringa
(=>
(
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
ha un
attributo
Option
optionHolder
Agreement
and
AgenteCognitivo
strikePrice
Agreement
and
MisuraMonetaria
agreementExpirationDate
Agreement
and
IntervalloTemporale
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
MisuraMonetaria
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
IntervalloTemporale
la
fine
di
AutonomousAgent
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
AgenteCognitivo
ha il
diritto
di compiere la
classe
descritta da
Stringa
(=>
(
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
ha un
attributo
Option
optionSeller
Agreement
and
AgenteCognitivo
strikePrice
Agreement
and
MisuraMonetaria
agreementExpirationDate
Agreement
and
IntervalloTemporale
price
FinancialInstrument
,
MisuraMonetaria
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
IntervalloTemporale
la
fine
di
AutonomousAgent
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
underlier
Agreement
and
FinancialInstrument
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
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
ha un
attributo
Option
optionSeller
Agreement
and
AgenteCognitivo
strikePrice
Agreement
and
MisuraMonetaria
agreementExpirationDate
Agreement
and
IntervalloTemporale
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
MisuraMonetaria
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
IntervalloTemporale
la
fine
di
AutonomousAgent
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
and
(
property
?Option
StockOption
)
(
underlier
?Option ?Stock))
(
property
?Stock
CommonStock
))
FinancialOntology.kif 2712-2716
Agreement
ha un
attributo
StockOption
underlier
Agreement
and
FinancialInstrument
FinancialInstrument
ha un
attributo
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 17414-17424
AutonomousAgent
ha un
attributo
Attributo
Attributo
è un'
istanza
di
AttributoDiCompetizione
Processo
Processo
è un'
istanza
di
Competizione
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un
paziente
di
Processo
AutonomousAgent
è un
sottoprocesso
di
Processo
(=>
(
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 19498-19508
AutonomousAgent
ha un
attributo
Attributo
Attributo
è un'
istanza
di
GameAttribute
Processo
Processo
è un'
istanza
di
Gioco
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un
paziente
di
Processo
AutonomousAgent
è un
sottoprocesso
di
Processo
(=>
(
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 19514-19524
AutonomousAgent
ha un
attributo
Attributo
Attributo
è un'
istanza
di
SportsAttribute
Processo
Processo
è un'
istanza
di
Gioco
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un
paziente
di
Processo
AutonomousAgent
è un
sottoprocesso
di
Processo
(=>
(
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
Entit�Concreta
ha un
attributo
Booting
Entit�Concreta
è un'
istanza
di
Computer
Oggetto
Oggetto
and
Trasferimento
Oggetto
è un'
istanza
di
DigitalData
Oggetto
è un'
istanza
di
OperatingSystem
Trasferimento
è un'
istanza
di
DataTransfer
il
tempo
di esistenza di
Trasferimento
has luogo
durante
il
tempo
di esistenza di
Entit�Concreta
Trasferimento
fine
s in
Entit�Concreta
Oggetto
è una
parte
di
Oggetto
objectTransferred
Trasferimento
and
Oggetto
(=>
(
property
?A
CompilationAlbum
)
(
exists
(?A1 ?A2)
(
and
(
albumArtist
?A ?A1)
(
albumArtist
?A ?A2)
(
not
(
equal
?A1 ?A2)))))
Music.kif 490-497
Album
ha un
attributo
CompilationAlbum
Album
1
Album
2
albumArtist
Album
and
Album
1
albumArtist
Album
and
Album
2
Album
1 is
uguale
a
Album
2
(=>
(
property
?AGREEMENT
ActiveAgreement
)
(
instance
?AGREEMENT
Agreement
))
Mid-level-ontology.kif 14112-14114
Entit�
ha un
attributo
ActiveAgreement
Entit�
è un'
istanza
di
Agreement
(=>
(
property
?AGREEMENT
ActiveAgreement
)
(
modalAttribute
(
exists
(?PROC)
(
realization
?PROC ?AGREEMENT))
Obligation
))
Mid-level-ontology.kif 14116-14120
Entit�
ha un
attributo
ActiveAgreement
l'affermazione
Entit�
Entit�
esprime
il contenuto di
Entit�
ha il modello di forza di
Obligation
(=>
(
property
?AGREEMENT
Contract
)
(
forall
(?X)
(=>
(
subProposition
?X ?AGREEMENT)
(
modalAttribute
?X
Legal
))))
Mid-level-ontology.kif 14141-14146
Proposizione
ha un
attributo
Contract
Formula
Formula
è una
sottoproposizione
Proposizione
l'affermazione
Formula
ha il modello di forza di
Legal
(=>
(
property
?C
MarriageContract
)
(
exists
(?P1 ?P2)
(
and
(
partyToAgreement
?P1 ?C)
(
partyToAgreement
?P2 ?C)
(
spouse
?P1 ?P2))))
Mid-level-ontology.kif 14169-14175
Agreement
ha un
attributo
MarriageContract
Umano
Umano
partyToAgreement
Umano
and
Agreement
partyToAgreement
Umano
and
Agreement
spouse
Umano
and
Umano
(=>
(
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 14182-14191
Proposizione
ha un
attributo
PurchaseContract
Processo
Processo
ELLER and
Agreement
Processo
è un'
istanza
di
Vendere
Processo
è un
agente
di
Processo
ELLER
Processo
fine
s in
Agreement
Processo
esprime
il contenuto di
Proposizione
partyToAgreement
Proposizione
and
Processo
ELLER
partyToAgreement
Proposizione
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