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
Objet
est une
instance
de
AntibodyCOVIDTest
objet
est un
instrument
pour
processus
processus
est une
instance
de
mesurer
objet
est un
patient
de
processus
objet
est une
instance
de
COVIDAntibody
objet
est une
partie
de
objet
l'argument
objet
conna
�t
objet
objet
est une
instance
de
COVIDAntibody
objet
est une
partie
de
objet
a la
force
modale
de
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
est une
instance
de
Biped
processus
est une
instance
de
Ambulating
processus
est un
agent
de
AutonomousAgent
l'argument
entit�
entit�
entit�
est une
instance
de
Leg
entit�
est une
instance
de
Leg
entit�
est une
partie
de
AutonomousAgent
entit�
est une
partie
de
AutonomousAgent
entit�
est un
instrument
pour
processus
entit�
est un
instrument
pour
processus
a la
force
modale
de
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
Processus
est une
instance
de
AutoImmuneDisorder
agent cognitif
exp
�rimente
processus
objet
processus
and
objet
objet
est une
instance
de
Antibody
objet
est une
partie
de
agent cognitif
objet
est une
instance
de
cellule
objet
est une
partie
de
agent cognitif
processus
est une
instance
de
destruction
objet
est un
instrument
pour
processus
agent cognitif
ne
desire
%n{pas}
processus
est une
instance
de
destruction
objet
est un
instrument
pour
processus
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
AirportWithPavedRunway
))
(
exists
(?RUNWAY)
(
and
(
instance
?RUNWAY
PavedRunway
)
(
part
?RUNWAY ?AIRPORT))))
Transportation.kif 1357-1364
Objet
est une
instance
de
Airport
AirportWithPavedRunway
est un
attribut
de
objet
objet
objet
est une
instance
de
PavedRunway
objet
est une
partie
de
objet
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
AirportWithUnpavedRunway
))
(
exists
(?RUNWAY)
(
and
(
instance
?RUNWAY
UnpavedRunway
)
(
part
?RUNWAY ?AIRPORT))))
Transportation.kif 1371-1378
Objet
est une
instance
de
Airport
AirportWithUnpavedRunway
est un
attribut
de
objet
objet
objet
est une
instance
de
UnpavedRunway
objet
est une
partie
de
objet
(=>
(
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
Objet
est une
instance
de
Airport
LongRunwayAirport
est un
attribut
de
objet
objet
nombre r�el
objet
est une
instance
de
Runway
objet
est une
partie
de
objet
le
longueur
de
objet
est
nombre r�el
Meter
(s)
nombre r�el
est
plus
grand
ou �gal � 2438
nombre r�el
est plus
petit
ou �gal � 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
Objet
est une
instance
de
Airport
MediumLengthRunwayAirport
est un
attribut
de
objet
objet
nombre r�el
objet
est une
instance
de
Runway
objet
est une
partie
de
objet
le
longueur
de
objet
est
nombre r�el
Meter
(s)
nombre r�el
est
plus
grand
ou �gal � 1524
nombre r�el
est plus
petit
ou �gal � 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
Objet
est une
instance
de
Airport
ShortRunwayAirport
est un
attribut
de
objet
objet
nombre r�el
objet
est une
instance
de
Runway
objet
est une
partie
de
objet
le
longueur
de
objet
est
nombre r�el
Meter
(s)
nombre r�el
est
plus
grand
ou �gal � 914
nombre r�el
est plus
petit
ou �gal � 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
Objet
est une
instance
de
Airport
VeryLongRunwayAirport
est un
attribut
de
objet
objet
nombre r�el
objet
est une
instance
de
Runway
objet
est une
partie
de
objet
le
longueur
de
objet
est
nombre r�el
Meter
(s)
nombre r�el
est
plus
grand
que 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
Objet
est une
instance
de
Airport
VeryShortRunwayAirport
est un
attribut
de
objet
objet
nombre r�el
objet
est une
instance
de
Runway
objet
est une
partie
de
objet
le
longueur
de
objet
est
nombre r�el
Meter
(s)
nombre r�el
est
moins
que 914
(=>
(
and
(
instance
?Application
AutomaticApplication
)
(
instance
?System
SoftwareSystem
)
(
part
?Application ?System))
(
part
(
StartupFn
?Application)
(
StartupFn
?System)))
QoSontology.kif 586-591
Objet
est une
instance
de
AutomaticApplication
objet
est une
instance
de
SoftwareSystem
objet
est une
partie
de
objet
StartupFn
objet
est une
partie
de
StartupFn
objet
(=>
(
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
Processus
est une
instance
de
Bleeding
AutonomousAgent
exp
�rimente
processus
objet
processus
objet
est une
instance
de
Vein
objet
est une
instance
de
Artery
objet
est une
partie
de
AutonomousAgent
processus
est une
instance
de
endommager
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
objet
est un
patient
de
processus
(=>
(
and
(
instance
?B
Breast
)
(
instance
?H
Human
)
(
part
?B ?H))
(
part
?B
(
FrontFn
?H)))
Mid-level-ontology.kif 12848-12854
Objet
est une
instance
de
Breast
objet en une partie
est une
instance
de
humain
objet
est une
partie
de
objet en une partie
objet
est une
partie
de le
devant
de
objet en une partie
(=>
(
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
Processus
est une
instance
de
Biting
processus
est un
agent
de
AutonomousAgent
objet
objet
est une
instance
de
Mouth
objet
est une
partie
de
AutonomousAgent
objet
est un
instrument
pour
processus
(=>
(
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
Processus
est une
instance
de
Bleeding
AutonomousAgent
exp
�rimente
processus
entit�
entit�
est une
instance
de
sang
entit�
est une
partie
de
AutonomousAgent
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est une
partie
de
AutonomousAgent
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
�vaporer
objet
est un
patient
de
processus
objet
objet
est une
partie
de
objet
Liquid
est un
attribut
de
objet
pendant
le
d
�but de
temps
d'existence de
processus
Gas
est un
attribut
de
objet
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
Physique
est une
instance
de
Cavitating
objet en une partie
est une
instance
de
Pump
DeviceOn
est un
attribut
de
objet en une partie
Liquid
est un
attribut
de
objet
objet en une partie
contient
objet
objet en une partie
P
entit�
objet en une partie
P est une
partie
de
objet en une partie
objet en une partie
P a pour
but
Liquid
est un
attribut
de
entit�
entit�
rencontre
objet en une partie
P
entit�
Liquid
est un
attribut
de
entit�
objet en une partie
P
rencontre
entit�
pendant
temps
d'existence de
physique
(=>
(
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
Objet
est une
instance
de
Chest
classe
est une
instance
de
animal
objet
est une
instance
de
classe
objet
est une
partie
de
classe
objet
objet
est une
instance
de
Torso
objet
est une
partie
de
objet
objet
est une
partie
de
classe
(=>
(
and
(
instance
?C
Chest
)
(
part
?C ?P)
(
equal
?B
(
BackFn
?P)))
(
not
(
part
?C ?B)))
Anatomy.kif 1823-1830
Objet
est une
instance
de
Chest
objet
est une
partie
de
objet en une partie
objet en une partie
est
derri
�re de
objet en une partie
objet
est une
partie
de
objet en une partie
(=>
(
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
Processus
est une
instance
de
Choking
AutonomousAgent
exp
�rimente
processus
entit�
objet
and
objet
entit�
est une
instance
de
objet
objet
est une
instance
de
Trachea
objet
est une
instance
de
Lung
objet
est une
partie
de
AutonomousAgent
objet
est une
partie
de
AutonomousAgent
entit�
est
situ
� �
objet
entit�
est
situ
� �
objet
pendant
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
Coughing
AutonomousAgent
exp
�rimente
processus
processus
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Lung
entit�
est une
instance
de
Throat
entit�
est une
instance
de
objet
entit�
est une
instance
de
supprimer
entit�
est une
partie
de
AutonomousAgent
entit�
est une
partie
de
AutonomousAgent
objectTransferred
entit�
and
entit�
entit�
est
situ
� �
entit�
entit�
est
situ
� �
entit�
pendant
immediatement
avant
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
Crawling
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
RM
AutonomousAgent
RM est une
instance
de
Arm
AutonomousAgent
RM est une
partie
de
AutonomousAgent
AutonomousAgent
RM est un
instrument
pour
processus
(=>
(
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
Processus
est une
instance
de
Cricothyroidotomy
entit�
est un
patient
de
processus
entit�
entit�
est une
instance
de
trou
entit�
est
h
�te du trou
entit�
entit�
est une
instance
de
Throat
entit�
est une
partie
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
Transf�re
est une
instance
de
Crying
AutonomousAgent
exp
�rimente
transf�re
objet
objet
objet
est une
instance
de
TearSubstance
transf�re
a pour
origine
objet
objectTransferred
transf�re
and
objet
objet
est une
instance
de
Eye
objet
est une
partie
de
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
Objet
est une
instance
de
Crystal
MonoCrystalline
est un
attribut
de
objet
objet en une partie
est une
instance
de
substance
Solid
est un
attribut
de
objet en une partie
PolyCrystalline
est un
attribut
de
objet en une partie
objet en une partie
est une
instance
de
substance
objet en une partie
est une
surface
de
objet en une partie
objet
est une
partie
de
objet en une partie
objet
LNT
nombre entier
and
objet
objet
LNT est une
instance
de
collection
memberCount
objet
LNT and
nombre entier
nombre entier
est
plus
grand
ou �gal � 4
objet
est un
membre
de
objet
LNT
objet
est une
partie
de
objet en une partie
objet
rencontre
objet
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