Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLangua
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
initialPart
Sigma KEE - initialPart
initialPart
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25347-25353
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25355-25355
The number 1 argument of
initial part
is a
subclass
of
object
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25356-25356
The number 2 argument of
initial part
is a
subclass
of
object
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25343-25343
initial part
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25344-25344
initial part
is an
instance
of
spatial relation
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25346-25346
initial part
is
internally
related to
initially contains part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25345-25345
initial part
is
internally
related to
part
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3704-3704
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3703-3703
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3702-3702
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 30138-30138
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 30137-30137
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 30136-30136
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25358-25367
If every
a kind of object
is
initially
part
of a
another kind of object
and
a physical
is an
instance
of
a kind of object
,
then there exists
an entity
such that
the entity
is an
instance
of
another kind of object
and
the physical
is a
part
of
the entity
holds
during
the
beginning
of the
time
of existence of
the physical
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 605-613
If
an object
is an
instance
of
another kind of object
and
another kind of object
is a
subclass
of
cell nucleus
and every
the other kind of object
is
initially
part
of a
eukaryotic cell
,
then there exists
a third object
such that
the third object
is an
instance
of
chromotin
and
the third object
is a
part
of
the object
No TPTP formula. May not be expressible in strict first order.
Food.kif 1639-1645
If
a kind of object
is a
subclass
of
mixture
and every
a kind of object
is
initially
part
of a
meat
and every
the kind of object
is
initially
part
of a
food from plant
and every
the kind of object
is
initially
part
of a
potable water
,
then
the kind of object
is
equal
to
soup stock
No TPTP formula. May not be expressible in strict first order.
Food.kif 2829-2831
If every
dairy product
is
initially
part
of a
a kind of object
,
then
a kind of object
is
equal
to
milk
No TPTP formula. May not be expressible in strict first order.
Food.kif 1815-1820
If every
tea
is
initially
part
of a
a kind of object
,
then
a kind of object
is
equal
to
tea bud
or
the kind of object
is
equal
to
tea leaf
or
the kind of object
is
equal
to
tea twig
consequent
No TPTP formula. May not be expressible in strict first order.
Food.kif 2883-2889
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
animal fat
and
another kind of object
is a
subclass
of
fat tissue
,
then every
the other kind of object
is
initially
part
of a
animal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4967-4972
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
coffee bean
and
another kind of object
is a
subclass
of
seed
,
then every
the other kind of object
is
initially
part
of a
coffee plant
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5031-5037
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
cocoa bean
and
another kind of object
is a
subclass
of
seed
,
then every
the other kind of object
is
initially
part
of a
cocoa tree
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4503-4509
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
malt
and
another kind of object
is a
subclass
of
cereal grain
,
then every
the other kind of object
is
initially
part
of a
cereal grass plant
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4870-4881
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
oil from plant
and
another kind of object
is a
subclass
of
seed
or
the other kind of object
is a
subclass
of
fruit
,
then there exists
a third kind of object
such that
a third kind of object
is a
subclass
of
flowering plant
and every
the other kind of object
is
initially
part
of a
the third kind of object
No TPTP formula. May not be expressible in strict first order.
Food.kif 2913-2921
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
suet
and
another kind of object
is a
subclass
of
fat tissue
,
then every
the other kind of object
is
initially
part
of a
cattle
or every
the other kind of object
is
initially
part
of a
sheep
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5382-5387
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
lambskin
and
another kind of object
is a
subclass
of
skin
,
then every
the other kind of object
is
initially
part
of a
lamb
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5392-5397
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
sheepskin
and
another kind of object
is a
subclass
of
skin
,
then every
the other kind of object
is
initially
part
of a
sheep
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5053-5059
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
tea plant aerial part
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
tea plant
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5637-5642
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
Balsa wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
Balsa tree
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5647-5652
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
Beech wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
Beech tree
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5657-5662
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
Birch wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
Birch tree
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5762-5767
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
Cedar wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
Cedar tree
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5667-5674
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
cherry wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
black cherry tree
or every
the other kind of object
is
initially
part
of a
sweet cherry tree
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5772-5777
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
fir wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
Fir tree
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5625-5632
If
a kind of object
is
equal
to
Object
made from
a kind of organic object
and
a kind of object
is a
subclass
of
hardwood
and
a kind of organic object
is a
subclass
of
plant stem
,
then the statement every
the kind of organic object
is
initially
part
of a
deciduous tree
has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5782-5787
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
larch wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
larch tree
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5679-5684
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
maple wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
maple tree
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5689-5694
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
Okoume wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
okoume tree
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5803-5808
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
pine wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
pine tree
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5699-5704
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
Poplar wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
Poplar tree
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5709-5714
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
red oak wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
red oak tree
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5719-5724
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
Sapele wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
Sapele tree
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5750-5757
If
a kind of object
is
equal
to
Object
made from
a kind of organic object
and
a kind of object
is a
subclass
of
softwood
and
a kind of organic object
is a
subclass
of
plant stem
,
then the statement every
the kind of organic object
is
initially
part
of a
conifers
has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5792-5797
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
Spruce wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
Spruce tree
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25369-25369
Every
animal anatomical structure
is
initially
part
of a
animal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12860-12860
Every
animal shell
is
initially
part
of a
animal
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 703-703
Every
arm bone
is
initially
part
of a
arm
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4921-4921
Every
avocado oil
is
initially
part
of a
avocado
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4467-4467
Every
barley grain
is
initially
part
of a
barley grass
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12114-12114
Every
bicep
is
initially
part
of a
arm
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 20-20
Every
bone
is
initially
part
of a
primate
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1213-1213
Every
bone marrow
is
initially
part
of a
bone
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12132-12132
Every
gastrocnemius
is
initially
part
of a
leg
No TPTP formula. May not be expressible in strict first order.
Food.kif 2446-2446
Every
chocolate
is
initially
part
of a
cocoa bean
No TPTP formula. May not be expressible in strict first order.
Food.kif 2499-2499
Every
cocoa butter
is
initially
part
of a
cocoa liquor
No TPTP formula. May not be expressible in strict first order.
Food.kif 2491-2491
Every
cocoa solid
is
initially
part
of a
cocoa liquor
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4918-4918
Every
coconut oil
is
initially
part
of a
coconut
No TPTP formula. May not be expressible in strict first order.
Food.kif 634-634
Every
coffee
is
initially
part
of a
coffee bean
No TPTP formula. May not be expressible in strict first order.
Food.kif 1513-1513
Every
common wheat flour
is
initially
part
of a
common wheat grain
No TPTP formula. May not be expressible in strict first order.
Food.kif 1553-1553
Every
corn flour
is
initially
part
of a
maize grain
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13466-13466
Every
cornea
is
initially
part
of a
eye
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13836-13836
Every
digit appendage
is
initially
part
of a
limb
No TPTP formula. May not be expressible in strict first order.
Food.kif 1523-1523
Every
durum wheat flour
is
initially
part
of a
durum wheat grain
No TPTP formula. May not be expressible in strict first order.
Food.kif 2554-2554
Every
egg yolk
is
initially
part
of a
egg
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13004-13004
Every
exoskeleton
is
initially
part
of a
animal
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1473-1473
Every
eyebrow
is
initially
part
of a
head
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 911-911
Every
finger bone
is
initially
part
of a
hand
No TPTP formula. May not be expressible in strict first order.
Food.kif 2318-2318
Every
flesh or pulp
is
initially
part
of a
fruit or vegetable
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1133-1133
Every
FoodBone
is
initially
part
of a
foot
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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