not
(=>
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?LISTING
WebListing
)
(
instance
?TIME
TimePoint
)
(
listingSeller
?LISTING ?AGENT)
(
not
(
member
?LISTING ?COLL))
(
forall
(?ITEM ?MEMBER)
(
and
(=>
(
and
(
instance
?ITEM
WebListing
)
(
member
?ITEM
(
SellersItemsFn
?AGENT ?SITE))
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
not
(
equal
?ITEM ?LISTING)))
(
member
?ITEM ?COLL))
(=>
(
member
?MEMBER ?COLL)
(
and
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
instance
?MEMBER
WebListing
))))))
(
equal
(
SellersOtherItemsFn
?AGENT ?SITE ?LISTING ?TIME) ?COLL))
UXExperimentalTerms.kif 1033-1060
If
a collection
is an
instance
of
collection
and
a web site
is an
instance
of
web site
and
an agent
is an
instance
of
agent
and
a web listing
is an
instance
of
web listing
and
a time point
is an
instance
of
time point
and
the agent
sells
the web listing
and
the web listing
is not a
member
of
the collection
and for all
a physical
and
another physical
if
the physical
is an
instance
of
web listing
and
the physical
is a
member
of items for
sale
by
the agent
at
the web site
and
the time point
is a
part
of the
time
of existence of
the physical
and
equal
the physical
and
the web listing
,
then
the physical
is a
member
of
the collection
and
if
the other physical
is a
member
of
the collection
,
then
the time point
is a
part
of the
time
of existence of
the physical
and
the other physical
is an
instance
of
web listing
,
then
equal
things for
sale
by
the agent
not listed in
the web listing
at
the web site
during
the time point
and
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 883-894
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
equal
the monoploid chromosome set
and
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 725-737
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
equal
the chromosome
and
the other chromosome
,
then not
the chromosome
and
the other chromosome
are
homologous
chromosomes
(=>
(
and
(
instance
?CS1 ?CLASS)
(
subclass
?CLASS
CompoundSubstance
)
(
not
(
exists
(?CS2)
(
and
(
instance
?CS2 ?CLASS)
(
part
?CS2 ?CS1))))
(
molecularRatio
?ECLASS ?N ?CLASS)
(
instance
?G
Group
)
(
member
?E ?G)
(
part
?E ?CS1)
(
instance
?E ?ECLASS))
(
memberCount
?G ?N))
Mid-level-ontology.kif 23356-23370
If
an object
is an
instance
of
a kind of compound substance
and
a kind of compound substance
is a
subclass
of
compound substance
and there doesn't exist
another object
such that
the other object
is an
instance
of
the kind of compound substance
and
the other object
is a
part
of
the object
and the number of molecules of
a kind of elemental substance
in a molecule of
the kind of compound substance
is
an integer
and
a collection
is an
instance
of
group
and
a third object
is a
member
of
the collection
and
the third object
is a
part
of
the object
and
the third object
is an
instance
of
a kind of elemental substance
,
then
the integer
is a
member
count of
the collection
(=>
(
and
(
instance
?D
Antidiuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
not
(
equal
?U1 ?U2))
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 11384-11407
If
an object
is an
instance
of
antidiuretic
and
a motion
is an
instance
of
ingesting
and
an agent
is an
agent
of
the motion
and
the object
moves during
the motion
and
a time interval
is an
instance
of
urination
and
an entity
is a
result
of
the time interval
and
the agent
is an
agent
of
the time interval
and
another time interval
is an
instance
of
urination
and
equal
the time interval
and
the other time interval
and
another entity
is a
result
of
the other time interval
and
the agent
is an
agent
of
the other time interval
and
the time interval
happens
earlier
than
the motion
and
the motion
happens
earlier
than
the other time interval
and
an unit of measure
is an
instance
of
unit of volume
and the
measure
of
the time interval
is
a real number
the unit of measure
(s) and the
measure
of
the other time interval
is
another real number
the unit of measure
(s),
then the statement
the real number
is
greater
than
the other real number
has the
modal
force
of
likely
(=>
(
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
?D
Detaching
)
(
patient
?D ?O1)
(
patient
?D ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
connected
?O1 ?O2))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2))))
(
and
(
objectDetached
?A ?O1)
(
objectDetached
?A ?O2)))
Merge.kif 12585-12594
If
a process
is an
instance
of
detaching
and
an entity
is a
patient
of
the process
and
another entity
is a
patient
of
the process
and
the entity
is
connected
to
the other entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is not
connected
to
the other entity
holds
during
the
end
of the
time
of existence of
another process
,
then
the other process
detaches
the entity
from another object and
the other process
detaches
the other entity
from another object
(=>
(
and
(
instance
?DIO
DefensiveInformationOperation
)
(
agent
?DIO ?AGENT)
(
enemy
?AGENT ?ENEMY)
(
desires
?ENEMY
(
knows
?ENEMY ?FORMULA))
(
desires
?AGENT
(
not
(
knows
?ENEMY ?FORMULA))))
(
hasPurpose
?DIO
(
not
(
knows
?ENEMY ?FORMULA))))
MilitaryProcesses.kif 1876-1888
If
a process
is an
instance
of
defensive information operation
and
a cognitive agent
is an
agent
of
the process
and
the cognitive agent
and
another cognitive agent
are enemies of each other and
the other cognitive agent
desire
s
the other cognitive agent
know
s
an entity
and
the cognitive agent
desire
s
the other cognitive agent
doesn't
know
the entity
,
then
the process
has the purpose
the other cognitive agent
doesn't
know
the entity
(=>
(
and
(
instance
?E
Entering
)
(
destination
?E ?F)
(
attribute
?F
PhysicallyRestrictedRegion
)
(
not
(
entrance
?R ?F)))
(
modalAttribute
(
path
?E ?R)
Prohibition
))
Mid-level-ontology.kif 7861-7869
If
a process
is an
instance
of
entering
and
the process
end
s up at
a region
and
physically restricted region
is an
attribute
of
the region
and not
another region
is the entrance for
the region
,
then the statement
the other region
is
path
along which
the process
occurs has the
modal
force
of
prohibition
(=>
(
and
(
instance
?E
Exiting
)
(
origin
?E ?F)
(
attribute
?F
PhysicallyRestrictedRegion
)
(
not
(
entrance
?R ?F)))
(
modalAttribute
(
path
?E ?R)
Prohibition
))
Mid-level-ontology.kif 7882-7890
If
a process
is an
instance
of
exiting
and
the process
originate
s at
a region
and
physically restricted region
is an
attribute
of
the region
and not
another region
is the entrance for
the region
,
then the statement
the other region
is
path
along which
the process
occurs has the
modal
force
of
prohibition
(=>
(
and
(
instance
?ELECTION
PopularElection
)
(
electionWinner
?ELECTION ?POSITION ?PERSON1)
(
voteFractionReceived
?ELECTION ?POSITION ?PERSON1 ?NUMBER1)
(
voteFractionReceived
?ELECTION ?POSITION ?PERSON2 ?NUMBER2)
(
not
(
equal
?PERSON1 ?PERSON2)))
(
greaterThan
?NUMBER1 ?NUMBER2))
Government.kif 1855-1862
If
an election
is an
instance
of
popular election
and
the election
is
election
winner
a social role
for
an agent
and
the election
is
vote
fraction received
the social role
for
the agent
with
a real number
and
the election
is
vote
fraction received
the social role
for
another agent
with
another real number
and
equal
the agent
and
the other agent
,
then
the real number
is
greater
than
the other real number
(=>
(
and
(
instance
?ELEMENT1
ElementalSubstance
)
(
instance
?ELEMENT2
ElementalSubstance
)
(
not
(
equal
?ELEMENT1 ?ELEMENT2))
(
instance
?PROCESS
ChemicalSynthesis
)
(
resource
?PROCESS ?ELEMENT1)
(
resource
?PROCESS ?ELEMENT2)
(
result
?PROCESS ?COMPOUND))
(
instance
?COMPOUND
CompoundSubstance
))
Merge.kif 12701-12710
If
an object
is an
instance
of
elemental substance
and
another object
is an
instance
of
elemental substance
and
equal
the object
and
the other object
and
a process
is an
instance
of
chemical synthesis
and
the object
is a
resource
for
the process
and
the other object
is a
resource
for
the process
and
an entity
is a
result
of
the process
,
then
the entity
is an
instance
of
compound substance
(=>
(
and
(
instance
?EM
Electromagnet
)
(
not
(
holdsDuring
?T1
(
exists
(?T ?E)
(
and
(
instance
?T
Transfer
)
(
instance
?E
Electricity
)
(
objectTransferred
?T ?E)
(
path
?T ?EM))))))
(
not
(
holdsDuring
?T1
(
exists
(?M)
(
and
(
instance
?M
Magnetism
)
(
instrument
?M ?EM))))))
Cars.kif 3966-3982
If
an entity
is an
instance
of
electromagnet
and there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
transfer
and
the third entity
is an
instance
of
electricity
and the object transferred in
the other entity
is
the third entity
and
the entity
is
path
along which
the other entity
occurs doesn't hold
during
the other entity
1,
then there exists
a fourth entity
such that
the fourth entity
is an
instance
of
magnetism
and
the entity
is an
instrument
for
the fourth entity
doesn't hold
during
the other entity
1
(=>
(
and
(
instance
?GRAPH
Graph
)
(
instance
?NODE1
GraphNode
)
(
instance
?NODE2
GraphNode
)
(
graphPart
?NODE1 ?GRAPH)
(
graphPart
?NODE2 ?GRAPH)
(
not
(
equal
?NODE1 ?NODE2)))
(
exists
(?ARC ?PATH)
(
or
(
links
?NODE1 ?NODE2 ?ARC)
(
and
(
subGraph
?PATH ?GRAPH)
(
instance
?PATH
GraphPath
)
(
or
(
and
(
equal
(
BeginNodeFn
?PATH) ?NODE1)
(
equal
(
EndNodeFn
?PATH) ?NODE2))
(
and
(
equal
(
BeginNodeFn
?PATH) ?NODE2)
(
equal
(
EndNodeFn
?PATH) ?NODE1)))))))
Merge.kif 5655-5675
If
a graph
is an
instance
of
graph
and
a graph node
is an
instance
of
graph node
and
another graph node
is an
instance
of
graph node
and
the graph node
is a
part
of
the graph
and
the other graph node
is a
part
of
the graph
and
equal
the graph node
and
the other graph node
,
then there exist
a graph arc
and
a graph path
such that
the graph arc
link
s
the graph node
and
the other graph node
or
the graph path
is a
subgraph
of
the graph
and
the graph path
is an
instance
of
graph path
and
equal
the
beginning
of
the graph path
and
the graph node
and
equal
the
end
of
the graph path
and
the other graph node
or
equal
the
beginning
of
the graph path
and
the other graph node
and
equal
the
end
of
the graph path
and
the graph node
(=>
(
and
(
instance
?GUIE1
GUIElement
)
(
instance
?GUIE2
GUIElement
)
(
not
(
instance
?GUIE1
InterfaceWindow
))
(
not
(
instance
?GUIE2
InterfaceWindow
))
(
screenOfGUIE
?GUIE1 ?SCREEN)
(
screenOfGUIE
?GUIE2 ?SCREEN)
(
hasGUEState
?GUIE1
GUE_ActiveState
)
(
hasGUEState
?GUIE2
GUE_ActiveState
))
(
or
(
properPart
?GUIE1 ?GUIE2)
(
properPart
?GUIE2 ?GUIE1)
(
equal
?GUIE1 ?GUIE2)))
ComputerInput.kif 1935-1948
If
a GUI element
is an
instance
of
GUI element
and
another GUI element
is an
instance
of
GUI element
and
the GUI element
is not an
instance
of
interface window
and
the other GUI element
is not an
instance
of
interface window
and
the GUI element
is
displayed
on
a computer screen
and
the other GUI element
is
displayed
on
the computer screen
and
the GUI element
has
state
GUE active state
and
the other GUI element
has
state
GUE active state
,
then
the GUI element
is a
proper
part
of
the other GUI element
or
the other GUI element
is a
proper
part
of
the GUI element
or
equal
the GUI element
and
the other GUI element
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
instance
?O
Organism
)
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?KILLING)
(
capability
(
KappaFn
?KILLING
(
and
(
instance
?KILLING
Killing
)
(
patient
?KILLING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1634-1653
If
a device
is an
instance
of
gun
and
an unit of measure
is an
instance
of
unit of length
and
a real number
the unit of measure
(s) is an
effective
range of
the device
and the
distance
between
the device
and
an object
is
the real number
1
the unit of measure
(s) and
the object
is an
instance
of
organism
and there doesn't exist
the object
2 such that
the object
2 is
between
the object
and
the device
and
the real number
1 is
less
than or equal to
the real number
,
then there exists
a symbolic string
such that
the device
is
capable
of doing the
class
described by
the symbolic string
as a
instrument
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?DAMAGING)
(
capability
(
KappaFn
?DAMAGING
(
and
(
instance
?DAMAGING
Damaging
)
(
patient
?DAMAGING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1612-1630
If
a device
is an
instance
of
gun
and
an unit of measure
is an
instance
of
unit of length
and
a real number
the unit of measure
(s) is an
effective
range of
the device
and the
distance
between
the device
and
an object
is
the real number
1
the unit of measure
(s) and there doesn't exist
the object
2 such that
the object
2 is
between
the object
and
the device
and
the real number
1 is
less
than or equal to
the real number
,
then there exists
a symbolic string
such that
the device
is
capable
of doing the
class
described by
the symbolic string
as a
instrument
(=>
(
and
(
instance
?H
Primate
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?H ?D)))
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Foot
)
(
instance
?L2
Foot
)
(
not
(
equal
?L1 ?L2))
(
part
?L1 ?H)
(
part
?L2 ?H))))
Mid-level-ontology.kif 14040-14053
If
an object
is an
instance
of
primate
and
an attribute
is an
instance
of
disease or syndrome
and
the attribute
is not an
attribute
of
the object
,
then there exist
another object
and
a third object
such that
the other object
is an
instance
of
foot
and
the third object
is an
instance
of
foot
and
equal
the other object
and
the third object
and
the other object
is a
part
of
the object
and
the third object
is a
part
of
the object
(=>
(
and
(
instance
?H
Primate
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?H ?D)))
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Leg
)
(
instance
?L2
Leg
)
(
not
(
equal
?L1 ?L2))
(
part
?L1 ?H)
(
part
?L2 ?H))))
Mid-level-ontology.kif 14013-14026
If
an object
is an
instance
of
primate
and
an attribute
is an
instance
of
disease or syndrome
and
the attribute
is not an
attribute
of
the object
,
then there exist
another object
and
a third object
such that
the other object
is an
instance
of
leg
and
the third object
is an
instance
of
leg
and
equal
the other object
and
the third object
and
the other object
is a
part
of
the object
and
the third object
is a
part
of
the object
(=>
(
and
(
instance
?H
Primate
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?H ?D)))
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Lung
)
(
instance
?L2
Lung
)
(
not
(
equal
?L1 ?L2))
(
part
?L1 ?H)
(
part
?L2 ?H))))
Mid-level-ontology.kif 12529-12542
If
an object
is an
instance
of
primate
and
an attribute
is an
instance
of
disease or syndrome
and
the attribute
is not an
attribute
of
the object
,
then there exist
another object
and
a third object
such that
the other object
is an
instance
of
lung
and
the third object
is an
instance
of
lung
and
equal
the other object
and
the third object
and
the other object
is a
part
of
the object
and
the third object
is a
part
of
the object
(=>
(
and
(
instance
?IMPORT
Importing
)
(
patient
?IMPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?IMPORT))
(
not
(
located
?ITEM ?AREA))))
(
holdsDuring
(
EndFn
(
WhenFn
?IMPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2818-2831
If
a process
is an
instance
of
importing
and
an entity
is a
patient
of
the process
and
another entity
is an
instance
of
geopolitical area
and
the entity
is not
located
at
the other entity
holds
during
the
beginning
of the
time
of existence of
the process
,
then
the entity
is
located
at
the other entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?Isthmus
Isthmus
)
(
side
?Leftside ?Isthmus)
(
side
?Rightside ?Isthmus)
(
not
(
equal
?Leftside ?Rightside)))
(
exists
(?Region1 ?Region2 ?Water1 ?Water2)
(
and
(
instance
?Region1
LandArea
)
(
instance
?Region2
LandArea
)
(
between
?Region1 ?Isthmus ?Region2)
(
instance
?Water1
WaterArea
)
(
instance
?Water2
WaterArea
)
(
meetsSpatially
?Leftside ?Water1)
(
meetsSpatially
?Rightside ?Water2))))
Geography.kif 6093-6107
If
a self connected object
is an
instance
of
isthmus
and a
side
of
the self connected object
is
another self connected object
and a
side
of
the self connected object
is
a third self connected object
and
equal
the other self connected object
and
the third self connected object
,
then there exist
an object
,
another object
,, ,
a third object
and
a fourth object
such that
the object
is an
instance
of
land area
and
the other object
is an
instance
of
land area
and
the self connected object
is
between
the object
and
the other object
and
the third object
is an
instance
of
water area
and
the fourth object
is an
instance
of
water area
and
the other self connected object
meet
s
the third object
and
the third self connected object
meet
s
the fourth object
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
subOrganization
?FORCE2 ?JOINT)
(
not
(
equal
?FORCE1 ?FORCE2))
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
and
(
leaderPosition
?FORCE1 ?JOINTCOMMANDER)
(
leaderPosition
?FORCE2 ?JOINTCOMMANDER)))
MilitaryProcesses.kif 1736-1746
If
an organization
is an
instance
of
joint forces
and
another organization
is a part of the organization
the organization
and
a third organization
is a part of the organization
the organization
and
equal
the other organization
and
the third organization
and
the organization
COMMANDER is a
leader
position of
the organization
,
then
the organization
COMMANDER is a
leader
position of
the other organization
and
the organization
COMMANDER is a
leader
position of
the third organization
(=>
(
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 1549-1572
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
equal
the other object
and
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
(=>
(
and
(
instance
?L1
LineInSpace
)
(
instance
?L2
LineInSpace
)
(
instance
?P1
PointInSpace
)
(
instance
?P2
PointInSpace
)
(
not
(
equal
?P1 ?P2))
(
part
?P1 ?L1)
(
part
?P2 ?L1)
(
part
?P1 ?L2)
(
part
?P2 ?L2))
(
equal
?L1 ?L2))
Mid-level-ontology.kif 27290-27302
If
an object
is an
instance
of
line in space
and
another object
is an
instance
of
line in space
and
a third object
is an
instance
of
point in space
and
a fourth object
is an
instance
of
point in space
and
equal
the third object
and
the fourth object
and
the third object
is a
part
of
the object
and
the fourth object
is a
part
of
the object
and
the third object
is a
part
of
the other object
and
the fourth object
is a
part
of
the other object
,
then
equal
the object
and
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
