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
(
documentation
partTypes
EnglishLanguage
"(partTypes ?PART_TYPE ?WHOLE_TYPE) means that every instance of ?PART_TYPE is
part
s of an instance of ?WHOLE_TYPE.")
Mid-level-ontology.kif 23752-23753
(
domainSubclass
partTypes
1
Object
)
Mid-level-ontology.kif 23748-23748
The number 1 argument of
part types
is a
subclass
of
object
(
domainSubclass
partTypes
2
Object
)
Mid-level-ontology.kif 23749-23749
The number 2 argument of
part types
is a
subclass
of
object
(
instance
partTypes
BinaryPredicate
)
Mid-level-ontology.kif 23747-23747
part types
is an
instance
of
binary predicate
(
relatedInternalConcept
partTypes
part
)
Mid-level-ontology.kif 23751-23751
part types
is
internally
related to
part
(
subrelation
partTypes
typicalPart
)
Mid-level-ontology.kif 23750-23750
part types
is a
subrelation
of
typical part
appearance as argument number 2
(
format
ChineseLanguage
partTypes
"每个 %1 是 %2 的
part
")
domainEnglishFormat.kif 4078-4078
(
format
ChineseTraditionalLanguage
partTypes
"每個 %1 是 %2 的
part
")
domainEnglishFormat.kif 4077-4077
(
format
EnglishLanguage
partTypes
"every %1 is a
part
of a %2")
domainEnglishFormat.kif 4076-4076
(
termFormat
EnglishLanguage
partTypes
"part types")
domainEnglishFormat.kif 65893-65893
antecedent
(=>
(
and
(
partTypes
?PARTTYPE ?WHOLETYPE)
(
instance
?PART ?PARTTYPE))
(
exists
(?WHOLE)
(
and
(
instance
?WHOLE ?WHOLETYPE)
(
part
?PART ?WHOLE))))
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
(
partTypes
Abdomen
Torso
)
Mid-level-ontology.kif 12820-12820
Every
abdomen
is a
part
of a
torso
(
partTypes
AbdominalAorta
Aorta
)
arteries.kif 1273-1273
Every
abdominal aorta
is a
part
of a
aorta
(
partTypes
AscendingAorta
Aorta
)
arteries.kif 8-8
Every
ascending aorta
is a
part
of a
aorta
(
partTypes
ComputerKeyboard
ComputerKeyboardKey
)
ComputerInput.kif 375-375
Every
computer keyboard
is a
part
of a
computer keyboard key
(
partTypes
ComputerMenu
ComputerMenuItem
)
ComputerInput.kif 1134-1134
Every
computer menu
is a
part
of a
computer menu item
(
partTypes
ComputerMenuItem
ComputerMenu
)
ComputerInput.kif 1133-1133
Every
computer menu item
is a
part
of a
computer menu
(
partTypes
ComputerMouse
MouseButton
)
ComputerInput.kif 400-400
Every
computer mouse
is a
part
of a
mouse button
(
partTypes
FrontalLobe
Brain
)
Mid-level-ontology.kif 11875-11875
Every
frontal lobe
is a
part
of a
brain
(
partTypes
GUISlider
GUISliderIndicator
)
ComputerInput.kif 1041-1041
Every
GUI slider
is a
part
of a
GUI slider indicator
(
partTypes
GameIODeviceWithAccelerometer
Accelerometer
)
ComputerInput.kif 639-639
Every
game I/O device with accelerometer
is a
part
of a
accelerometer
(
partTypes
GraphicalComputerMenu
GraphicalMenuItem
)
ComputerInput.kif 1150-1150
Every
graphical computer menu
is a
part
of a
graphical menu item
(
partTypes
GraphicalMenuItem
GraphicalComputerMenu
)
ComputerInput.kif 1149-1149
Every
graphical menu item
is a
part
of a
graphical computer menu
(
partTypes
IncusBone
AuditoryCanal
)
Anatomy.kif 1617-1617
Every
IncusBone
is a
part
of a
auditory canal
(
partTypes
InternalComputerLoudspeaker
ComputerHardware
)
ComputerInput.kif 539-539
Every
internal computer loudspeaker
is a
part
of a
computer hardware
(
partTypes
MalleusBone
AuditoryCanal
)
Anatomy.kif 1616-1616
Every
MalleusBone
is a
part
of a
auditory canal
(
partTypes
Medulla
Brain
)
Mid-level-ontology.kif 11853-11853
Every
medulla
is a
part
of a
brain
(
partTypes
OccipitalLobes
Brain
)
Mid-level-ontology.kif 11882-11882
Every
occipital lobes
is a
part
of a
brain
(
partTypes
ParietalLobe
Brain
)
Mid-level-ontology.kif 11867-11867
Every
parietal lobe
is a
part
of a
brain
(
partTypes
Pons
Brain
)
Mid-level-ontology.kif 11859-11859
Every
pons
is a
part
of a
brain
(
partTypes
ScrollBarArrowButton
ScrollBar
)
ComputerInput.kif 986-986
Every
scroll bar arrow button
is a
part
of a
scroll bar
(
partTypes
ScrollBarBar
ScrollBar
)
ComputerInput.kif 975-975
Every
scroll bar bar
is a
part
of a
scroll bar
(
partTypes
ScrollBarDownArrowButton
VerticalScrollBar
)
ComputerInput.kif 1019-1019
Every
scroll bar down arrow button
is a
part
of a
vertical scroll bar
(
partTypes
ScrollBarLeftArrowButton
HorizontalScrollBar
)
ComputerInput.kif 1002-1002
Every
scroll bar left arrow button
is a
part
of a
horizontal scroll bar
(
partTypes
ScrollBarRightArrowButton
HorizontalScrollBar
)
ComputerInput.kif 995-995
Every
scroll bar right arrow button
is a
part
of a
horizontal scroll bar
(
partTypes
ScrollBarUpArrowButton
VerticalScrollBar
)
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