located
(=>
(
and
(
instance
?CELL
TriploidCell
)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL)
(
located
?COLL ?N)
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL))
(
chromosomeSetCount
?A ?COLL 3))
VirusProteinAndCellPart.kif 921-931
If
an object
is an
instance
of
triploid cell
and
another object
is an
instance
of
cell nucleus
and
the other object
is a
part
of
the object
and
a collection
is
located
at
the other object
and
the collection
is an
instance
of
collection
and
Chromosome
is a
member
type of
the collection
and
a monoploid chromosome set
is an
instance
of
monoploid chromosome set
and
the monoploid chromosome set
is a proper
sub
-collection of
the collection
,
then There are 3 number of
the monoploid chromosome set
MonoploidChromosomeSet in
Collection
the collection
.
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL)
(
chromosomeSetCount
?A ?COLL 4)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
TetraploidCell
))
VirusProteinAndCellPart.kif 939-949
If
a collection
is an
instance
of
collection
and
Chromosome
is a
member
type of
the collection
and
a monoploid chromosome set
is an
instance
of
monoploid chromosome set
and
the monoploid chromosome set
is a proper
sub
-collection of
the collection
and There are 4 number of
the monoploid chromosome set
MonoploidChromosomeSet in
Collection
the collection
. and
the collection
is
located
at
an object
and
the object
is an
instance
of
cell nucleus
and
the object
is a
part
of
another object
,
then
the other object
is an
instance
of
tetraploid cell
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL)
(
chromosomeSetCount
?A ?COLL 6)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
HexaploidCell
))
VirusProteinAndCellPart.kif 992-1002
If
a collection
is an
instance
of
collection
and
Chromosome
is a
member
type of
the collection
and
a monoploid chromosome set
is an
instance
of
monoploid chromosome set
and
the monoploid chromosome set
is a proper
sub
-collection of
the collection
and There are 6 number of
the monoploid chromosome set
MonoploidChromosomeSet in
Collection
the collection
. and
the collection
is
located
at
an object
and
the object
is an
instance
of
cell nucleus
and
the object
is a
part
of
another object
,
then
the other object
is an
instance
of
hexaploid cell
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
subCollection
?A ?COLL)
(
chromosomeSetCount
?A ?COLL 2)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
DiploidCell
))
VirusProteinAndCellPart.kif 896-905
If
a collection
is an
instance
of
collection
and
Chromosome
is a
member
type of
the collection
and
a monoploid chromosome set
is a proper
sub
-collection of
the collection
and There are 2 number of
the monoploid chromosome set
MonoploidChromosomeSet in
Collection
the collection
. and
the collection
is
located
at
an object
and
the object
is an
instance
of
cell nucleus
and
the object
is a
part
of
another object
,
then
the other object
is an
instance
of
diploid cell
(=>
(
and
(
instance
?COLL
HomologousChromosomeSet
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
DiploidCell
))
VirusProteinAndCellPart.kif 907-913
If
a physical
is an
instance
of
homologous chromosome set
and
the physical
is
located
at
an object
and
the object
is an
instance
of
cell nucleus
and
the object
is a
part
of
another object
,
then
the other object
is an
instance
of
diploid cell
(=>
(
and
(
instance
?COLL
HomologousChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL))
(
chromosomeSetCount
?A ?COLL 2))
VirusProteinAndCellPart.kif 866-875
If
a collection
is an
instance
of
homologous chromosome set
and
Chromosome
is a
member
type of
the collection
and
the collection
is
located
at
an object
and
the object
is an
instance
of
cell nucleus
and
the object
is a
part
of
eukaryotic cell
and
a monoploid chromosome set
is an
instance
of
monoploid chromosome set
and
the monoploid chromosome set
is a proper
sub
-collection of
the collection
,
then There are 2 number of
the monoploid chromosome set
MonoploidChromosomeSet in
Collection
the collection
.
(=>
(
and
(
instance
?COLL
HomologousChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
subCollection
?X ?COLL)
(
subCollection
?Y ?COLL)
(
not
(
equal
?X ?Y)))
(
homologousChromosomePair
?X ?Y))
VirusProteinAndCellPart.kif 877-888
If
a collection
is an
instance
of
homologous chromosome set
and
Chromosome
is a
member
type of
the collection
and
the collection
is
located
at
an object
and
the object
is an
instance
of
cell nucleus
and
the object
is a
part
of
eukaryotic cell
and
a monoploid chromosome set
is a proper
sub
-collection of
the collection
and
another monoploid chromosome set
is a proper
sub
-collection of
the collection
and
the monoploid chromosome set
is not
equal
to
the other monoploid chromosome set
,
then members of
MonoploidChromosomeSet
the monoploid chromosome set
and members of
MonoploidChromosomeSet
the other monoploid chromosome set
are
homologoousChromosome
pairs.
(=>
(
and
(
instance
?COLL
MonoploidChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
member
?X ?COLL)
(
member
?Y ?COLL)
(
not
(
equal
?X ?Y)))
(
not
(
homologousChromosome
?X ?Y)))
VirusProteinAndCellPart.kif 719-731
If
a collection
is an
instance
of
monoploid chromosome set
and
Chromosome
is a
member
type of
the collection
and
the collection
is
located
at
an object
and
the object
is an
instance
of
cell nucleus
and
the object
is a
part
of
eukaryotic cell
and
a Chromosome
is a
member
of
the collection
and
another Chromosome
is a
member
of
the collection
and
the Chromosome
is not
equal
to
the other Chromosome
,
then not
the Chromosome
in
the other Chromosome
are
homologousChromosome
(=>
(
and
(
instance
?D
DeliveryService
)
(
destination
?D ?LOC1)
(
deliveryRegion
?AGENT ?REGION)
(
conditionalProbability
(
located
?LOC1 ?REGION)
(
agent
?D ?AGENT) ?NUMBER1)
(
conditionalProbability
(
not
(
located
?LOC1 ?REGION))
(
agent
?D ?AGENT) ?NUMBER2))
(
lessThan
?NUMBER2 ?NUMBER1))
Dining.kif 552-561
If
a process
is an
instance
of
delivery service
and
the process
end
s up at
an entity
and
a geographic area
is the
delivery
area of
an agent
and
probability
of
the entity
is
located
at
the geographic area
provided that
the agent
is an
agent
of
the process
holds is
a real number
and
probability
of
the entity
is not
located
at
the geographic area
provided that
the agent
is an
agent
of
the process
holds is
another real number
,
then
the other real number
is
less
than
the real number
(=>
(
and
(
instance
?DISCOVER
Discovering
)
(
patient
?DISCOVER ?OBJ)
(
holdsDuring
(
WhenFn
?DISCOVER)
(
located
?OBJ ?PLACE)))
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
subProcess
?LEARN ?DISCOVER)
(
patient
?LEARN
(
located
?OBJ ?PLACE)))))
Merge.kif 11973-11982
If
a process
is an
instance
of
discovering
and
an entity
is a
patient
of
the process
and
the entity
is
located
at
another entity
holds
during
the
time
of existence of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
learning
and
the other process
is a
subprocess
of
the process
and
the entity
is
located
at
the other entity
is a
patient
of
the other process
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?C
Crankcase
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeTransfer
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?C))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?C))))
Cars.kif 509-521
If
an object
is an
instance
of
engine cylinder
and
a hole
is an
instance
of
crankcase
and
a physical
is an
instance
of
piston
and
a process
is an
instance
of
two stroke transfer
and
the physical
is
located
at
the object
holds
during
the process
and
the object
is
equal
to the
host
of the hole
the hole
and
the process
is
located
at
the object
,
then
the physical
has the purpose
the physical
partially
fill
s
the hole
holds
during
the process
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeIntake
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?I))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?I))))
Cars.kif 463-475
If
an object
is an
instance
of
engine cylinder
and
a hole
is an
instance
of
internal combustion chamber
and
a physical
is an
instance
of
piston
and
a process
is an
instance
of
two stroke intake
and
the physical
is
located
at
the object
holds
during
the process
and
the object
is
equal
to the
host
of the hole
the hole
and
the process
is
located
at
the object
,
then
the physical
has the purpose
the physical
partially
fill
s
the hole
holds
during
the process
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
not
(
located
?ITEM ?AREA))))
Economy.kif 2421-2430
If
a process
is an
instance
of
exporting
and
an entity
is a
patient
of
the process
and
another entity
is an
instance
of
geopolitical area
and
the entity
is
located
at
the other entity
holds
during
the
beginning
of the
time
of existence of
the process
,
then
the entity
is not
located
at
the other entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeopoliticalArea
)
(
not
(
geopoliticalSubdivision
?AREA1 ?AREA2))
(
not
(
geopoliticalSubdivision
?AREA2 ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))))
Economy.kif 2432-2445
If
a process
is an
instance
of
exporting
and
an entity
is a
patient
of
the process
and
a geopolitical area
is an
instance
of
geopolitical area
and
the entity
is
located
at
the geopolitical area
holds
during
the
beginning
of the
time
of existence of
the process
,
then there exists
another geopolitical area
such that
the other geopolitical area
is an
instance
of
geopolitical area
and
the geopolitical area
is not a
geopolitical
part of
the other geopolitical area
and
the other geopolitical area
is not a
geopolitical
part of
the geopolitical area
and
the entity
is
located
at
the other geopolitical area
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
instance
?AREA2
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2456-2466
If
a process
is an
instance
of
exporting
and
an entity
is a
patient
of
the process
and
an object
is an
instance
of
geopolitical area
and
a physical
is an
instance
of
geopolitical area
and
the entity
is
located
at
the object
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is
located
at
the physical
holds
during
the
end
of the
time
of existence of
the process
,
then
the physical
is not
located
at
the object
(=>
(
and
(
instance
?F
Faucet
)
(
instance
?LM
LiquidMotion
)
(
patient
?LM ?L)
(
located
?LM ?F))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?LM))
(
not
(
exists
(?T)
(
and
(
instance
?T
Tube
)
(
contains
?T ?L))))))
engineering.kif 939-952
If
an object
is an
instance
of
faucet
and
a process
is an
instance
of
liquid motion
and
an entity
is a
patient
of
the process
and
the process
is
located
at
the object
,
then there doesn't exist
another entity
such that
the other entity
is an
instance
of
tube
and
the other entity
contain
s
the entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?FR
FlowRegion
)
(
located
?FLUID ?FR))
(
attribute
?FLUID
Fluid
))
Mid-level-ontology.kif 9061-9065
If
an object
is an
instance
of
flow region
and
another object
is
located
at
the object
,
then
fluid
is an
attribute
of
the other object
(=>
(
and
(
instance
?G
Gene
)
(
located
?G ?C)
(
instance
?C
Cell
))
(
exists
(?B ?N ?R)
(
and
(
instance
?B
BiologicalProcess
)
(
eventLocated
?B ?C)
(
origin
?B ?G)
(
result
?B ?N)
(
instance
?N
Nucleotide
)
(
part
?N ?R)
(
instance
?R
RNAMolecule
)
(
located
?R ?C))))
VirusProteinAndCellPart.kif 655-669
If
an object
is an
instance
of
gene
and
the object
is
located
at
another object
and
the other object
is an
instance
of
cell
,
then there exist
a process
,
a third object
and
a fourth object
such that
the process
is an
instance
of
biological process
and
the process
is
located
at
the other object
and
the process
originate
s at
the object
and
the third object
is a
result
of
the process
and
the third object
is an
instance
of
Nucleotide
and
the third object
is a
part
of
the fourth object
and
the fourth object
is an
instance
of
RNA molecule
and
the fourth object
is
located
at
the other object
(=>
(
and
(
instance
?H
Hurricane
)
(
eventLocated
?H ?P)
(
instance
?P
GeographicArea
)
(
or
(
located
?P ?SEA)
(
meetsSpatially
?P ?SEA)))
(
or
(
equal
?SEA
NortheasternPacificOcean
)
(
equal
?SEA
NorthAtlanticOcean
)))
Weather.kif 753-763
If
a process
is an
instance
of
hurricane
and
the process
is
located
at
an object
and
the object
is an
instance
of
geographic area
and
the object
is
located
at
another object
or
the object
meet
s
the other object
,
then
the other object
is
equal
to
Northeastern Pacific ocean
or
the other object
is
equal
to
north atlantic ocean
(=>
(
and
(
instance
?HA
HeartAttack
)
(
instance
?H
Heart
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
Muscle
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11368-11385
If
a physical
is an
instance
of
myocardial infarction
and
an object
is an
instance
of
heart
and
the physical
is
located
at
the object
,
then there exists
another object
such that
the other object
is an
instance
of
muscle
and
the other object
is a
part
of
the object
and there don't exist
a time interval
and
a third object
such that
the time interval
is an
instance
of
liquid motion
and the object transferred in
the time interval
is
the third object
and
the third object
is an
instance
of
blood
and
the time interval
takes place
during
the
time
of existence of
the physical
and
the time interval
end
s up at
the other object
(=>
(
and
(
instance
?HA
Stroke
)
(
instance
?H
Brain
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
NerveCell
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11915-11932
If
a physical
is an
instance
of
stroke
and
an object
is an
instance
of
brain
and
the physical
is
located
at
the object
,
then there exists
another object
such that
the other object
is an
instance
of
nerve cell
and
the other object
is a
part
of
the object
and there don't exist
a time interval
and
a third object
such that
the time interval
is an
instance
of
liquid motion
and the object transferred in
the time interval
is
the third object
and
the third object
is an
instance
of
blood
and
the time interval
takes place
during
the
time
of existence of
the physical
and
the time interval
end
s up at
the other object
(=>
(
and
(
instance
?I
Injecting
)
(
instance
?A
Adalimumab
)
(
objectTransferred
?I ?A)
(
located
?I ?BP)
(
instance
?BP
BodyPart
)
(
destination
?I ?H))
(
modalAttribute
(
exists
(?T)
(
and
(
holdsDuring
?T
(
attribute
?H
(
PainFn
?BP)))
(
during
?T
(
FutureFn
(
WhenFn
?I)))))
Likely
))
Medicine.kif 3628-3644
If
a transfer
is an
instance
of
injecting
and
an object
is an
instance
of
adalimumab
and the object transferred in
the transfer
is
the object
and
the transfer
is
located
at
another object
and
the other object
is an
instance
of
body part
and
the transfer
end
s up at
an entity
,
then the statement there exists
another entity
such that
pain
in the
the other object
is an
attribute
of
the entity
holds
during
the other entity
and
the other entity
takes place
during
after
the
time
of existence of
the transfer
has the
modal
force
of
likely
(=>
(
and
(
instance
?I
Itching
)
(
located
?I ?P)
(
part
?P ?H)
(
experiencer
?I ?H))
(
desires
?H
(
exists
(?S)
(
and
(
instance
?S
Scratching
)
(
during
(
WhenFn
?S)
(
WhenFn
?I))
(
located
?S ?P)))))
Mid-level-ontology.kif 5725-5736
If
a process
is an
instance
of
pruritus
and
the process
is
located
at
an object
and
the object
is a
part
of
a cognitive agent
and
the cognitive agent
experience
s
the process
,
then
the cognitive agent
desire
s there exists
an entity
such that
the entity
is an
instance
of
scratching
and the
time
of existence of
the entity
takes place
during
the
time
of existence of
the process
and
the entity
is
located
at
the object
(=>
(
and
(
instance
?KL
KnockLight
)
(
located
?KL ?ROOM)
(
instance
?ROOM
Room
)
(
instance
?DOOR
Door
)
(
part
?DOOR ?ROOM))
(
hasPurpose
?KL
(
exists
(?KNOCK ?SOUND ?LIGHT)
(
and
(
instance
?KNOCK
Impacting
)
(
patient
?KNOCK ?DOOR)
(
causes
?KNOCK ?SOUND)
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?DOOR)
(
causes
?SOUND ?LIGHT)
(
instance
?LIGHT
RadiatingVisibleLight
)
(
instrument
?LIGHT ?KL)))))
Mid-level-ontology.kif 25821-25838
If
a physical
is an
instance
of
knock light
and
the physical
is
located
at
an object
and
the object
is an
instance
of
room
and
another object
is an
instance
of
door
and
the other object
is a
part
of
the object
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
impacting
and
the other object
is a
patient
of
the entity
and
the entity
cause
s
the other entity
and
the other entity
is an
instance
of
radiating sound
and
the other object
is an
agent
of
the other entity
and
the other entity
cause
s
the third entity
and
the third entity
is an
instance
of
radiating visible light
and
the physical
is an
instrument
for
the third entity
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
instance
?U
UnitOfLength
)
(
destination
?P ?E1)
(
physicalEnd
?E1 ?L)
(
physicalEnd
?E2 ?L)
(
not
(
equal
?E1 ?E2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E1 ?P1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E1 ?P2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E2 ?P3))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E2 ?P4))
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
distance
?P3 ?P4
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1332-1355
If
an object
is an
instance
of
lever
and
a process
is an
instance
of
pushing
and
a physical
is an
instance
of
motion
and
an unit of measure
is an
instance
of
unit of length
and
the process
end
s up at
another object
and one end of
the object
is
the other object
and one end of
the object
is
a third object
and
the other object
is not
equal
to
the third object
and
the other object
is
located
at
the process
1 holds
during
immediately
before
the
time
of existence of
the physical
and
the other object
is
located
at
the process
2 holds
during
immediately
after
the
time
of existence of
the physical
and
the third object
is
located
at
the process
3 holds
during
immediately
before
the
time
of existence of
the physical
and
the third object
is
located
at
the process
4 holds
during
immediately
after
the
time
of existence of
the physical
and the
distance
between
the process
1 and
the process
2 is
a real number
the unit of measure
(s) and the
distance
between
the process
3 and
the process
4 is
another real number
the unit of measure
(s),
then
the other real number
is
greater
than
the real number
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