Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
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 23699-23705
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23707-23707
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 23708-23708
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 23696-23696
initial part
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23697-23697
initial part
is an
instance
of
spatial relation
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23698-23698
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 3706-3706
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3705-3705
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 30127-30127
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 30126-30126
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 30125-30125
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23710-23719
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 600-608
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 1633-1639
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 2822-2824
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 1809-1814
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 2876-2882
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 4629-4634
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 4693-4699
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 4166-4172
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 4532-4543
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 2906-2914
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 5041-5046
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 5051-5056
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 4715-4721
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
TeaPlant
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5296-5301
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 5306-5311
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 5316-5321
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 5421-5426
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 5326-5333
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 5431-5436
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 5284-5291
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 5441-5446
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 5338-5343
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 5348-5353
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 5461-5466
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
PineWood
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 5358-5363
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 5368-5373
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 5378-5383
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 5409-5416
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 5451-5456
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 23721-23721
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 11529-11529
Every
animal shell
is
initially
part
of a
animal
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 688-688
Every
arm bone
is
initially
part
of a
arm
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4583-4583
Every
avocado oil
is
initially
part
of a
avocado
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4130-4130
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 10783-10783
Every
bicep
is
initially
part
of a
arm
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 21-21
Every
bone
is
initially
part
of a
primate
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10801-10801
Every
gastrocnemius
is
initially
part
of a
leg
No TPTP formula. May not be expressible in strict first order.
Food.kif 2439-2439
Every
chocolate
is
initially
part
of a
cocoa bean
No TPTP formula. May not be expressible in strict first order.
Food.kif 2492-2492
Every
cocoa butter
is
initially
part
of a
cocoa liquor
No TPTP formula. May not be expressible in strict first order.
Food.kif 2484-2484
Every
cocoa solid
is
initially
part
of a
cocoa liquor
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4580-4580
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 1507-1507
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 1547-1547
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 12135-12135
Every
cornea
is
initially
part
of a
eye
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12505-12505
Every
digit appendage
is
initially
part
of a
limb
No TPTP formula. May not be expressible in strict first order.
Food.kif 1517-1517
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 2547-2547
Every
egg yolk
is
initially
part
of a
egg
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11673-11673
Every
exoskeleton
is
initially
part
of a
animal
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1438-1438
Every
eyebrow
is
initially
part
of a
head
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 880-880
Every
finger bone
is
initially
part
of a
hand
No TPTP formula. May not be expressible in strict first order.
Food.kif 2311-2311
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 1102-1102
Every
FoodBone
is
initially
part
of a
foot
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10830-10830
Every
forearm
is
initially
part
of a
arm
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