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
If
an object
is an
instance
of
antigen COVID test
and
the object
is an
instrument
for
a process
and
the process
is an
instance
of
measuring
and
another object
is a
patient
of
the process
and
a third object
is an
instance
of
COVID antibody
and
the third object
is a
part
of
the other object
,
then the statement
the other object
know
s there exists
the third object
such that
the third object
is an
instance
of
COVID antibody
and
the third object
is a
part
of
the other object
has the
modal
force
of
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
If
an agent
is an
instance
of
biped
and
a process
is an
instance
of
ambulating
and
the agent
is an
agent
of
the process
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
leg
and
the other entity
is an
instance
of
leg
and
the entity
is a
part
of
the agent
and
the other entity
is a
part
of
the agent
and
the entity
is an
instrument
for
the process
and
the other entity
is an
instrument
for
the process
has the
modal
force
of
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
If
a process
is an
instance
of
auto-immune disease
and
a cognitive agent
experience
s
the process
,
then there exist
an object
,
another process
and
another object
such that
the object
is an
instance
of
antibody
and
the object
is a
part
of
the cognitive agent
and
the other object
is an
instance
of
cell
and
the other object
is a
part
of
the cognitive agent
and
the other process
is an
instance
of
destruction
and
the object
is an
instrument
for
the other process
and
the cognitive agent
doesn't
desire
the other process
is an
instance
of
destruction
and
the object
is an
instrument
for
the other process
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
AirportWithPavedRunway
))
(
exists
(?RUNWAY)
(
and
(
instance
?RUNWAY
PavedRunway
)
(
part
?RUNWAY ?AIRPORT))))
Transportation.kif 1357-1364
If
an object
is an
instance
of
airport
and
airport with paved runway
is an
attribute
of
the object
,
then there exists
another object
such that
the other object
is an
instance
of
paved runway
and
the other object
is a
part
of
the object
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
AirportWithUnpavedRunway
))
(
exists
(?RUNWAY)
(
and
(
instance
?RUNWAY
UnpavedRunway
)
(
part
?RUNWAY ?AIRPORT))))
Transportation.kif 1371-1378
If
an object
is an
instance
of
airport
and
airport with unpaved runway
is an
attribute
of
the object
,
then there exists
another object
such that
the other object
is an
instance
of
unpaved runway
and
the other object
is a
part
of
the object
(=>
(
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
If
an object
is an
instance
of
airport
and
long runway airport
is an
attribute
of
the object
,
then there exist
another object
and
a real number
such that
the other object
is an
instance
of
runway
and
the other object
is a
part
of
the object
and the
length
of
the other object
is
the real number
meter
(s) and
the real number
is
greater
than or equal to 2438 or
the real number
is
less
than or equal to 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
If
an object
is an
instance
of
airport
and
medium length runway airport
is an
attribute
of
the object
,
then there exist
another object
and
a real number
such that
the other object
is an
instance
of
runway
and
the other object
is a
part
of
the object
and the
length
of
the other object
is
the real number
meter
(s) and
the real number
is
greater
than or equal to 1524 or
the real number
is
less
than or equal to 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
If
an object
is an
instance
of
airport
and
short runway airport
is an
attribute
of
the object
,
then there exist
another object
and
a real number
such that
the other object
is an
instance
of
runway
and
the other object
is a
part
of
the object
and the
length
of
the other object
is
the real number
meter
(s) and
the real number
is
greater
than or equal to 914 or
the real number
is
less
than or equal to 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
If
an object
is an
instance
of
airport
and
very long runway airport
is an
attribute
of
the object
,
then there exist
another object
and
a real number
such that
the other object
is an
instance
of
runway
and
the other object
is a
part
of
the object
and the
length
of
the other object
is
the real number
meter
(s) and
the real number
is
greater
than 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
If
an object
is an
instance
of
airport
and
very short runway airport
is an
attribute
of
the object
,
then there exist
another object
and
a real number
such that
the other object
is an
instance
of
runway
and
the other object
is a
part
of
the object
and the
length
of
the other object
is
the real number
meter
(s) and
the real number
is
less
than 914
(=>
(
and
(
instance
?Application
AutomaticApplication
)
(
instance
?System
SoftwareSystem
)
(
part
?Application ?System))
(
part
(
StartupFn
?Application)
(
StartupFn
?System)))
QoSontology.kif 586-591
If
an object
is an
instance
of
automatic application
and
another object
is an
instance
of
software system
and
the object
is a
part
of
the other object
,
then the
startup
of
the object
is a
part
of the
startup
of
the other object
(=>
(
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
If
a process
is an
instance
of
bleeding
and
an agent
experience
s
the process
,
then there exist
an object
and
another process
such that
the object
is an
instance
of
vein
or
the object
is an
instance
of
artery
and
the object
is a
part
of
the agent
and
the other process
is an
instance
of
damaging
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the process
and
the object
is a
patient
of
the other process
(=>
(
and
(
instance
?B
Breast
)
(
instance
?H
Human
)
(
part
?B ?H))
(
part
?B
(
FrontFn
?H)))
Mid-level-ontology.kif 12848-12854
If
an object
is an
instance
of
breast
and
a self connected object
is an
instance
of
human
and
the object
is a
part
of
the self connected object
,
then
the object
is a
part
of the
front
of
the self connected object
(=>
(
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
If
a process
is an
instance
of
biting
and
an agent
is an
agent
of
the process
,
then there exists
an object
such that
the object
is an
instance
of
mouth
and
the object
is a
part
of
the agent
and
the object
is an
instrument
for
the process
(=>
(
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
If
a process
is an
instance
of
bleeding
and
an agent
experience
s
the process
,
then there exists
an entity
such that
the entity
is an
instance
of
blood
and
the entity
is a
part
of
the agent
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is not a
part
of
the agent
holds
during
the
end
of the
time
of existence of
the process
(=>
(
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
If
a process
is an
instance
of
boiling
and
an object
is a
patient
of
the process
,
then there exists
another object
such that
the other object
is a
part
of
the object
and
liquid
is an
attribute
of
the other object
holds
during
the
beginning
of the
time
of existence of
the process
and
gas
is an
attribute
of
the other object
holds
during
the
end
of the
time
of existence of
the process
(=>
(
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
If
a physical
is an
instance
of
cavitating
and
a self connected object
is an
instance
of
pump
and
device on
is an
attribute
of
the self connected object
and
liquid
is an
attribute
of
an object
and
the self connected object
contain
s
the object
,
then there exist
the self connected object
P and
an entity
such that
the self connected object
P is a
part
of
the self connected object
and
the self connected object
P has the purpose
liquid
is an
attribute
of
the entity
and
the entity
meet
s
the self connected object
P and there doesn't exist
another entity
such that
liquid
is an
attribute
of
the other entity
and
the self connected object
P
meet
s
the other entity
holds
during
the
time
of existence of
the physical
(=>
(
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
If
an object
is an
instance
of
chest
and
a class
is an
instance
of
animal
and
the object
is an
instance
of
the class
and
the object
is a
part
of
the class
,
then there exists
another object
such that
the other object
is an
instance
of
torso
and
the object
is a
part
of
the other object
and
the other object
is a
part
of
the class
(=>
(
and
(
instance
?C
Chest
)
(
part
?C ?P)
(
equal
?B
(
BackFn
?P)))
(
not
(
part
?C ?B)))
Anatomy.kif 1823-1830
If
an object
is an
instance
of
chest
and
the object
is a
part
of
a self connected object
and
another self connected object
is
equal
to the
back
of
the self connected object
,
then
the object
is not a
part
of
the other self connected object
(=>
(
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
If
a process
is an
instance
of
choking
and
an agent
experience
s
the process
,
then there exist
an entity
,
an object
and
another object
such that
the entity
is an
instance
of
object
and
the object
is an
instance
of
trachea
and
the other object
is an
instance
of
lung
and
the object
is a
part
of
the agent
and
the other object
is a
part
of
the agent
and
the entity
is
located
at
the object
or
the entity
is
located
at
the other object
holds
during
the
time
of existence of
the process
(=>
(
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
If
a process
is an
instance
of
coughing
and
an agent
experience
s
the process
,
then
the process
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the other entity
is an
instance
of
lung
and
the fourth entity
is an
instance
of
throat
and
the third entity
is an
instance
of
object
and
the entity
is an
instance
of
removing
and
the other entity
is a
part
of
the agent
and
the fourth entity
is a
part
of
the agent
and the object transferred in
the entity
is
the third entity
and
the third entity
is
located
at
the fourth entity
or
the third entity
is
located
at
the other entity
holds
during
immediately
before
the
time
of existence of
the process
(=>
(
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
If
a process
is an
instance
of
crawling
and
an agent
is an
agent
of
the process
,
then there exists
the agent
RM such that
the agent
RM is an
instance
of
arm
and
the agent
RM is a
part
of
the agent
and
the agent
RM is an
instrument
for
the process
(=>
(
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
If
a process
is an
instance
of
cricothyrotomy
and
an entity
is a
patient
of
the process
,
then there exists
another entity
such that
the other entity
is an
instance
of
hole
and
a third entity
is
equal
to the
host
of the hole
the other entity
and
the third entity
is an
instance
of
throat
and
the third entity
is a
part
of
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
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
If
a transfer
is an
instance
of
crying
and
an agent
experience
s
the transfer
,
then there exist
an object
and
another object
such that
the object
is an
instance
of
tear substance
and
the transfer
originate
s at
the other object
and the object transferred in
the transfer
is
the object
and
the other object
is an
instance
of
eye
and
the other object
is a
part
of
the agent
(=>
(
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
If
an object
is an
instance
of
crystal
and
mono crystalline
is an
attribute
of
the object
and
a self connected object
is an
instance
of
substance
and
solid
is an
attribute
of
the self connected object
and
poly crystalline
is an
attribute
of
the self connected object
and
another self connected object
is an
instance
of
substance
and
the other self connected object
is a
surface
of
the self connected object
and
the object
is not a
part
of
the other self connected object
,
then there exist
the object
LNT,
an integer
and
another object
such that
the object
LNT is an
instance
of
collection
and
the integer
is a
member
count of
the object
LNT and
the integer
is
greater
than or equal to 4 and
if
the other object
is a
member
of
the object
LNT,
then
the other object
is a
part
of
the self connected object
and
the object
meet
s
the other object
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