subclass
(=>
(
and
(
instance
?MENU
SetMenu
)
(
offers
?AGENT ?MENU)
(
catalogItem
?CLASS ?MENU)
(
subclass
?CLASS
PreparedFood
)
(
instance
?X ?VLASS)
(
instance
?Y ?CLASS)
(
not
(
equal
?X ?Y))
(
price
?X ?PRICE1 ?AGENT1)
(
price
?Y ?PRICE2 ?AGENT2))
(
equal
?PRICE1 ?PRICE2))
Dining.kif 189-201
Catalog
e' uma
instancia
de
SetMenu
offers
AutonomousAgent
and
Catalog
catalogItem
Entidade
and
Catalog
Entidade
e' uma
sub
-classe de
PreparedFood
Fisico
e' uma
instancia
de
Classe
Fisico
e' uma
instancia
de
Entidade
Fisico
e'
igual
a
Fisico
price
Fisico
,
Medida de Divisa
and
AutonomousAgent
price
Fisico
,
Medida de Divisa
and
AutonomousAgent
Medida de Divisa
e'
igual
a
Medida de Divisa
(=>
(
and
(
instance
?NUCLEUS ?CLASS)
(
subclass
?CLASS
CellNucleus
)
(
initialPart
?CLASS
EukaryoticCell
))
(
exists
(?CHROMOTIN)
(
and
(
instance
?CHROMOTIN
Chromotin
)
(
part
?CHROMOTIN ?NUCLEUS))))
VirusProteinAndCellPart.kif 600-608
Objeto
e' uma
instancia
de
Objeto
Objeto
e' uma
sub
-classe de
CellNucleus
initialPart
Objeto
and
EukaryoticCell
Objeto
Objeto
e' uma
instancia
de
Chromotin
Objeto
e' uma &parte de
Objeto
(=>
(
and
(
instance
?PLACE
AutonomousAgent
)
(
subclass
?YEAR
Year
))
(
instance
(
FiscalYearStartingFn
?PLACE ?YEAR)
(
FiscalYearFn
?PLACE)))
Economy.kif 3738-3742
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Ano
e' uma
sub
-classe de
Ano
FiscalYearStartingFn
AutonomousAgent
and
Ano
e' uma
instancia
de
FiscalYearFn
AutonomousAgent
(=>
(
and
(
instance
?PROCESS ?PROCESS_CLASS)
(
subclass
?PROCESS_CLASS
Process
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?PROCESS ?AGENT)
(
agent
?ACCESSING ?AGENT)
(
during
?PROCESS ?ACCESSING)
(
instance
?TIMETOFIRST
TimeInterval
)
(
not
(
exists
(?PROCESS2)
(
and
(
instance
?PROCESS2 ?PROCESS_CLASS)
(
agent
?PROCESS2 ?AGENT)
(
during
?PROCESS2 ?ACCESSING)
(
before
(
BeginFn
(
WhenFn
?PROCESS2))
(
BeginFn
(
WhenFn
?PROCESS))))))
(
equal
(
BeginFn
(
WhenFn
?ACCESSING))
(
BeginFn
(
WhenFn
?TIMETOFIRST)))
(
equal
(
BeginFn
(
WhenFn
?PROCESS))
(
EndFn
(
WhenFn
?TIMETOFIRST))))
(
equal
(
TTFxFn
?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1496-1518
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
_CLASS
Intervalo Temporal
_CLASS e' uma
sub
-classe de
Processo
AccessingWebPage
e' uma
instancia
de
AccessingWebPage
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Intervalo Temporal
e' um
agente
de
AutonomousAgent
AccessingWebPage
e' um
agente
de
AutonomousAgent
Intervalo Temporal
acontece
durante
AccessingWebPage
Fisico
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
2
Intervalo Temporal
2 e' uma
instancia
de
Intervalo Temporal
_CLASS
Intervalo Temporal
2 e' um
agente
de
AutonomousAgent
Intervalo Temporal
2 acontece
durante
AccessingWebPage
o
comeco
de
tempo
de existencia de
Intervalo Temporal
2 comeca
antes
de o
comeco
de
tempo
de existencia de
Intervalo Temporal
o
comeco
de
tempo
de existencia de
AccessingWebPage
e'
igual
a o
comeco
de
tempo
de existencia de
Fisico
o
comeco
de
tempo
de existencia de
Intervalo Temporal
e'
igual
a o
fim
de
tempo
de existencia de
Fisico
TTFxFn
Intervalo Temporal
_CLASS and
AccessingWebPage
e'
igual
a
Fisico
(=>
(
and
(
instance
?R
RecreationOrExercise
)
(
instrument
?R ?RM)
(
instance
?RM
RowingMachine
)
(
experiencer
?R ?H)
(
instance
?ROW
Rowing
)
(
subProcess
?RMOT ?R)
(
subclass
?C
BodyMotion
)
(
instance
?RMOT ?C))
(
exists
(?ROWMOT)
(
and
(
instance
?ROWMOT ?C)
(
subProcess
?ROWMOT ?R)
(
agent
?ROWMOT ?H))))
Mid-level-ontology.kif 8243-8257
Processo
e' uma
instancia
de
Recreacao ou Exercicio
Processo
M e' um
instrumento
para
Processo
Processo
M e' uma
instancia
de
RowingMachine
AutonomousAgent
experimenta
Processo
Processo
OW e' uma
instancia
de
Rowing
Processo
MOT e' um
sub
-processo de
Processo
Classe
e' uma
sub
-classe de
Movimento do Corpo
Processo
MOT e' uma
instancia
de
Classe
Processo
OWMOT
Processo
OWMOT e' uma
instancia
de
Classe
Processo
OWMOT e' um
sub
-processo de
Processo
Processo
OWMOT e' um
agente
de
AutonomousAgent
(=>
(
and
(
instance
?REL
SheddingPart
)
(?REL ?O ?P)
(
instance
?O ?ORG)
(
subclass
?ORG
Organism
))
(
exists
(?PART)
(
and
(
instance
?P
(
DeadFn
?PART))
(
initialPart
?PART ?ORG))))
Geography.kif 6425-6434
Entidade
e' uma
instancia
de
SheddingPart
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Entidade
RG
Entidade
RG e' uma
sub
-classe de
Organismo
Entidade
ART
Entidade
e' uma
instancia
de
DeadFn
Entidade
ART
initialPart
Entidade
ART and
Entidade
RG
(=>
(
and
(
instance
?REM
OrganismRemains
)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?ORG)
(
instance
?ORG ?ORGTYPE)
(
subclass
?ORGTYPE
OrganicObject
)
(
result
?DEATH ?REM))
(
instance
?REM
(
DeadFn
?ORGTYPE)))
Mid-level-ontology.kif 129-137
Entidade
e' uma
instancia
de
OrganismRemains
Processo
e' uma
instancia
de
Morte
AutonomousAgent
experimenta
Processo
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
TYPE
AutonomousAgent
TYPE e' uma
sub
-classe de
Objeto Organico
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
DeadFn
AutonomousAgent
TYPE
(=>
(
and
(
instance
?ROLE
CaseRole
)
(?ROLE ?ARG1 ?ARG2)
(
instance
?ARG1 ?PROC)
(
subclass
?PROC
Process
))
(
capability
?PROC ?ROLE ?ARG2))
Merge.kif 3910-3916
Role em Caso
e' uma
instancia
de
Role em Caso
Role em Caso
Entidade
and
Objeto
Entidade
e' uma
instancia
de
Processo
Processo
e' uma
sub
-classe de
Processo
Objeto
e'
capaz
de fazer
Processo
no role
Role em Caso
(=>
(
and
(
instance
?S ?C)
(
subclass
?C
Seafood
))
(
exists
(?X ?SEA ?ANIMAL)
(
and
(
meatOfAnimal
?C ?ANIMAL)
(
instance
?X ?ANIMAL)
(
instance
?SEA
BodyOfWater
)
(
inhabits
?X ?SEA))))
Food.kif 1928-1937
Entidade
e' uma
instancia
de
Carne
Carne
e' uma
sub
-classe de
Seafood
Organismo
Entidade
EA and
Animal
meatOfAnimal
Carne
and
Animal
Organismo
e' uma
instancia
de
Animal
Entidade
EA e' uma
instancia
de
BodyOfWater
Organismo
vive
em
Entidade
EA
(=>
(
and
(
instance
?SEAT
AuditoriumSeat
)
(
part
?SEAT ?AUDITORIUM)
(
part
?STAGE ?AUDITORIUM)
(
instance
?AUDITORIUM
Auditorium
)
(
instance
?STAGE
PerformanceStage
)
(
located
?PERSON ?SEAT)
(
instance
?PERSON
Human
)
(
subclass
?SEE
Seeing
)
(
forall
(?INST)
(=>
(
instance
?INST ?SEE)
(
patient
?INST ?STAGE))))
(
capability
?SEE
agent
?PERSON))
Mid-level-ontology.kif 7351-7365
Objeto
e' uma
instancia
de
AuditoriumSeat
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Auditorium
Objeto
e' uma
instancia
de
PerformanceStage
Objeto
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
Humano
Processo
e' uma
sub
-classe de
Visao
Processo
Processo
e' uma
instancia
de
Processo
Objeto
e' um
patient
de
Processo
Objeto
e'
capaz
de fazer
Processo
no role
agent
(=>
(
and
(
instance
?TEXT ?CLASS)
(
subclass
?CLASS
FactualText
)
(
authors
?AGENT ?CLASS)
(
subsumesContentInstance
?TEXT ?CONTENT)
(
instance
?CONTENT
Formula
))
(
believes
?AGENT ?CONTENT))
Merge.kif 15400-15407
ContentBearingPhysical
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
Objeto Representendo Conteudo Abstrato
e' uma
sub
-classe de
FactualText
Agente Cognitivo
e' o
autor
de
Objeto Representendo Conteudo Abstrato
ContentBearingPhysical
subsume
o conteudo de
Formula
Formula
e' uma
instancia
de
Formula
Agente Cognitivo
acredita
que
Formula
(=>
(
and
(
instance
?TEXT ?CLASS)
(
subclass
?CLASS
FictionalText
)
(
authors
?AGENT ?CLASS))
(
exists
(?CONTENT)
(
and
(
subsumesContentInstance
?TEXT ?CONTENT)
(
instance
?CONTENT
Formula
)
(
not
(
believes
?AGENT ?CONTENT)))))
Merge.kif 15431-15440
ContentBearingPhysical
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
Objeto Representendo Conteudo Abstrato
e' uma
sub
-classe de
FictionalText
Agente Cognitivo
e' o
autor
de
Objeto Representendo Conteudo Abstrato
Formula
ContentBearingPhysical
subsume
o conteudo de
Formula
Formula
e' uma
instancia
de
Formula
Agente Cognitivo
acredita
que
Formula
(=>
(
and
(
instance
?WATER
River
)
(
trafficableForTrafficType
?WATER ?TYPE)
(
subclass
?TYPE
WaterVehicle
))
(
instance
?WATER
Waterway
))
Transportation.kif 1683-1688
Objeto
e' uma
instancia
de
River
trafficableForTrafficType
Objeto
and
Objeto auto-conectado
Objeto auto-conectado
e' uma
sub
-classe de
WaterVehicle
Objeto
e' uma
instancia
de
Waterway
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
29.92 ?PRES)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?BOIL))
(
attribute
?X
Gas
))
Merge.kif 13798-13807
Objeto
e' uma
instancia
de
Substancia Pura
Substancia Pura
e' uma
sub
-classe de
Substancia Pura
barometricPressure
Objeto
and
Numero Real
InchMercury
(s) 29.92 e'
maior
que
Numero Real
boilingPoint
Substancia Pura
and
Numero Real
KelvinDegree
(s) a
medida
de
Objeto
e'
Numero Real
KelvinDegree
(s)
Numero Real
e'
maior
que
Numero Real
Gas
e' um
atributo
de
Objeto
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?MELT)
(
lessThan
?TEMP ?BOIL))
(
attribute
?X
Liquid
))
Merge.kif 13809-13818
Objeto
e' uma
instancia
de
Substancia Pura
Substancia Pura
e' uma
sub
-classe de
Substancia Pura
boilingPoint
Substancia Pura
and
Numero Real
KelvinDegree
(s)
meltingPoint
Substancia Pura
and
Numero Real
KelvinDegree
(s) a
medida
de
Objeto
e'
Numero Real
KelvinDegree
(s)
Numero Real
e'
maior
que
Numero Real
Numero Real
e'
menos
que
Numero Real
Liquid
e' um
atributo
de
Objeto
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
?PRES 29.92)
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
lessThan
?TEMP ?MELT))
(
attribute
?X
Solid
))
Merge.kif 13820-13829
Objeto
e' uma
instancia
de
Substancia Pura
Substancia Pura
e' uma
sub
-classe de
Substancia Pura
meltingPoint
Substancia Pura
and
Numero Real
KelvinDegree
(s)
barometricPressure
Objeto
and
Numero Real
InchMercury
(s)
Numero Real
e'
maior
que 29.92 a
medida
de
Objeto
e'
Numero Real
KelvinDegree
(s)
Numero Real
e'
menos
que
Numero Real
Solid
e' um
atributo
de
Objeto
(=>
(
and
(
maritimeClaimType
?AREA ?TYPE)
(
subclass
?TYPE
MaritimeClaimArea
))
(
exists
(?CLAIM)
(
and
(
instance
?CLAIM ?TYPE)
(
claimedTerritory
?CLAIM ?AREA))))
Geography.kif 989-996
maritimeClaimType
Area Geopolitica
and
MaritimeClaimArea
MaritimeClaimArea
e' uma
sub
-classe de
MaritimeClaimArea
Area Geografica
Area Geografica
e' uma
instancia
de
MaritimeClaimArea
claimedTerritory
Area Geografica
and
Area Geopolitica
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
subclass
?TYPE
Object
))
(
exists
(?ITEM)
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA))))
Geography.kif 2271-2278
naturalHazardTypeInArea
Area Geografica
and
Fisico
Fisico
e' uma
sub
-classe de
Objeto
Fisico
Fisico
e' uma
instancia
de
Fisico
Fisico
e'
situado
em
Area Geografica
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
subclass
?TYPE
Process
))
(
exists
(?ITEM)
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA)
(
overlapsTemporally
(
WhenFn
?ITEM)
(
WhenFn
?AREA)))))
Geography.kif 2280-2290
naturalHazardTypeInArea
Area Geografica
and
Fisico
Fisico
e' uma
sub
-classe de
Processo
Fisico
Fisico
e' uma
instancia
de
Fisico
Fisico
e'
situado
em
Area Geografica
tempo
de existencia de
Area Geografica
engloba
tempo
de existencia de
Fisico
(=>
(
and
(
not
(
vegetationType
?REGION ?TYPE))
(
subclass
?TYPE
Plant
)
(
instance
?REGION
GeographicArea
))
(
not
(
exists
(?PLANT)
(
and
(
instance
?PLANT ?TYPE)
(
located
?PLANT ?REGION)))))
Geography.kif 6201-6209
vegetationType
Area Geografica
and
Planta
Planta
e' uma
sub
-classe de
Planta
Area Geografica
e' uma
instancia
de
Area Geografica
Fisico
Fisico
e' uma
instancia
de
Planta
Fisico
e'
situado
em
Area Geografica
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINST ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINST ?OBJ))
(
capability
?PROCESS
agent
?AGENT))
Catalog.kif 98-107
offers
AutonomousAgent
and
Catalog
catalogItem
Entidade
and
Catalog
Entidade
e' uma
sub
-classe de
Objeto
Processo
e' uma
instancia
de
Processo
Processo
e' uma
sub
-classe de
Processo
Entidade
e' uma
instancia
de
Entidade
Entidade
e' um
patient
de
Processo
AutonomousAgent
e'
capaz
de fazer
Processo
no role
agent
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Process
))
(
capability
?CLASS
agent
?AGENT))
Catalog.kif 88-93
offers
AutonomousAgent
and
Catalog
catalogItem
Entidade
and
Catalog
Entidade
e' uma
sub
-classe de
Processo
AutonomousAgent
e'
capaz
de fazer
Entidade
no role
agent
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?OBJ ?CATALOG)
(
subclass
?OBJ
Physical
))
(
modalAttribute
(
exists
(?S ?X)
(
and
(
instance
?X ?OBJ)
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?X)))
Possibility
))
Catalog.kif 51-62
offers
AutonomousAgent
and
Catalog
catalogItem
Entidade
and
Catalog
Entidade
e' uma
sub
-classe de
Fisico
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Entidade
tem a
forca
modal
de
Possibility
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?PROP ?CATALOG)
(
subclass
?PROP
Proposition
))
(
modalAttribute
(
exists
(?P ?S ?X)
(
and
(
instance
?P ?PROP)
(
realization
?X ?P)
(
instance
?S
Selling
)
(
patient
?S ?X)
(
agent
?S ?AGENT)))
Possibility
))
Catalog.kif 64-76
offers
AutonomousAgent
and
Catalog
catalogItem
Entidade
and
Catalog
Entidade
e' uma
sub
-classe de
Proposicao
o argumento
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Entidade
Entidade
exprime
o conteudo de
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
AutonomousAgent
tem a
forca
modal
de
Possibility
(=>
(
and
(
offersAtTime
?AGENT ?CATALOG ?TIMEINT)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINSTANCE ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINSTANCE ?OBJ)
(
instance
?TIMEINT ?TIME)
(
subclass
?TIME
TimeInterval
))
(
capabilityDuring
?PROCESS
agent
?AGENT ?TIME))
Catalog.kif 139-150
offersAtTime
AutonomousAgent
,
Catalog
and
Intervalo Temporal
catalogItem
Entidade
and
Catalog
Entidade
e' uma
sub
-classe de
Objeto
Processo
e' uma
instancia
de
Processo
Processo
e' uma
sub
-classe de
Processo
Entidade
e' uma
instancia
de
Entidade
Entidade
e' um
patient
de
Processo
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Intervalo Temporal
capabilityDuring
Processo
,
agent
,
AutonomousAgent
and
Intervalo Temporal
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