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
attribute
Oggetto
and
ImpairedBodyPartFn
Classe
vales
durante
PosizioneTemporale
Classe
I è un'
istanza
di
Classe
Classe
I è una
parte
di
Oggetto
Classe
I ha
scopo
Formula
l'affermazione
Formula
ha il modello di forza di
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
La
misura
Oggetto
è
FunzioneDiQuantit�
vales
durante
PosizioneTemporale
engineIdleSpeed
InternalCombustionEngine
and
FunzioneDiQuantit�
Oggetto
è un'
istanza
di
Automobile
InternalCombustionEngine
è una
parte
di
Oggetto
Oggetto
è una
parte
di
InternalCombustionEngine
l'affermazione
Entit�
Entit�
Entit�
has luogo
durante
PosizioneTemporale
Entit�
è un'
istanza
di
Pushing
Entit�
fine
s in
Entit�
Entit�
è una
parte
di
Oggetto
ha il modello di forza di
Likely
(=>
(
and
(
holdsDuring
?T
(
possesses
?PERSON ?OBJ))
(
part
?P ?OBJ))
(
holdsDuring
?T
(
possesses
?PERSON ?P)))
Merge.kif 4257-4263
Entit�
possiede
es
Oggetto
vales
durante
PosizioneTemporale
Oggetto
è una
parte
di
Oggetto
Entit�
possiede
es
Oggetto
vales
durante
PosizioneTemporale
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 9903-9909
Apertura
è un'
apertura
in
OggettoIntegro
OggettoIntegro
è una
parte
di
OggettoIntegro
apertura
si
sovrappones a
OggettoIntegro
apertura
è un'
apertura
in
OggettoIntegro
(=>
(
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
Oggetto
è un'
istanza
di
BodyAreaFn
ParteDelCorpo
Oggetto
è un'
istanza
di
Animale
Oggetto
è una
parte
di
Oggetto
Oggetto
Oggetto
è un'
istanza
di
ParteDelCorpo
Oggetto
è
Near
a
Oggetto
Oggetto
è una
parte
di
Oggetto
(=>
(
and
(
instance
?A
AegilopsGrass
)
(
part
?C ?A)
(
instance
?C ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 3840-3845
Oggetto
è un'
istanza
di
AegilopsGrass
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Oggetto
LASS
Oggetto
LASS è una
sottoclasse
di
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
Oggetto
è un'
istanza
di
Americano
Sostanza
è una
parte
di
Oggetto
Sostanza
è una
parte
di
Oggetto
Sostanza
è un'
istanza
di
Espresso
Sostanza
è un'
istanza
di
DrinkingWater
la
misura
Sostanza
è 90.0
CelsiusDegree
(s
mixtureRatio
Sostanza
,
Sostanza
,
NumeroReale
,
NumeroReale
and
Liter
approximateValue
NumeroReale
and 0.03
approximateValue
NumeroReale
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
Oggetto
è un'
istanza
di
Animale
Oggetto
è un'
istanza
di
AnimalShell
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Invertebrato
Oggetto
è un'
istanza
di
Rettile
(=>
(
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
Oggetto
è un'
istanza
di
Antacid
Movimento
è un'
istanza
di
Ingestione
Movimento
è un
agente
di
AutonomousAgent
moves
Movimento
and
Oggetto
Oggetto
è un'
istanza
di
Stomach
Oggetto
è una
parte
di
AutonomousAgent
contains
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
Fluid
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Movimento
contains
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
Fluid
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Movimento
phMeasure
Oggetto
and
NumeroReale
phMeasure
Oggetto
and
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
Oggetto
è un'
istanza
di
AntibodyCOVIDTest
Oggetto
è uno
strumento
per
Processo
Processo
è un'
istanza
di
Misurare
Oggetto
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
COVIDAntibody
Oggetto
è una
parte
di
Oggetto
l'affermazione
Oggetto
conosce
s
Oggetto
Oggetto
è un'
istanza
di
COVIDAntibody
Oggetto
è una
parte
di
Oggetto
ha il modello di forza di
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
Oggetto
è un'
istanza
di
Armor
Oggetto
è una
parte
di
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
ha
scopo
Entit�
Entit�
è un'
istanza
di
Mantenere
Oggetto
è uno
strumento
per
Entit�
Oggetto
esperisce
s
Entit�
(=>
(
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
Oggetto
è un'
istanza
di
Armor
Oggetto
è una
parte
di
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
ha
scopo
Entit�
Entit�
è un'
istanza
di
Danneggiare
Oggetto
è uno
strumento
per
Entit�
Oggetto
esperisce
s
Entit�
(=>
(
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
è un'
istanza
di
LocalAnesthetizing
Processo
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
ParteDelCorpo
Oggetto
è una
parte
di
Oggetto
Oggetto
è un
paziente
di
Processo
attribute
Oggetto
and
PainFn
Oggetto
vales
durante
il
tempo
di esistenza di
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
Oggetto
è un'
istanza
di
ProtonPumpInhibitor
Movimento
è un'
istanza
di
Ingestione
Movimento
è un
agente
di
AutonomousAgent
moves
Movimento
and
Oggetto
Oggetto
è un'
istanza
di
Stomach
Oggetto
è una
parte
di
AutonomousAgent
contains
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
Fluid
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Movimento
contains
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
Fluid
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Movimento
phMeasure
Oggetto
and
NumeroReale
phMeasure
Oggetto
and
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
è un'
istanza
di
Automobile
PhysicalSystem
è un'
istanza
di
Automobile
Oggetto
è un'
istanza
di
AutomobileShock
Oggetto
è una
parte
di
PhysicalSystem
Oggetto
Oggetto
è un'
istanza
di
AutomobileShock
Oggetto
è una
parte
di
PhysicalSystem
dampingRatio
PhysicalSystem
and
NumeroReale
dampingRatio
PhysicalSystem
and
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?ANIMAL
Animal
)
(
instance
?SKELETON
Exoskeleton
)
(
part
?SKELETON ?ANIMAL))
(
instance
?ANIMAL
Invertebrate
))
Mid-level-ontology.kif 11675-11680
Oggetto
è un'
istanza
di
Animale
Oggetto
è un'
istanza
di
Exoskeleton
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Invertebrato
(=>
(
and
(
instance
?ANIMAL
Animal
)
(
instance
?SKELETON
Skeleton
)
(
part
?SKELETON ?ANIMAL))
(
instance
?ANIMAL
Vertebrate
))
Mid-level-ontology.kif 11655-11660
Oggetto
è un'
istanza
di
Animale
Oggetto
è un'
istanza
di
Skeleton
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Vertebrato
(=>
(
and
(
instance
?AS
AirStream
)
(
part
?AIR ?AS))
(
attribute
?AR
Gas
))
Weather.kif 69-73
Oggetto
è un'
istanza
di
AirStream
Oggetto
è una
parte
di
Oggetto
attribute
Oggetto
and
Gas
(=>
(
and
(
instance
?Application
AutomaticApplication
)
(
instance
?System
SoftwareSystem
)
(
part
?Application ?System))
(
part
(
StartupFn
?Application)
(
StartupFn
?System)))
QoSontology.kif 586-591
Oggetto
è un'
istanza
di
AutomaticApplication
Oggetto
è un'
istanza
di
SoftwareSystem
Oggetto
è una
parte
di
Oggetto
StartupFn
Oggetto
è una
parte
di
StartupFn
Oggetto
(=>
(
and
(
instance
?B
Breast
)
(
instance
?H
Human
)
(
part
?B ?H))
(
part
?B
(
FrontFn
?H)))
Mid-level-ontology.kif 12848-12854
Oggetto
è un'
istanza
di
Breast
OggettoIntegro
è un'
istanza
di
Umano
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
è una
parte
di il
davanti
di
OggettoIntegro
(=>
(
and
(
instance
?B
Breast
)
(
part
?B ?H))
(
attribute
?B
Female
))
Mid-level-ontology.kif 12859-12863
Oggetto
è un'
istanza
di
Breast
Oggetto
è una
parte
di
Oggetto
attribute
Oggetto
and
Female
(=>
(
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
Oggetto
è un'
istanza
di
Brine
la
misura
Oggetto
è 1.0
Liter
(s
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
SodiumChloride
la
misura
Oggetto
è
NumeroReale
Gram
(s
NumeroReale
è
pi
ù grande di 35.0
NumeroReale
è
minore
o uguale 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
Oggetto
è un'
istanza
di
VehicleBrake
Oggetto
è un'
istanza
di
Vehicle
Oggetto
è una
parte
di
Oggetto
Oggetto
ha
scopo
Entit�
Entit�
è un'
istanza
di
StopFn
Movimento
Oggetto
è un
paziente
di
Entit�
Oggetto
è uno
strumento
per
Entit�
(=>
(
and
(
instance
?BODY
ReproductiveBody
)
(
part
?BODY ?ORG)
(
instance
?ORG
Organism
))
(
attribute
?ORG
Female
))
Merge.kif 18117-18122
Oggetto
è un'
istanza
di
CorpoRiproduttivo
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Organismo
attribute
Oggetto
and
Female
(=>
(
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
Oggetto
è un'
istanza
di
BrakePedal
Processo
è un'
istanza
di
Pushing
Oggetto
è un'
istanza
di
Vehicle
Processo
fine
s in
Oggetto
eventLocated
Processo
and
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
WearingFrictionSurface
Entit�
è un'
istanza
di
Friction
Entit�
è uno
strumento
per
Entit�
Processo
causa
s
Entit�
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