property
(=>
(
and
(
instance
?Y
NitricOxide
)
(
holdsDuring
?T
(
property
?Y
StandardAmbientTemperaturePressure
)))
(
holdsDuring
?T
(
attribute
?Y
Gas
)))
Geography.kif 7216-7222
Entidade
e' uma
instancia
de
NitricOxide
Entidade
tem um
atributo
de
StandardAmbientTemperaturePressure
vale
durante
Posicao Temporal
Gas
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?Y
NitrogenDioxide
)
(
holdsDuring
?T
(
property
?Y
StandardAmbientTemperaturePressure
)))
(
holdsDuring
?T
(
attribute
?Y
Gas
)))
Geography.kif 7241-7247
Entidade
e' uma
instancia
de
NitrogenDioxide
Entidade
tem um
atributo
de
StandardAmbientTemperaturePressure
vale
durante
Posicao Temporal
Gas
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?Y
SulphurDioxide
)
(
holdsDuring
?T
(
property
?Y
StandardAmbientTemperaturePressure
)))
(
holdsDuring
?T
(
attribute
?Y
Gas
)))
Geography.kif 7181-7187
Entidade
e' uma
instancia
de
SulphurDioxide
Entidade
tem um
atributo
de
StandardAmbientTemperaturePressure
vale
durante
Posicao Temporal
Gas
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
(=>
(
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
tem um
atributo
de
Contract
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
Processo
e' uma
instancia
de
Processo Intencional
Processo
e' um
agente
de
Agente Cognitivo
Processo
exprime
o conteudo de
Proposicao
consistent
Proposicao
and
Agreement
o argumento
Entidade
Entidade
e' uma
instancia
de
Acao Legal
plaintiff
Entidade
and
Agente Cognitivo
defendant
Entidade
and
Agente Cognitivo
tem a
forca
modal
de
Possibility
(=>
(
and
(
property
?ITEM ?VALUE)
(
instance
?VALUE
TruthValue
))
(
or
(
instance
?ITEM
Sentence
)
(
instance
?ITEM
Proposition
)))
Merge.kif 16973-16979
Entidade
tem um
atributo
de
Atributo
Atributo
e' uma
instancia
de
Valor Verdade
Entidade
e' uma
instancia
de
Frase
Entidade
e' uma
instancia
de
Proposicao
(=>
(
and
(
property
?OBJ ?SHAPE)
(
instance
?OBJ
Physical
)
(
instance
?SHAPE
ShapeAttribute
))
(
shape
?OBJ ?SHAPE))
Mid-level-ontology.kif 25580-25585
Fisico
tem um
atributo
de
Atributo de Forma
Fisico
e' uma
instancia
de
Fisico
Atributo de Forma
e' uma
instancia
de
Atributo de Forma
shape
Fisico
and
Atributo de Forma
(=>
(
and
(
property
?OBJECT ?ATTRIBUTE)
(
instance
?ATTRIBUTE
AlgebroDifferentialAttribute
))
(
instance
?OBJECT
SetOfEquations
))
engineering.kif 230-234
Entidade
tem um
atributo
de
Atributo
Atributo
e' uma
instancia
de
AlgebroDifferentialAttribute
Entidade
e' uma
instancia
de
SetOfEquations
(=>
(
and
(
property
?OBJECT ?ATTRIBUTE)
(
instance
?ATTRIBUTE
EquationAttribute
))
(
or
(
instance
?OBJECT
Equation
)
(
instance
?OBJECT
SetOfEquations
)))
engineering.kif 211-217
Entidade
tem um
atributo
de
Atributo
Atributo
e' uma
instancia
de
EquationAttribute
Entidade
e' uma
instancia
de
Equation
Entidade
e' uma
instancia
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
tem um
atributo
de
AmericanStyleOption
optionHolder
Agreement
and
Agente Cognitivo
agreementExpirationDate
Agreement
and
Ponto no tempo
Agente Cognitivo
tem o
direito
de executar
Entidade
Entidade
e' uma
instancia
de
ExerciseAnOption
Agreement
e' um
patient
de
Entidade
o
fim
de
tempo
de existencia de
Entidade
comeca
antes
de o
fim
de
Ponto no tempo
(=>
(
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
tem um
atributo
de
EuropeanStyleOption
agreementExpirationDate
Agreement
and
Ponto no tempo
Intervalo Temporal
Intervalo Temporal
and
Fisico
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
o
fim
de
Intervalo Temporal
e'
igual
a
Ponto no tempo
Fisico
e' uma
instancia
de
ExerciseAnOption
tempo
de existencia de
Fisico
e'
igual
a
Intervalo Temporal
Intervalo Temporal
e' uma &parte de
Intervalo Temporal
(=>
(
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
tem um
atributo
de
Option
optionHolder
Agreement
and
Agente Cognitivo
strikePrice
Agreement
and
Medida de Divisa
agreementExpirationDate
Agreement
and
Intervalo Temporal
price
FinancialInstrument
,
Medida de Divisa
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Intervalo Temporal
o
fim
de
AutonomousAgent
comeca
antes
de o
comeco
de
Intervalo Temporal
underlier
Agreement
and
FinancialInstrument
Agente Cognitivo
tem o
direito
de executar a
classe
descrita por
Sequencia Simbolica
(=>
(
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
tem um
atributo
de
Option
optionHolder
Agreement
and
Agente Cognitivo
strikePrice
Agreement
and
Medida de Divisa
agreementExpirationDate
Agreement
and
Intervalo Temporal
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
Medida de Divisa
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Intervalo Temporal
o
fim
de
AutonomousAgent
comeca
antes
de o
comeco
de
Intervalo Temporal
Agente Cognitivo
tem o
direito
de executar a
classe
descrita por
Sequencia Simbolica
(=>
(
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
tem um
atributo
de
Option
optionSeller
Agreement
and
Agente Cognitivo
strikePrice
Agreement
and
Medida de Divisa
agreementExpirationDate
Agreement
and
Intervalo Temporal
price
FinancialInstrument
,
Medida de Divisa
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Intervalo Temporal
o
fim
de
AutonomousAgent
comeca
antes
de o
comeco
de
Intervalo Temporal
underlier
Agreement
and
FinancialInstrument
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
(=>
(
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
tem um
atributo
de
Option
optionSeller
Agreement
and
Agente Cognitivo
strikePrice
Agreement
and
Medida de Divisa
agreementExpirationDate
Agreement
and
Intervalo Temporal
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
Medida de Divisa
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Intervalo Temporal
o
fim
de
AutonomousAgent
comeca
antes
de o
comeco
de
Intervalo Temporal
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
(=>
(
and
(
property
?Option
StockOption
)
(
underlier
?Option ?Stock))
(
property
?Stock
CommonStock
))
FinancialOntology.kif 2712-2716
Agreement
tem um
atributo
de
StockOption
underlier
Agreement
and
FinancialInstrument
FinancialInstrument
tem um
atributo
de
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
tem um
atributo
de
Atributo
Atributo
e' uma
instancia
de
Atributo de Competicao
Processo
Processo
e' uma
instancia
de
Contest
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' um
patient
de
Processo
AutonomousAgent
e' um
sub
-processo de
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 19499-19509
AutonomousAgent
tem um
atributo
de
Atributo
Atributo
e' uma
instancia
de
GameAttribute
Processo
Processo
e' uma
instancia
de
Jogo
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' um
patient
de
Processo
AutonomousAgent
e' um
sub
-processo de
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 19515-19525
AutonomousAgent
tem um
atributo
de
Atributo
Atributo
e' uma
instancia
de
SportsAttribute
Processo
Processo
e' uma
instancia
de
Jogo
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' um
patient
de
Processo
AutonomousAgent
e' um
sub
-processo de
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
Fisico
tem um
atributo
de
Booting
Fisico
e' uma
instancia
de
Computer
Objeto
Objeto
and
Transferencia
Objeto
e' uma
instancia
de
DigitalData
Objeto
e' uma
instancia
de
OperatingSystem
Transferencia
e' uma
instancia
de
DataTransfer
tempo
de existencia de
Transferencia
acontece
durante
tempo
de existencia de
Fisico
Transferencia
termina
em
Fisico
Objeto
e' uma &parte de
Objeto
objectTransferred
Transferencia
and
Objeto
(=>
(
property
?A
CompilationAlbum
)
(
exists
(?A1 ?A2)
(
and
(
albumArtist
?A ?A1)
(
albumArtist
?A ?A2)
(
not
(
equal
?A1 ?A2)))))
Music.kif 490-497
Album
tem um
atributo
de
CompilationAlbum
Album
1
Album
2
albumArtist
Album
and
Album
1
albumArtist
Album
and
Album
2
Album
1 e'
igual
a
Album
2
(=>
(
property
?AGREEMENT
ActiveAgreement
)
(
instance
?AGREEMENT
Agreement
))
Mid-level-ontology.kif 14113-14115
Entidade
tem um
atributo
de
ActiveAgreement
Entidade
e' uma
instancia
de
Agreement
(=>
(
property
?AGREEMENT
ActiveAgreement
)
(
modalAttribute
(
exists
(?PROC)
(
realization
?PROC ?AGREEMENT))
Obligation
))
Mid-level-ontology.kif 14117-14121
Entidade
tem um
atributo
de
ActiveAgreement
o argumento
Entidade
Entidade
exprime
o conteudo de
Entidade
tem a
forca
modal
de
Obligation
(=>
(
property
?AGREEMENT
Contract
)
(
forall
(?X)
(=>
(
subProposition
?X ?AGREEMENT)
(
modalAttribute
?X
Legal
))))
Mid-level-ontology.kif 14142-14147
Proposicao
tem um
atributo
de
Contract
Formula
Formula
e' uma &sub-proposicao de
Proposicao
o argumento
Formula
tem a
forca
modal
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
tem um
atributo
de
MarriageContract
Humano
Humano
partyToAgreement
Humano
and
Agreement
partyToAgreement
Humano
and
Agreement
spouse
Humano
and
Humano
(=>
(
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
Proposicao
tem um
atributo
de
PurchaseContract
Processo
Processo
ELLER and
Agreement
Processo
e' uma
instancia
de
Vender
Processo
e' um
agente
de
Processo
ELLER
Processo
termina
em
Agreement
Processo
exprime
o conteudo de
Proposicao
partyToAgreement
Proposicao
and
Processo
ELLER
partyToAgreement
Proposicao
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