subclass
(=>
(
equal
?P
(
PlantFn
TamarindFruit
))
(
subclass
?P
BotanicalTree
))
Food.kif 3489-3491
If
a kind of plant
is
equal
to
plant fn
tamarind fruit
,
then
a kind of plant
is a
subclass
of
botanical tree
(=>
(
equal
?P
(
PlantFn
WineGrape
))
(
subclass
?P
GrapeVine
))
Economy.kif 4732-4735
If
a kind of plant
is
equal
to
plant fn
wine grape
,
then
a kind of plant
is a
subclass
of
grape vine
(=>
(
equal
?X
(
PlantFn
CommonWheatGrain
))
(
subclass
?X
CommonWheatGrass
))
Economy.kif 4066-4069
If
a kind of plant
is
equal
to
plant fn
common wheat grain
,
then
a kind of plant
is a
subclass
of
common wheat grass
(=>
(
equal
?X
(
PlantFn
DurumWheatGrain
))
(
subclass
?X
DurumWheatGrass
))
Economy.kif 4076-4079
If
a kind of plant
is
equal
to
plant fn
durum wheat grain
,
then
a kind of plant
is a
subclass
of
durum wheat grass
(=>
(
equal
?X
(
PlantFn
EinkornWheatGrain
))
(
subclass
?X
EinkornWheatGrass
))
Economy.kif 4096-4099
If
a kind of plant
is
equal
to
plant fn
Einkorn wheat grain
,
then
a kind of plant
is a
subclass
of
einkorn wheat grass
(=>
(
equal
?X
(
PlantFn
EmmerWheatGrain
))
(
subclass
?X
EmmerWheatGrass
))
Economy.kif 4086-4089
If
a kind of plant
is
equal
to
plant fn
Emmer wheat grain
,
then
a kind of plant
is a
subclass
of
emmer wheat grass
(=>
(
equal
?X
(
PlantFn
SpeltWheatGrain
))
(
subclass
?X
SpeltWheatGrass
))
Economy.kif 4107-4110
If
a kind of plant
is
equal
to
plant fn
spelt wheat grain
,
then
a kind of plant
is a
subclass
of
spelt wheat grass
(=>
(
groupingTitle
?STRING ?PRODUCTTYPE ?LANGUAGE)
(
subclass
?PRODUCTTYPE
Collection
))
Media.kif 3203-3205
If
a symbolic string
is the
title
in
a language
for instances of
a class
,
then
the class
is a
subclass
of
collection
(=>
(
habitatOfOrganism
?O ?L)
(
not
(
subclass
?O
DomesticAnimal
)))
Mid-level-ontology.kif 30385-30388
If
a kind of organism
inhabits
a geographic area
,
then
a kind of organism
is not a
subclass
of
domestic animal
(=>
(
immediateInstance
?ENTITY ?CLASS)
(
not
(
exists
(?SUBCLASS)
(
and
(
subclass
?SUBCLASS ?CLASS)
(
not
(
equal
?SUBCLASS ?CLASS))
(
instance
?ENTITY ?SUBCLASS)))))
Merge.kif 98-104
If
an entity
is an
immediate
instance of
a class
,
then there doesn't exist
another class
such that
the other class
is a
subclass
of
the class
and
the other class
is not
equal
to
the class
and
the entity
is an
instance
of
the other class
(=>
(
immediateSubclass
?CLASS1 ?CLASS2)
(
not
(
exists
(?CLASS3)
(
and
(
subclass
?CLASS3 ?CLASS2)
(
subclass
?CLASS1 ?CLASS3)
(
not
(
equal
?CLASS2 ?CLASS3))
(
not
(
equal
?CLASS1 ?CLASS3))))))
Merge.kif 160-167
If
a class
is an
immediate
subclass of
another class
,
then there doesn't exist
a third class
such that
the third class
is a
subclass
of
the other class
and
the class
is a
subclass
of
the third class
and
the other class
is not
equal
to
the third class
and
the class
is not
equal
to
the third class
(=>
(
instance
?ARTIFACT
GameArtifact
)
(
exists
(?GAME)
(
and
(
subclass
?GAME
Game
)
(
capability
?GAME
instrument
?ARTIFACT))))
Mid-level-ontology.kif 16980-16985
If
an object
is an
instance
of
game artifact
,
then there exists
a kind of process
such that
a kind of process
is a
subclass
of
game
and
the object
is
capable
of doing
the kind of process
as a
instrument
(=>
(
instance
?BERG
Iceberg
)
(
exists
(?SHEET)
(
and
(
subclass
?SHEET
Glacier
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?BERG))
(
material
?SHEET ?BERG)))))
Geography.kif 4732-4740
If
a physical
is an
instance
of
iceberg
,
then there exists
a class
such that
the class
is a
subclass
of
glacier
and
the physical
is
made
of
the class
holds
during
immediately
before
the
time
of existence of
the physical
(=>
(
instance
?C
ElectricalConductor
)
(
exists
(?S)
(
and
(
subclass
?S
ConductorSubstance
)
(
material
?S ?C))))
engineering.kif 826-831
If
a corpuscular object
is an
instance
of
electrical conductor
,
then there exists
a kind of substance
such that
a kind of substance
is a
subclass
of
conductor substance
and
the corpuscular object
is
made
of
the kind of substance
(=>
(
instance
?CF
CharcoalFilter
)
(
exists
(?C)
(
and
(
subclass
?C
Charcoal
)
(
material
?C ?CF))))
Cars.kif 1694-1699
If
a corpuscular object
is an
instance
of
charcoal filter
,
then there exists
a kind of substance
such that
a kind of substance
is a
subclass
of
charcoal
and
the corpuscular object
is
made
of
the kind of substance
(=>
(
instance
?CLASS
Class
)
(
subclass
?CLASS
Entity
))
Merge.kif 828-830
If
a class
is an
instance
of
class
,
then
the class
is a
subclass
of
entity
(=>
(
instance
?CO
CounterOperation
)
(
hasPurpose
?CO
(
exists
(?AGENT ?ENEMY ?OP ?CLASS)
(
and
(
agent
?CO ?AGENT)
(
enemy
?AGENT ?ENEMY)
(
subclass
?CLASS
MilitaryOperation
)
(
instance
?OP ?CLASS)
(
agent
?OP ?ENEMY)
(
prevents
?CO ?CLASS)))))
MilitaryProcesses.kif 2174-2184
If
a physical
is an
instance
of
counter operation
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
agent
of
the physical
and
the entity
and
the other entity
are enemies of each other and
the fourth entity
is a
subclass
of
military operation
and
the third entity
is an
instance
of
the fourth entity
and
the other entity
is an
agent
of
the third entity
and
the physical
prevent
s the occurrence of
the fourth entity
(=>
(
instance
?CO
CounterReconnaissance
)
(
hasPurpose
?CO
(
exists
(?AGENT ?ENEMY ?OP ?CLASS)
(
and
(
agent
?CO ?AGENT)
(
enemy
?AGENT ?ENEMY)
(
subclass
?CLASS
ReconnaissanceOperation
)
(
instance
?OP ?CLASS)
(
agent
?OP ?ENEMY)
(
prevents
?CO ?CLASS)))))
MilitaryProcesses.kif 2193-2203
If
a physical
is an
instance
of
counter reconnaissance
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
agent
of
the physical
and
the entity
and
the other entity
are enemies of each other and
the fourth entity
is a
subclass
of
reconnaissance operation
and
the third entity
is an
instance
of
the fourth entity
and
the other entity
is an
agent
of
the third entity
and
the physical
prevent
s the occurrence of
the fourth entity
(=>
(
instance
?CO
CounterTerrorism
)
(
hasPurpose
?CO
(
exists
(?AGENT ?ENEMY ?OP ?CLASS)
(
and
(
agent
?CO ?AGENT)
(
enemy
?AGENT ?ENEMY)
(
subclass
?CLASS
Terrorism
)
(
instance
?OP ?CLASS)
(
agent
?OP ?ENEMY)
(
prevents
?CO ?CLASS)))))
MilitaryProcesses.kif 2032-2042
If
a physical
is an
instance
of
counter terrorism
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
agent
of
the physical
and
the entity
and
the other entity
are enemies of each other and
the fourth entity
is a
subclass
of
terrorism
and
the third entity
is an
instance
of
the fourth entity
and
the other entity
is an
agent
of
the third entity
and
the physical
prevent
s the occurrence of
the fourth entity
(=>
(
instance
?COIN
CurrencyCoin
)
(
exists
(?METAL)
(
and
(
subclass
?METAL
Metal
)
(
material
?METAL ?COIN))))
Mid-level-ontology.kif 3600-3605
If
a corpuscular object
is an
instance
of
coin
,
then there exists
a kind of substance
such that
a kind of substance
is a
subclass
of
metal
and
the corpuscular object
is
made
of
the kind of substance
(=>
(
instance
?GRAPH
Graph
)
(
subclass
(
MinimalCutSetFn
?GRAPH)
(
CutSetFn
?GRAPH)))
Merge.kif 6087-6089
If
a graph
is an
instance
of
graph
,
then the
set
of minimal paths that partition
the graph
into two separate graphs is a
subclass
of the
set
of paths that partition
the graph
into two separate graphs
(=>
(
instance
?I
ResistorElement
)
(
exists
(?S)
(
and
(
subclass
?S
InsulatorSubstance
)
(
material
?S ?I))))
engineering.kif 855-860
If
a corpuscular object
is an
instance
of
resistor element
,
then there exists
a kind of substance
such that
a kind of substance
is a
subclass
of
insulator substance
and
the corpuscular object
is
made
of
the kind of substance
(=>
(
instance
?INDUSTRY
Industry
)
(
exists
(?MEMB1 ?MEMB2 ?CLASS)
(
and
(
member
?MEMB1 ?INDUSTRY)
(
member
?MEMB2 ?INDUSTRY)
(
subclass
?CLASS
Corporation
)
(
immediateInstance
?MEMB1 ?CLASS)
(
immediateInstance
?MEMB2 ?CLASS))))
Mid-level-ontology.kif 15015-15023
If
a collection
is an
instance
of
industry
,
then there exist
a physical
,
another physical
and
a class
such that
the physical
is a
member
of
the collection
and
the other physical
is a
member
of
the collection
and
the class
is a
subclass
of
corporation
and
the physical
is an
immediate
instance of
the class
and
the other physical
is an
immediate
instance of
the class
(=>
(
instance
?M
Meat
)
(
exists
(?DA ?AC)
(
and
(
instance
?DA
(
DeadFn
?AC))
(
part
?M ?DA)
(
subclass
?AC
Animal
))))
Food.kif 1909-1915
If
an object
is an
instance
of
meat
,
then there exist
another object
and
a kind of organic object
such that
the other object
is an
instance
of a
dead
a kind of organic object
and
the object
is a
part
of
the other object
and
the kind of organic object
is a
subclass
of
animal
(=>
(
instance
?OBJ
CorpuscularObject
)
(
exists
(?SUBSTANCE1 ?SUBSTANCE2)
(
and
(
subclass
?SUBSTANCE1
Substance
)
(
subclass
?SUBSTANCE2
Substance
)
(
material
?SUBSTANCE1 ?OBJ)
(
material
?SUBSTANCE2 ?OBJ)
(
not
(
equal
?SUBSTANCE1 ?SUBSTANCE2)))))
Merge.kif 1231-1239
If
a corpuscular object
is an
instance
of
corpuscular object
,
then there exist
a kind of substance
and
another kind of substance
such that
a kind of substance
is a
subclass
of
substance
and
another kind of substance
is a
subclass
of
substance
and
the corpuscular object
is
made
of
the kind of substance
and
the corpuscular object
is
made
of
the other kind of substance
and
the kind of substance
is not
equal
to
the other kind of substance
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