Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 23146-23152
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23154-23154
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 23155-23155
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 23143-23143
initial part
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23144-23144
initial part
is an
instance
of
spatial relation
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23145-23145
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 3711-3711
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3710-3710
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3709-3709
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 30114-30114
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 30113-30113
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 30112-30112
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23157-23166
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
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23168-23168
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 11014-11014
Every
animal shell
is
initially
part
of a
animal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10291-10291
Every
bicep
is
initially
part
of a
arm
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10309-10309
Every
gastrocnemius
is
initially
part
of a
leg
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11617-11617
Every
cornea
is
initially
part
of a
eye
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11986-11986
Every
digit appendage
is
initially
part
of a
limb
No TPTP formula. May not be expressible in strict first order.
Food.kif 523-523
Every
EggYolk
is
initially
part
of a
egg
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11158-11158
Every
exoskeleton
is
initially
part
of a
animal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10338-10338
Every
forearm
is
initially
part
of a
arm
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11269-11269
Every
hair
is
initially
part
of a
animal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10324-10324
Every
hamstring muscle
is
initially
part
of a
leg
No TPTP formula. May not be expressible in strict first order.
Food.kif 574-574
Every
Juice
is
initially
part
of a
fruit or vegetable
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10283-10283
Every
upper back muscle
is
initially
part
of a
torso
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10353-10353
Every
lower leg
is
initially
part
of a
leg
No TPTP formula. May not be expressible in strict first order.
Food.kif 660-660
Every
Mushroom
is
initially
part
of a
fungus
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10276-10276
Every
chest muscle
is
initially
part
of a
chest
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10743-10743
Every
rib
is
initially
part
of a
chest
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11793-11793
Every
salivary gland
is
initially
part
of a
mouth
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10316-10316
Every
tibialis anterior
is
initially
part
of a
leg
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10301-10301
Every
quadriceps
is
initially
part
of a
leg
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10296-10296
Every
tricep
is
initially
part
of a
arm
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10343-10343
Every
upper arm
is
initially
part
of a
arm
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10348-10348
Every
upper leg
is
initially
part
of a
leg
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 758-758
Every
VocalCords
is
initially
part
of a
human
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 769-769
Every
VocalFold
is
initially
part
of a
VocalCords
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