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
partTypes
Sigma KEE - partTypes
partTypes
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23752-23753
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23748-23748
The number 1 argument of
part types
is a
subclass
of
object
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23749-23749
The number 2 argument of
part types
is a
subclass
of
object
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23747-23747
part types
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23751-23751
part types
is
internally
related to
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23750-23750
part types
is a
subrelation
of
typical part
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4078-4078
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4077-4077
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4076-4076
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 65893-65893
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23755-23762
If every
a kind of object
is a
part
of a
another kind of object
and
a third object
is an
instance
of
a kind of object
,
then there exists
a fourth object
such that
the fourth object
is an
instance
of
another kind of object
and
the third object
is a
part
of
the fourth object
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12820-12820
Every
abdomen
is a
part
of a
torso
No TPTP formula. May not be expressible in strict first order.
arteries.kif 1273-1273
Every
abdominal aorta
is a
part
of a
aorta
No TPTP formula. May not be expressible in strict first order.
arteries.kif 8-8
Every
ascending aorta
is a
part
of a
aorta
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 375-375
Every
computer keyboard
is a
part
of a
computer keyboard key
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1134-1134
Every
computer menu
is a
part
of a
computer menu item
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1133-1133
Every
computer menu item
is a
part
of a
computer menu
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 400-400
Every
computer mouse
is a
part
of a
mouse button
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11875-11875
Every
frontal lobe
is a
part
of a
brain
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1041-1041
Every
GUI slider
is a
part
of a
GUI slider indicator
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 639-639
Every
game I/O device with accelerometer
is a
part
of a
accelerometer
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1150-1150
Every
graphical computer menu
is a
part
of a
graphical menu item
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1149-1149
Every
graphical menu item
is a
part
of a
graphical computer menu
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1617-1617
Every
IncusBone
is a
part
of a
auditory canal
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 539-539
Every
internal computer loudspeaker
is a
part
of a
computer hardware
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1616-1616
Every
MalleusBone
is a
part
of a
auditory canal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11853-11853
Every
medulla
is a
part
of a
brain
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11882-11882
Every
occipital lobes
is a
part
of a
brain
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11867-11867
Every
parietal lobe
is a
part
of a
brain
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11859-11859
Every
pons
is a
part
of a
brain
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 986-986
Every
scroll bar arrow button
is a
part
of a
scroll bar
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 975-975
Every
scroll bar bar
is a
part
of a
scroll bar
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1019-1019
Every
scroll bar down arrow button
is a
part
of a
vertical scroll bar
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1002-1002
Every
scroll bar left arrow button
is a
part
of a
horizontal scroll bar
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 995-995
Every
scroll bar right arrow button
is a
part
of a
horizontal scroll bar
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1010-1010
Every
scroll bar up arrow button
is a
part
of a
vertical scroll bar
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