not
(=>
(
and
(
instance
?UW
UnconventionalWarfare
)
(
agent
?UW ?AGENT)
(
not
(
equal
?AGENT ?POPULACE))
(
not
(
equal
?AGENT
(
GovernmentFn
?NATION)))
(
patient
?UW ?POPULACE)
(
or
(
member
?POPULACE
(
ResidentFn
?NATION))
(
subCollection
?POPULACE
(
ResidentFn
?NATION))))
(
exists
(?CONTEST)
(
and
(
instance
?CONTEST
Contest
)
(
agent
?CONTEST ?POPULACE)
(
agent
?CONTEST
(
GovernmentFn
?NATION)))))
MilitaryProcesses.kif 163-183
Processo
e' uma
instancia
de
UnconventionalWarfare
Processo
e' um
agente
de
Governo
Governo
e'
igual
a
AutonomousAgent
Governo
e'
igual
a o
governo
de
Area Geopolitica
AutonomousAgent
e' um
patient
de
Processo
AutonomousAgent
e'
membro
de
ResidentFn
Area Geopolitica
AutonomousAgent
e' uma
sub
-colecao de
ResidentFn
Area Geopolitica
Processo
Processo
e' uma
instancia
de
Contest
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de o
governo
de
Area Geopolitica
(=>
(
and
(
instance
?V
Vending
)
(
objectTransferred
?V ?O)
(
not
(
instance
?O
Currency
)))
(
modalAttribute
(
or
(
instance
?O
(
FoodForFn
Human
))
(
instance
?O
Beverage
))
Likely
))
Mid-level-ontology.kif 1986-1995
Transferencia
e' uma
instancia
de
Vending
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Currency
o argumento
Objeto
e' uma
instancia
de
FoodForFn
Humano
Objeto
e' uma
instancia
de
Bebida
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?V
VocalCords
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?V ?D)))
(
exists
(?F1 ?F2)
(
and
(
instance
?F1
VocalFold
)
(
instance
?F2
VocalFold
)
(
not
(
equal
?F1 ?F2))
(
part
?F1 ?V)
(
part
?F2 ?V))))
Mid-level-ontology.kif 809-822
Objeto
e' uma
instancia
de
VocalCords
Atributo
e' uma
instancia
de
Doenca ou Sindrome
Atributo
e' um
atributo
de
Objeto
Objeto
Objeto
Objeto
e' uma
instancia
de
VocalFold
Objeto
e' uma
instancia
de
VocalFold
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
(=>
(
and
(
instance
?VO
VitalOrgan
)
(
instance
?H
Animal
)
(
not
(
part
?VO ?H)))
(
not
(
attribute
?H
Living
)))
Mid-level-ontology.kif 11836-11843
Objeto
e' uma
instancia
de
VitalOrgan
Objeto
e' uma
instancia
de
Animal
Objeto
e' uma &parte de
Objeto
Living
e' um
atributo
de
Objeto
(=>
(
and
(
instance
?WATER
BodyOfWater
)
(
not
(
instance
?WATER
Ocean
))
(
instance
?OCEAN
Ocean
))
(
larger
?OCEAN ?WATER))
Geography.kif 4523-4528
Objeto
e' uma
instancia
de
BodyOfWater
Objeto
e' uma
instancia
de
Ocean
Objeto
e' uma
instancia
de
Ocean
Objeto
e'
maior
do que
Objeto
(=>
(
and
(
instance
?WINDOW
InterfaceWindow
)
(
instance
?GUIE
GUIElement
)
(
screenOfGUIE
?WINDOW ?SCREEN)
(
screenOfGUIE
?GUIE ?SCREEN)
(
not
(
instance
?GUIE
InterfaceWindow
))
(
hasGUEState
?WINDOW
GUE_ActiveState
)
(
hasGUEState
?GUIE
GUE_ActiveState
))
(
properPart
?GUIE ?WINDOW))
ComputerInput.kif 1920-1929
GUIElement
e' uma
instancia
de
InterfaceWindow
GUIElement
e' uma
instancia
de
GUIElement
screenOfGUIE
GUIElement
and
ComputerScreen
screenOfGUIE
GUIElement
and
ComputerScreen
GUIElement
e' uma
instancia
de
InterfaceWindow
hasGUEState
GUIElement
and
GUE_ActiveState
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
e' uma &parte de
GUIElement
(=>
(
and
(
instance
?WINDOW_A
InterfaceWindow
)
(
instance
?WINDOW_P
InterfaceWindow
)
(
screenOfGUIE
?WINDOW_A ?SCREEN)
(
screenOfGUIE
?WINDOW_P ?SCREEN)
(
hasGUEState
?WINDOW_A
GUE_ActiveState
)
(
not
(
equal
?WINDOW_A ?WINDOW_P)))
(
hasGUEState
?WINDOW_P
GUE_PassiveState
))
ComputerInput.kif 1964-1972
Entidade
_A e' uma
instancia
de
InterfaceWindow
Entidade
_P e' uma
instancia
de
InterfaceWindow
screenOfGUIE
Entidade
_A and
ComputerScreen
screenOfGUIE
Entidade
_P and
ComputerScreen
hasGUEState
Entidade
_A and
GUE_ActiveState
Entidade
_A e'
igual
a
Entidade
_P
hasGUEState
Entidade
_P and
GUE_PassiveState
(=>
(
and
(
instance
?X
Pasta
)
(
not
(
exists
(?Y)
(
and
(
instance
?Y
Pasta
)
(
part
?Y ?X)))))
(
attribute
?X
LongAndThin
))
Food.kif 2622-2630
Objeto
e' uma
instancia
de
Pasta
Objeto
Objeto
e' uma
instancia
de
Pasta
Objeto
e' uma &parte de
Objeto
LongAndThin
e' um
atributo
de
Objeto
(=>
(
and
(
instance
?X
Penne
)
(
not
(
exists
(?Y)
(
and
(
instance
?Y
Penne
)
(
part
?Y ?X)))))
(
and
(
exists
(?HOLE2)
(
and
(
instance
?HOLE2
HoleRegion
)
(
part
?X ?HOLE2)))
(
attribute
?X
Fillable
)))
Food.kif 2763-2776
Objeto
e' uma
instancia
de
Penne
Objeto
Objeto
e' uma
instancia
de
Penne
Objeto
e' uma &parte de
Objeto
Objeto
Objeto
e' uma
instancia
de
Buraco
Objeto
e' uma &parte de
Objeto
Fillable
e' um
atributo
de
Objeto
(=>
(
and
(
instance
?X
Spaghetti
)
(
not
(
exists
(?Y)
(
and
(
instance
?Y
Spaghetti
)
(
part
?Y ?X)))))
(
attribute
?X
LongAndThin
))
Food.kif 3464-3472
Objeto
e' uma
instancia
de
Spaghetti
Objeto
Objeto
e' uma
instancia
de
Spaghetti
Objeto
e' uma &parte de
Objeto
LongAndThin
e' um
atributo
de
Objeto
(=>
(
and
(
instance
?X
SurveillanceSystem
)
(
member
?X ?VIDEO)
(
member
?X ?DISPLAY)
(
located
?VIDEO ?LOC1)
(
instance
?VIDEO
Camera
)
(
located
?DISPLAY ?LOC2)
(
not
(
equal
?LOC1 ?LOC2))
(
instance
?DISPLAY
VideoDisplay
))
(
hasPurpose
?X
(
exists
(?PROC ?VID ?RL ?CAPTURE)
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC1)
(
represents
?VID ?PROC)
(
instrument
?CAPTURE
Camera
)
(
result
?CAPTURE ?VID)
(
instance
?RL
RadiatingLight
)
(
instrument
?RL ?DISPLAY)
(
patient
?RL ?VID)
(
before
(
BeginFn
?PROC)
(
BeginFn
?CAPTURE))
(
before
(
BeginFn
?CAPTURE)
(
BeginFn
?RL))))))
Mid-level-ontology.kif 26961-26987
Fisico
e' uma
instancia
de
SurveillanceSystem
Fisico
e'
membro
de
Colecao
Fisico
e'
membro
de
Colecao
Colecao
e'
situado
em
Objeto
Colecao
e' uma
instancia
de
Camera
Colecao
e'
situado
em
Objeto
Objeto
e'
igual
a
Objeto
Colecao
e' uma
instancia
de
VideoDisplay
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo
eventLocated
Entidade
and
Objeto
Entidade
define
Entidade
Camera
e' um
instrumento
para
Entidade
Entidade
e' o
resultado
de
Entidade
Entidade
e' uma
instancia
de
Luz Irradiante
Colecao
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
o
comeco
de
Entidade
comeca
antes
de o
comeco
de
Entidade
o
comeco
de
Entidade
comeca
antes
de o
comeco
de
Entidade
(=>
(
and
(
lastStatement
?Account ?Statement)
(
instance
?Transaction1
FinancialTransaction
)
(
realization
?Statement ?Transaction1)
(
instance
?Transaction2
FinancialTransaction
)
(
not
(
realization
?Statement ?Transaction2)))
(
earlier
(
WhenFn
?Transaction2)
(
WhenFn
?Transaction1)))
FinancialOntology.kif 3907-3914
lastStatement
FinancialAccount
and
BankStatement
Fisico
e' uma
instancia
de
Transacao Financeira
BankStatement
exprime
o conteudo de
Fisico
Fisico
e' uma
instancia
de
Transacao Financeira
BankStatement
nao
exprime
%n o conteudo de
Fisico
tempo
de existencia de
Fisico
acontence
antes
de
tempo
de existencia de
Fisico
(=>
(
and
(
measure
?P1
(
MeasureFn
?N1
Lumen
))
(
measure
?P2
(
MeasureFn
?N2
Lumen
))
(
part
?P1 ?O)
(
part
?P2 ?O)
(
not
(
equal
?P1 ?P2))
(
greaterThan
?N1 ?N2)
(
equal
(
DivisionFn
?N1 ?N2) ?R)
(
contrastRatio
?O ?R))
(
not
(
exists
(?P3 ?P4 ?N3 ?N4)
(
and
(
measure
?P3
(
MeasureFn
?N3
Lumen
))
(
measure
?P4
(
MeasureFn
?N4
Lumen
))
(
part
?P3 ?O)
(
part
?P4 ?O)
(
not
(
equal
?P3 ?P4))
(
greaterThan
?N3 ?N4)
(
greaterThan
(
DivisionFn
?N3 ?N4) ?R)))))
ComputingBrands.kif 3735-3756
A
medida
de
Objeto
e'
Numero Real
Lumen
(s) a
medida
de
Objeto
e'
Numero Real
Lumen
(s)
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e'
igual
a
Objeto
Numero Real
e'
maior
que
Numero Real
Numero Real
+
Numero Real
e'
igual
a
Numero Real
contrastRatio
Objeto
and
Numero Real
Objeto
Objeto
,
Numero Real
and
Numero Real
a
medida
de
Objeto
e'
Numero Real
Lumen
(s) a
medida
de
Objeto
e'
Numero Real
Lumen
(s)
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e'
igual
a
Objeto
Numero Real
e'
maior
que
Numero Real
Numero Real
+
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
meceCollection
?COLL1 ?COLL2)
(
instance
?COLL3
Collection
)
(
instance
?COLL4
Collection
)
(
instance
?MEMBER
SelfConnectedObject
)
(
member
?MEMBER ?COLL1)
(
member
?COLL3 ?COLL2)
(
member
?COLL4 ?COLL2)
(
not
(
equal
?COLL3 ?COLL4)))
(
not
(
and
(
member
?MEMBER ?COLL3)
(
member
?MEMBER ?COLL4))))
UXExperimentalTerms.kif 4638-4652
meceCollection
Colecao
and
Colecao
Colecao
e' uma
instancia
de
Colecao
Colecao
e' uma
instancia
de
Colecao
Fisico
e' uma
instancia
de
Objeto auto-conectado
Fisico
e'
membro
de
Colecao
Colecao
e'
membro
de
Colecao
Colecao
e'
membro
de
Colecao
Colecao
e'
igual
a
Colecao
~{
Fisico
e'
membro
de
Colecao
} ~{
Fisico
e'
membro
de
Colecao
}
(=>
(
and
(
member
?OBJ1 ?COLL)
(
member
?OBJ2 ?COLL)
(
not
(
equal
?OBJ1 ?OBJ2)))
(
not
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9615-9621
Objeto
e'
membro
de
Colecao
Objeto
e'
membro
de
Colecao
Objeto
e'
igual
a
Objeto
Objeto
nao
engloba
%n
Objeto
(=>
(
and
(
names
?NAMESTRING ?OBJ)
(
nameBeforeKeyName
?STRING ?KEY ?NAMESTRING)
(
not
(
equal
?STRING ?KEY)))
(
not
(
nameIndexOrder
?NAMESTRING ?OBJ)))
Media.kif 3406-3411
Entidade
se chama
nome
Sequencia Simbolica
nameBeforeKeyName
Sequencia Simbolica
,
Sequencia Simbolica
and
Sequencia Simbolica
Sequencia Simbolica
e'
igual
a
Sequencia Simbolica
nameIndexOrder
Sequencia Simbolica
and
Entidade
(=>
(
and
(
not
(
attribute
?H
Anemia
))
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Female
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
greaterThan
?N 12))
Medicine.kif 206-221
Anemia
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Sangue
Objeto
e' uma &parte de
Objeto
Female
e' um
atributo
de
Objeto
a
medida
de
Objeto
e' 0.1
Liter
(s)
Objeto
E e' uma
instancia
de
Hemoglobin
Objeto
E e' uma &parte de
Objeto
Objeto
E2 e' uma
instancia
de
Hemoglobin
Objeto
E e'
igual
a
Objeto
E2
Objeto
2 e' uma &parte de
Objeto
a
medida
de
Objeto
E e'
Numero Real
Gram
(s)
Numero Real
e'
maior
que 12
(=>
(
and
(
not
(
attribute
?H
Anemia
))
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Male
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
greaterThan
?N 13))
Medicine.kif 189-204
Anemia
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Sangue
Objeto
e' uma &parte de
Objeto
Male
e' um
atributo
de
Objeto
a
medida
de
Objeto
e' 0.1
Liter
(s)
Objeto
E e' uma
instancia
de
Hemoglobin
Objeto
E e' uma &parte de
Objeto
Objeto
E2 e' uma
instancia
de
Hemoglobin
Objeto
E e'
igual
a
Objeto
E2
Objeto
2 e' uma &parte de
Objeto
a
medida
de
Objeto
E e'
Numero Real
Gram
(s)
Numero Real
e'
maior
que 13
(=>
(
and
(
not
(
equal
?NUMBER2 0))
(
equal
(
AdditionFn
(
MultiplicationFn
(
FloorFn
(
DivisionFn
?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER))
Merge.kif 5117-5128
Numero Inteiro
e'
igual
a 0 (o
maior
numero inteiro menor or igual a
Numero Inteiro
+
Numero Inteiro
+
Numero Inteiro
+
Numero Inteiro
) e'
igual
a
Numero Inteiro
Numero Inteiro
mod
Numero Inteiro
e'
igual
a
Numero Inteiro
(=>
(
and
(
not
(
holdsDuring
?T1
(
attribute
?H
Concussion
)))
(
holdsDuring
?T2
(
attribute
?H
Concussion
))
(
meetsTemporally
?T1 ?T2))
(
modalAttribute
(
holdsDuring
(
BeginFn
?T2)
(
attribute
?H
Unconscious
))
Likely
))
Medicine.kif 1314-1326
Concussion
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Concussion
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
o argumento
Inconsciente
e' um
atributo
de
Entidade
vale
durante o
comeco
de
Intervalo Temporal
tem a
forca
modal
de
Likely
(=>
(
and
(
not
(
instance
?A
AutonomousAgent
))
(
holdsDuring
?T
(
attribute
?A
Motionless
)))
(
not
(
exists
(?P)
(
and
(
instance
?P
Motion
)
(
patient
?P ?A)
(
during
(
WhenFn
?P) ?T)))))
Mid-level-ontology.kif 30243-30254
Entidade
e' uma
instancia
de
AutonomousAgent
Motionless
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Processo
Processo
e' uma
instancia
de
Movimento
Entidade
e' um
patient
de
Processo
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
(=>
(
and
(
not
(
part
?OBJ1 ?OBJ2))
(
not
(
part
?OBJ2 ?OBJ1))
(
and
(
part
?OBJ3 ?OBJ1)
(
part
?OBJ3 ?OBJ2)))
(
overlapsPartially
?OBJ1 ?OBJ2))
Merge.kif 9656-9663
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
engloba
parcialmente
Objeto
(=>
(
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
(
orientation
?OBJ1 ?OBJ2 ?ATTR1)
(
contraryAttribute
@ROW)
(
inList
?ATTR1
(
ListFn
@ROW))
(
inList
?ATTR2
(
ListFn
@ROW))
(
not
(
equal
?ATTR1 ?ATTR2)))
(
not
(
orientation
?OBJ1 ?OBJ2 ?ATTR2)))
Merge.kif 16943-16951
Objeto
e'
Atributo Posicional
em relacao a
Objeto
@ROW e' &o oposto de
Atributo Posicional
e' um
membro
de (@ROW)
Atributo Posicional
e' um
membro
de (@ROW)
Atributo Posicional
e'
igual
a
Atributo Posicional
Objeto
e'
Atributo Posicional
em relacao a
Objeto
(=>
(
and
(
overlapsSpatially
?ONE ?TWO)
(
instance
?TWO
Region
)
(
not
(
equal
?ONE ?TWO)))
(
partlyLocated
?ONE ?TWO))
Geography.kif 3496-3501
Objeto
engloba
Objeto
Objeto
e' uma
instancia
de
Regiao
Objeto
e'
igual
a
Objeto
Objeto
e'
parcialmente
localizado em
Objeto
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