part
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
?P)))
(
instance
?PI ?P)
(
part
?PI ?H)
(
hasPurpose
?PI ?F))
(
modalAttribute
(
not
?F)
Likely
))
Merge.kif 18225-18235
ImpairedBodyPartFn
Classe
e' um
atributo
de
Objeto
vale
durante
Posicao Temporal
Classe
I e' uma
instancia
de
Classe
Classe
I e' uma &parte de
Objeto
Classe
I tem por
fim
Formula
o argumento
Formula
tem a
forca
modal
de
Likely
(=>
(
and
(
holdsDuring
?T
(
measure
?C ?S))
(
engineIdleSpeed
?E ?S)
(
instance
?A
Automobile
)
(
part
?E ?A)
(
part
?C ?E))
(
modalAttribute
(
not
(
exists
(?P ?GP)
(
and
(
during
?P ?T)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?GP ?A))))
Likely
))
Cars.kif 2567-2583
A
medida
de
Objeto
e'
Funcao de Quantidade
vale
durante
Posicao Temporal
engineIdleSpeed
InternalCombustionEngine
and
Funcao de Quantidade
Objeto
e' uma
instancia
de
Automobile
InternalCombustionEngine
e' uma &parte de
Objeto
Objeto
e' uma &parte de
InternalCombustionEngine
o argumento
Entidade
Entidade
Entidade
acontece
durante
Posicao Temporal
Entidade
e' uma
instancia
de
Pushing
Entidade
termina
em
Entidade
Entidade
e' uma &parte de
Objeto
tem a
forca
modal
de
Likely
(=>
(
and
(
holdsDuring
?T
(
possesses
?PERSON ?OBJ))
(
part
?P ?OBJ))
(
holdsDuring
?T
(
possesses
?PERSON ?P)))
Merge.kif 4257-4263
Entidade
possui
Objeto
vale
durante
Posicao Temporal
Objeto
e' uma &parte de
Objeto
Entidade
possui
Objeto
vale
durante
Posicao Temporal
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 9903-9909
Buraco
e' um
buraco
dans
Objeto auto-conectado
Objeto auto-conectado
e' uma &parte de
Objeto auto-conectado
Buraco
engloba
Objeto auto-conectado
Buraco
e' um
buraco
dans
Objeto auto-conectado
(=>
(
and
(
instance
?A
(
BodyAreaFn
?OC))
(
instance
?H
Animal
)
(
part
?A ?H))
(
exists
(?O)
(
and
(
instance
?O ?OC)
(
orientation
?A ?O
Near
)
(
part
?O ?H))))
Medicine.kif 6237-6246
Objeto
e' uma
instancia
de
BodyAreaFn
Parte do Corpo
Objeto
e' uma
instancia
de
Animal
Objeto
e' uma &parte de
Objeto
Objeto
Objeto
e' uma
instancia
de
Parte do Corpo
Objeto
e'
Near
em relacao a
Objeto
Objeto
e' uma &parte de
Objeto
(=>
(
and
(
instance
?A
AegilopsGrass
)
(
part
?C ?A)
(
instance
?C ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 3840-3845
Objeto
e' uma
instancia
de
AegilopsGrass
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Objeto
LASS
Objeto
LASS e' uma
sub
-classe de
DiploidCell
(=>
(
and
(
instance
?A
Americano
)
(
part
?E ?A)
(
part
?W ?A)
(
instance
?E
Espresso
)
(
instance
?W
DrinkingWater
)
(
measure
?W
(
MeasureFn
90.0
CelsiusDegree
))
(
mixtureRatio
?E ?W ?V1 ?V2
Liter
))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)))
Food.kif 1321-1332
Objeto
e' uma
instancia
de
Americano
Substancia
e' uma &parte de
Objeto
Substancia
e' uma &parte de
Objeto
Substancia
e' uma
instancia
de
Espresso
Substancia
e' uma
instancia
de
DrinkingWater
a
medida
de
Substancia
e' 90.0
CelsiusDegree
(s)
mixtureRatio
Substancia
,
Substancia
,
Numero Real
,
Numero Real
and
Liter
approximateValue
Numero Real
and 0.03
approximateValue
Numero Real
and 0.15
(=>
(
and
(
instance
?A
Animal
)
(
instance
?S
AnimalShell
)
(
part
?S ?A))
(
or
(
instance
?A
Invertebrate
)
(
instance
?A
Reptile
)))
Mid-level-ontology.kif 11531-11538
Objeto
e' uma
instancia
de
Animal
Objeto
e' uma
instancia
de
AnimalShell
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Invertebrado
Objeto
e' uma
instancia
de
Reptil
(=>
(
and
(
instance
?A
Antacid
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9839-9861
Objeto
e' uma
instancia
de
Antacid
Movimento
e' uma
instancia
de
Ingerir
Movimento
e' um
agente
de
AutonomousAgent
moves
Movimento
and
Objeto
Objeto
e' uma
instancia
de
Stomach
Objeto
e' uma &parte de
AutonomousAgent
Objeto
contem
Objeto
Objeto
e' uma
instancia
de
Fluid
vale
durante imediatemente
antes
de
tempo
de existencia de
Movimento
Objeto
contem
Objeto
Objeto
e' uma
instancia
de
Fluid
vale
durante imediatemente
apos
tempo
de existencia de
Movimento
phMeasure
Objeto
and
Numero Real
phMeasure
Objeto
and
Numero Real
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?A
AntibodyCOVIDTest
)
(
instrument
?M ?A)
(
instance
?M
Measuring
)
(
patient
?M ?H)
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H))
(
modalAttribute
(
knows
?H
(
exists
(?CA)
(
and
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H))))
Likely
))
Medicine.kif 2763-2777
Objeto
e' uma
instancia
de
AntibodyCOVIDTest
Objeto
e' um
instrumento
para
Processo
Processo
e' uma
instancia
de
Medir
Objeto
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
COVIDAntibody
Objeto
e' uma &parte de
Objeto
o argumento
Objeto
sabe
Objeto
Objeto
e' uma
instancia
de
COVIDAntibody
Objeto
e' uma &parte de
Objeto
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?A
Armor
)
(
or
(
part
?A ?OBJ)
(
meetsSpatially
?A ?OBJ)))
(
hasPurpose
?A
(
exists
(?MAINTAINING)
(
and
(
instance
?MAINTAINING
Maintaining
)
(
instrument
?MAINTAINING ?A)
(
experiencer
?MAINTAINING ?OBJ)))))
MilitaryDevices.kif 1619-1630
Objeto
e' uma
instancia
de
Armor
Objeto
e' uma &parte de
Objeto
Objeto
encontra
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Preservar
Objeto
e' um
instrumento
para
Entidade
Objeto
experimenta
Entidade
(=>
(
and
(
instance
?A
Armor
)
(
or
(
part
?A ?OBJ)
(
meetsSpatially
?A ?OBJ)))
(
hasPurpose
?A
(
not
(
exists
(?DAMAGING)
(
and
(
instance
?DAMAGING
Damaging
)
(
instrument
?DAMAGING ?A)
(
experiencer
?DAMAGING ?OBJ))))))
MilitaryDevices.kif 1632-1644
Objeto
e' uma
instancia
de
Armor
Objeto
e' uma &parte de
Objeto
Objeto
encontra
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Causar Dano
Objeto
e' um
instrumento
para
Entidade
Objeto
experimenta
Entidade
(=>
(
and
(
instance
?A
LocalAnesthetizing
)
(
located
?A ?BP)
(
instance
?BP
BodyPart
)
(
part
?BP ?P)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
not
(
attribute
?P
(
PainFn
?BP)))))
Medicine.kif 1008-1019
Processo
e' uma
instancia
de
LocalAnesthetizing
Processo
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
Parte do Corpo
Objeto
e' uma &parte de
Objeto
Objeto
e' um
patient
de
Processo
PainFn
Objeto
e' um
atributo
de
Objeto
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?A
ProtonPumpInhibitor
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9900-9922
Objeto
e' uma
instancia
de
ProtonPumpInhibitor
Movimento
e' uma
instancia
de
Ingerir
Movimento
e' um
agente
de
AutonomousAgent
moves
Movimento
and
Objeto
Objeto
e' uma
instancia
de
Stomach
Objeto
e' uma &parte de
AutonomousAgent
Objeto
contem
Objeto
Objeto
e' uma
instancia
de
Fluid
vale
durante imediatemente
antes
de
tempo
de existencia de
Movimento
Objeto
contem
Objeto
Objeto
e' uma
instancia
de
Fluid
vale
durante imediatemente
apos
tempo
de existencia de
Movimento
phMeasure
Objeto
and
Numero Real
phMeasure
Objeto
and
Numero Real
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?A1
Automobile
)
(
instance
?A2
Automobile
)
(
instance
?S1
AutomobileShock
)
(
part
?S1 ?A1)
(
not
(
exists
(?S2)
(
and
(
instance
?S2
AutomobileShock
)
(
part
?S2 ?A2))))
(
dampingRatio
?A1 ?R1)
(
dampingRatio
?A2 ?R2))
(
greaterThan
?R2 ?R1))
Cars.kif 853-866
PhysicalSystem
e' uma
instancia
de
Automobile
PhysicalSystem
e' uma
instancia
de
Automobile
Objeto
e' uma
instancia
de
AutomobileShock
Objeto
e' uma &parte de
PhysicalSystem
Objeto
Objeto
e' uma
instancia
de
AutomobileShock
Objeto
e' uma &parte de
PhysicalSystem
dampingRatio
PhysicalSystem
and
Numero Real
dampingRatio
PhysicalSystem
and
Numero Real
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?ANIMAL
Animal
)
(
instance
?SKELETON
Exoskeleton
)
(
part
?SKELETON ?ANIMAL))
(
instance
?ANIMAL
Invertebrate
))
Mid-level-ontology.kif 11675-11680
Objeto
e' uma
instancia
de
Animal
Objeto
e' uma
instancia
de
Exoskeleton
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Invertebrado
(=>
(
and
(
instance
?ANIMAL
Animal
)
(
instance
?SKELETON
Skeleton
)
(
part
?SKELETON ?ANIMAL))
(
instance
?ANIMAL
Vertebrate
))
Mid-level-ontology.kif 11655-11660
Objeto
e' uma
instancia
de
Animal
Objeto
e' uma
instancia
de
Skeleton
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Vertebrado
(=>
(
and
(
instance
?AS
AirStream
)
(
part
?AIR ?AS))
(
attribute
?AR
Gas
))
Weather.kif 69-73
Objeto
e' uma
instancia
de
AirStream
Objeto
e' uma &parte de
Objeto
Gas
e' um
atributo
de
Objeto
(=>
(
and
(
instance
?Application
AutomaticApplication
)
(
instance
?System
SoftwareSystem
)
(
part
?Application ?System))
(
part
(
StartupFn
?Application)
(
StartupFn
?System)))
QoSontology.kif 586-591
Objeto
e' uma
instancia
de
AutomaticApplication
Objeto
e' uma
instancia
de
SoftwareSystem
Objeto
e' uma &parte de
Objeto
StartupFn
Objeto
e' uma &parte de
StartupFn
Objeto
(=>
(
and
(
instance
?B
Breast
)
(
instance
?H
Human
)
(
part
?B ?H))
(
part
?B
(
FrontFn
?H)))
Mid-level-ontology.kif 12848-12854
Objeto
e' uma
instancia
de
Breast
Objeto auto-conectado
e' uma
instancia
de
Humano
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e' uma &parte de
afrente
de
Objeto auto-conectado
(=>
(
and
(
instance
?B
Breast
)
(
part
?B ?H))
(
attribute
?B
Female
))
Mid-level-ontology.kif 12859-12863
Objeto
e' uma
instancia
de
Breast
Objeto
e' uma &parte de
Objeto
Female
e' um
atributo
de
Objeto
(=>
(
and
(
instance
?B
Brine
)
(
measure
?B
(
MeasureFn
1.0
Liter
))
(
part
?SALT ?B)
(
instance
?SALT
SodiumChloride
)
(
measure
?SALT
(
MeasureFn
?R
Gram
)))
(
and
(
greaterThan
?R 35.0)
(
lessThanOrEqualTo
?R 260.0)))
Geography.kif 2873-2884
Objeto
e' uma
instancia
de
Brine
a
medida
de
Objeto
e' 1.0
Liter
(s)
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
SodiumChloride
a
medida
de
Objeto
e'
Numero Real
Gram
(s)
Numero Real
e'
maior
que 35.0
Numero Real
e'
menor
ou igual a 260.0
(=>
(
and
(
instance
?B
VehicleBrake
)
(
instance
?V
Vehicle
)
(
part
?B ?V))
(
hasPurpose
?B
(
exists
(?S)
(
and
(
instance
?S
(
StopFn
Motion
))
(
patient
?S ?V)
(
instrument
?S ?B)))))
Mid-level-ontology.kif 3416-3426
Objeto
e' uma
instancia
de
VehicleBrake
Objeto
e' uma
instancia
de
Vehicle
Objeto
e' uma &parte de
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
StopFn
Movimento
Objeto
e' um
patient
de
Entidade
Objeto
e' um
instrumento
para
Entidade
(=>
(
and
(
instance
?BODY
ReproductiveBody
)
(
part
?BODY ?ORG)
(
instance
?ORG
Organism
))
(
attribute
?ORG
Female
))
Merge.kif 18117-18122
Objeto
e' uma
instancia
de
Corpo Reprodutor
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Organismo
Female
e' um
atributo
de
Objeto
(=>
(
and
(
instance
?BP
BrakePedal
)
(
instance
?P
Pushing
)
(
instance
?V
Vehicle
)
(
destination
?P ?BP)
(
eventLocated
?P ?V)
(
part
?BP ?V))
(
hasPurpose
?BP
(
exists
(?FS ?F)
(
and
(
instance
?FS
WearingFrictionSurface
)
(
instance
?F
Friction
)
(
instrument
?F ?FS)
(
causes
?P ?F)))))
Cars.kif 693-707
Objeto
e' uma
instancia
de
BrakePedal
Processo
e' uma
instancia
de
Pushing
Objeto
e' uma
instancia
de
Vehicle
Processo
termina
em
Objeto
eventLocated
Processo
and
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
WearingFrictionSurface
Entidade
e' uma
instancia
de
Friction
Entidade
e' um
instrumento
para
Entidade
Processo
causa
Entidade
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