part
(=>
(
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
Biped
)
(
instance
?W
Ambulating
)
(
agent
?W ?A))
(
modalAttribute
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Leg
)
(
instance
?L2
Leg
)
(
part
?L1 ?A)
(
part
?L2 ?A)
(
instrument
?W ?L1)
(
instrument
?W ?L2)))
Likely
))
Mid-level-ontology.kif 4411-4425
AutonomousAgent
è un'
istanza
di
Biped
Processo
è un'
istanza
di
Ambulating
Processo
è un
agente
di
AutonomousAgent
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Leg
Entit�
è un'
istanza
di
Leg
Entit�
è una
parte
di
AutonomousAgent
Entit�
è una
parte
di
AutonomousAgent
Entit�
è uno
strumento
per
Processo
Entit�
è uno
strumento
per
Processo
ha il modello di forza di
Likely
(=>
(
and
(
instance
?AI
AutoImmuneDisorder
)
(
experiencer
?AI ?H))
(
exists
(?A ?D ?C)
(
and
(
instance
?A
Antibody
)
(
part
?A ?H)
(
instance
?C
Cell
)
(
part
?C ?H)
(
instance
?D
Destruction
)
(
instrument
?D ?A)
(
not
(
desires
?H
(
and
(
instance
?D
Destruction
)
(
instrument
?D ?A)))))))
Medicine.kif 2200-2216
Processo
è un'
istanza
di
AutoImmuneDisorder
AgenteCognitivo
esperisce
s
Processo
Oggetto
Processo
and
Oggetto
Oggetto
è un'
istanza
di
Antibody
Oggetto
è una
parte
di
AgenteCognitivo
Oggetto
è un'
istanza
di
Cellula
Oggetto
è una
parte
di
AgenteCognitivo
Processo
è un'
istanza
di
Distruggere
Oggetto
è uno
strumento
per
Processo
AgenteCognitivo
non
desidera
Processo
è un'
istanza
di
Distruggere
Oggetto
è uno
strumento
per
Processo
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
AirportWithPavedRunway
))
(
exists
(?RUNWAY)
(
and
(
instance
?RUNWAY
PavedRunway
)
(
part
?RUNWAY ?AIRPORT))))
Transportation.kif 1357-1364
Oggetto
è un'
istanza
di
Airport
attribute
Oggetto
and
AirportWithPavedRunway
Oggetto
Oggetto
è un'
istanza
di
PavedRunway
Oggetto
è una
parte
di
Oggetto
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
AirportWithUnpavedRunway
))
(
exists
(?RUNWAY)
(
and
(
instance
?RUNWAY
UnpavedRunway
)
(
part
?RUNWAY ?AIRPORT))))
Transportation.kif 1371-1378
Oggetto
è un'
istanza
di
Airport
attribute
Oggetto
and
AirportWithUnpavedRunway
Oggetto
Oggetto
è un'
istanza
di
UnpavedRunway
Oggetto
è una
parte
di
Oggetto
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
LongRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 2438)
(
lessThanOrEqualTo
?LENGTH 3047)))))
Transportation.kif 1445-1457
Oggetto
è un'
istanza
di
Airport
attribute
Oggetto
and
LongRunwayAirport
Oggetto
NumeroReale
Oggetto
è un'
istanza
di
Runway
Oggetto
è una
parte
di
Oggetto
la
lunghezza
di
Oggetto
è
NumeroReale
Meter
(s
NumeroReale
è
pi
ù grande di o uguale a 2438
NumeroReale
è
minore
o uguale a 3047
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
MediumLengthRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 1524)
(
lessThanOrEqualTo
?LENGTH 2437)))))
Transportation.kif 1426-1438
Oggetto
è un'
istanza
di
Airport
attribute
Oggetto
and
MediumLengthRunwayAirport
Oggetto
NumeroReale
Oggetto
è un'
istanza
di
Runway
Oggetto
è una
parte
di
Oggetto
la
lunghezza
di
Oggetto
è
NumeroReale
Meter
(s
NumeroReale
è
pi
ù grande di o uguale a 1524
NumeroReale
è
minore
o uguale a 2437
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
ShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 914)
(
lessThanOrEqualTo
?LENGTH 1523)))))
Transportation.kif 1407-1419
Oggetto
è un'
istanza
di
Airport
attribute
Oggetto
and
ShortRunwayAirport
Oggetto
NumeroReale
Oggetto
è un'
istanza
di
Runway
Oggetto
è una
parte
di
Oggetto
la
lunghezza
di
Oggetto
è
NumeroReale
Meter
(s
NumeroReale
è
pi
ù grande di o uguale a 914
NumeroReale
è
minore
o uguale a 1523
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
VeryLongRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
greaterThan
?LENGTH 3047))))
Transportation.kif 1464-1474
Oggetto
è un'
istanza
di
Airport
attribute
Oggetto
and
VeryLongRunwayAirport
Oggetto
NumeroReale
Oggetto
è un'
istanza
di
Runway
Oggetto
è una
parte
di
Oggetto
la
lunghezza
di
Oggetto
è
NumeroReale
Meter
(s
NumeroReale
è
pi
ù grande di 3047
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
VeryShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
lessThan
?LENGTH 914))))
Transportation.kif 1391-1400
Oggetto
è un'
istanza
di
Airport
attribute
Oggetto
and
VeryShortRunwayAirport
Oggetto
NumeroReale
Oggetto
è un'
istanza
di
Runway
Oggetto
è una
parte
di
Oggetto
la
lunghezza
di
Oggetto
è
NumeroReale
Meter
(s
NumeroReale
è
meno
di914
(=>
(
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
Bleeding
)
(
experiencer
?B ?H))
(
exists
(?VA ?D)
(
and
(
or
(
instance
?VA
Vein
)
(
instance
?VA
Artery
))
(
part
?VA ?H)
(
instance
?D
Damaging
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
patient
?D ?VA))))
Medicine.kif 80-94
Processo
è un'
istanza
di
Bleeding
AutonomousAgent
esperisce
s
Processo
Oggetto
Processo
Oggetto
è un'
istanza
di
Vein
Oggetto
è un'
istanza
di
Artery
Oggetto
è una
parte
di
AutonomousAgent
Processo
è un'
istanza
di
Danneggiare
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
Oggetto
è un
paziente
di
Processo
(=>
(
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
?BITE
Biting
)
(
agent
?BITE ?ANIMAL))
(
exists
(?MOUTH)
(
and
(
instance
?MOUTH
Mouth
)
(
part
?MOUTH ?ANIMAL)
(
instrument
?BITE ?MOUTH))))
Mid-level-ontology.kif 6515-6523
Processo
è un'
istanza
di
Biting
Processo
è un
agente
di
AutonomousAgent
Oggetto
Oggetto
è un'
istanza
di
Mouth
Oggetto
è una
parte
di
AutonomousAgent
Oggetto
è uno
strumento
per
Processo
(=>
(
and
(
instance
?BLEED
Bleeding
)
(
experiencer
?BLEED ?ANIMAL))
(
exists
(?BLOOD)
(
and
(
instance
?BLOOD
Blood
)
(
holdsDuring
(
BeginFn
(
WhenFn
?BLEED))
(
part
?BLOOD ?ANIMAL))
(
holdsDuring
(
EndFn
(
WhenFn
?BLEED))
(
not
(
part
?BLOOD ?ANIMAL))))))
Mid-level-ontology.kif 21395-21403
Processo
è un'
istanza
di
Bleeding
AutonomousAgent
esperisce
s
Processo
Entit�
Entit�
è un'
istanza
di
Sangue
Entit�
è una
parte
di
AutonomousAgent
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è una
parte
di
AutonomousAgent
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?BOIL))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?BOIL))
(
attribute
?PART
Gas
)))))
Merge.kif 13933-13941
Processo
è un'
istanza
di
Bollire
Oggetto
è un
paziente
di
Processo
Oggetto
Oggetto
è una
parte
di
Oggetto
attribute
Oggetto
and
Liquid
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Oggetto
and
Gas
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?C
Cavitating
)
(
instance
?P
Pump
)
(
attribute
?P
DeviceOn
)
(
attribute
?L1
Liquid
)
(
contains
?P ?L1))
(
exists
(?PP ?L2)
(
and
(
part
?PP ?P)
(
hasPurpose
?PP
(
and
(
attribute
?L2
Liquid
)
(
meetsSpatially
?L2 ?PP)))
(
holdsDuring
(
WhenFn
?C)
(
not
(
exists
(?L3)
(
and
(
attribute
?L3
Liquid
)
(
meetsSpatially
?PP ?L3))))))))
Cars.kif 1741-1761
Entit�Concreta
è un'
istanza
di
Cavitating
OggettoIntegro
è un'
istanza
di
Pump
attribute
OggettoIntegro
and
DeviceOn
attribute
Oggetto
and
Liquid
contains
OggettoIntegro
and
Oggetto
OggettoIntegro
P
Entit�
OggettoIntegro
P è una
parte
di
OggettoIntegro
OggettoIntegro
P ha
scopo
attribute
Entit�
and
Liquid
Entit�
incontra
s
OggettoIntegro
P
Entit�
attribute
Entit�
and
Liquid
OggettoIntegro
P
incontra
s
Entit�
vales
durante
il
tempo
di esistenza di
Entit�Concreta
(=>
(
and
(
instance
?C
Chest
)
(
instance
?A
Animal
)
(
instance
?C ?A)
(
part
?C ?A))
(
exists
(?T)
(
and
(
instance
?T
Torso
)
(
part
?C ?T)
(
part
?T ?A))))
Mid-level-ontology.kif 11219-11229
Oggetto
è un'
istanza
di
Chest
Classe
è un'
istanza
di
Animale
Oggetto
è un'
istanza
di
Classe
Oggetto
è una
parte
di
Classe
Oggetto
Oggetto
è un'
istanza
di
Torso
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Classe
(=>
(
and
(
instance
?C
Chest
)
(
part
?C ?P)
(
equal
?B
(
BackFn
?P)))
(
not
(
part
?C ?B)))
Anatomy.kif 1823-1830
Oggetto
è un'
istanza
di
Chest
Oggetto
è una
parte
di
OggettoIntegro
OggettoIntegro
is
uguale
a il
dietro
di
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
(=>
(
and
(
instance
?C
Choking
)
(
experiencer
?C ?H))
(
exists
(?O ?T ?L)
(
and
(
instance
?O
Object
)
(
instance
?T
Trachea
)
(
instance
?L
Lung
)
(
part
?T ?H)
(
part
?L ?H)
(
holdsDuring
(
WhenFn
?C)
(
or
(
located
?O ?T)
(
located
?O ?L))))))
Mid-level-ontology.kif 11754-11769
Processo
è un'
istanza
di
Choking
AutonomousAgent
esperisce
s
Processo
Entit�
Oggetto
and
Oggetto
Entit�
è un'
istanza
di
Oggetto
Oggetto
è un'
istanza
di
Trachea
Oggetto
è un'
istanza
di
Lung
Oggetto
è una
parte
di
AutonomousAgent
Oggetto
è una
parte
di
AutonomousAgent
Entit�
è
localizzato
in
Oggetto
Entit�
è
localizzato
in
Oggetto
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?C
Coughing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?L ?O ?T)
(
and
(
instance
?L
Lung
)
(
instance
?T
Throat
)
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?L ?H)
(
part
?T ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
or
(
located
?O ?T)
(
located
?O ?L)))))))
Mid-level-ontology.kif 6056-6075
Processo
è un'
istanza
di
Coughing
AutonomousAgent
esperisce
s
Processo
Processo
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Lung
Entit�
è un'
istanza
di
Throat
Entit�
è un'
istanza
di
Oggetto
Entit�
è un'
istanza
di
Spostamento
Entit�
è una
parte
di
AutonomousAgent
Entit�
è una
parte
di
AutonomousAgent
objectTransferred
Entit�
and
Entit�
Entit�
è
localizzato
in
Entit�
Entit�
è
localizzato
in
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?C
Crawling
)
(
agent
?C ?A))
(
exists
(?ARM)
(
and
(
instance
?ARM
Arm
)
(
part
?ARM ?A)
(
instrument
?C ?ARM))))
Mid-level-ontology.kif 4391-4399
Processo
è un'
istanza
di
Crawling
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
RM
AutonomousAgent
RM è un'
istanza
di
Arm
AutonomousAgent
RM è una
parte
di
AutonomousAgent
AutonomousAgent
RM è uno
strumento
per
Processo
(=>
(
and
(
instance
?C
Cricothyroidotomy
)
(
patient
?C ?O))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?T
(
HoleHostFn
?H))
(
instance
?T
Throat
)
(
part
?T ?O)))))
Medicine.kif 754-765
Processo
è un'
istanza
di
Cricothyroidotomy
Entit�
è un
paziente
di
Processo
Entit�
Entit�
è un'
istanza
di
apertura
Entit�
is
uguale
a
HoleHostFn
Entit�
Entit�
è un'
istanza
di
Throat
Entit�
è una
parte
di
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?C
Crying
)
(
experiencer
?C ?H))
(
exists
(?T ?E)
(
and
(
instance
?T
TearSubstance
)
(
origin
?C ?E)
(
objectTransferred
?C ?T)
(
instance
?E
Eye
)
(
part
?E ?H))))
emotion.kif 1129-1139
Trasferimento
è un'
istanza
di
Crying
AutonomousAgent
esperisce
s
Trasferimento
Oggetto
Oggetto
Oggetto
è un'
istanza
di
TearSubstance
Trasferimento
si
originas in
Oggetto
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
Eye
Oggetto
è una
parte
di
AutonomousAgent
(=>
(
and
(
instance
?C
Crystal
)
(
attribute
?C
MonoCrystalline
)
(
instance
?SUB
Substance
)
(
attribute
?SUB
Solid
)
(
attribute
?SUB
PolyCrystalline
)
(
instance
?S
Substance
)
(
surface
?S ?SUB)
(
not
(
part
?C ?S)))
(
exists
(?CLNT ?X ?MBR)
(
and
(
instance
?CLNT
Collection
)
(
memberCount
?CLNT ?X)
(
greaterThanOrEqualTo
?X 4)
(=>
(
member
?MBR ?CLNT)
(
and
(
part
?MBR ?SUB)
(
meetsSpatially
?C ?MBR))))))
Geography.kif 7142-7162
Oggetto
è un'
istanza
di
Crystal
attribute
Oggetto
and
MonoCrystalline
OggettoIntegro
è un'
istanza
di
Sostanza
attribute
OggettoIntegro
and
Solid
attribute
OggettoIntegro
and
PolyCrystalline
OggettoIntegro
è un'
istanza
di
Sostanza
OggettoIntegro
è una
superficie
di
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
LNT
NumeroIntero
and
Oggetto
Oggetto
LNT è un'
istanza
di
InsiemeConcreto
memberCount
Oggetto
LNT and
NumeroIntero
NumeroIntero
è
pi
ù grande di o uguale a 4
Oggetto
è un
membro
di
Oggetto
LNT
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
incontra
s
Oggetto
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