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
域子類
partTypes
, 1 and
Object
(
domainSubclass
partTypes
2
Object
)
Mid-level-ontology.kif 23749-23749
域子類
partTypes
, 2 and
Object
(
instance
partTypes
BinaryPredicate
)
Mid-level-ontology.kif 23747-23747
例
partTypes
and
BinaryPredicate
(
relatedInternalConcept
partTypes
part
)
Mid-level-ontology.kif 23751-23751
相關的內部概念
partTypes
and
部分
(
subrelation
partTypes
typicalPart
)
Mid-level-ontology.kif 23750-23750
子關係
partTypes
and
典型的部分
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
每個
Object
是
Object
的
part
例
Object
and
Object
Object
例
Object
and
Object
部分
Object
and
Object
appearance as argument number 0
(
partTypes
Abdomen
Torso
)
Mid-level-ontology.kif 12820-12820
每個
Abdomen
是
軀幹
的
part
(
partTypes
AbdominalAorta
Aorta
)
arteries.kif 1273-1273
每個
AbdominalAorta
是
Aorta
的
part
(
partTypes
AscendingAorta
Aorta
)
arteries.kif 8-8
每個
AscendingAorta
是
Aorta
的
part
(
partTypes
ComputerKeyboard
ComputerKeyboardKey
)
ComputerInput.kif 375-375
每個
ComputerKeyboard
是
ComputerKeyboardKey
的
part
(
partTypes
ComputerMenu
ComputerMenuItem
)
ComputerInput.kif 1134-1134
每個
ComputerMenu
是
ComputerMenuItem
的
part
(
partTypes
ComputerMenuItem
ComputerMenu
)
ComputerInput.kif 1133-1133
每個
ComputerMenuItem
是
ComputerMenu
的
part
(
partTypes
ComputerMouse
MouseButton
)
ComputerInput.kif 400-400
每個
ComputerMouse
是
MouseButton
的
part
(
partTypes
FrontalLobe
Brain
)
Mid-level-ontology.kif 11875-11875
每個
FrontalLobe
是
腦
的
part
(
partTypes
GUISlider
GUISliderIndicator
)
ComputerInput.kif 1041-1041
每個
GUISlider
是
GUISliderIndicator
的
part
(
partTypes
GameIODeviceWithAccelerometer
Accelerometer
)
ComputerInput.kif 639-639
每個
GameIODeviceWithAccelerometer
是
Accelerometer
的
part
(
partTypes
GraphicalComputerMenu
GraphicalMenuItem
)
ComputerInput.kif 1150-1150
每個
GraphicalComputerMenu
是
GraphicalMenuItem
的
part
(
partTypes
GraphicalMenuItem
GraphicalComputerMenu
)
ComputerInput.kif 1149-1149
每個
GraphicalMenuItem
是
GraphicalComputerMenu
的
part
(
partTypes
IncusBone
AuditoryCanal
)
Anatomy.kif 1617-1617
每個
IncusBone
是
AuditoryCanal
的
part
(
partTypes
InternalComputerLoudspeaker
ComputerHardware
)
ComputerInput.kif 539-539
每個
InternalComputerLoudspeaker
是
電腦硬件
的
part
(
partTypes
MalleusBone
AuditoryCanal
)
Anatomy.kif 1616-1616
每個
MalleusBone
是
AuditoryCanal
的
part
(
partTypes
Medulla
Brain
)
Mid-level-ontology.kif 11853-11853
每個
Medulla
是
腦
的
part
(
partTypes
OccipitalLobes
Brain
)
Mid-level-ontology.kif 11882-11882
每個
OccipitalLobes
是
腦
的
part
(
partTypes
ParietalLobe
Brain
)
Mid-level-ontology.kif 11867-11867
每個
ParietalLobe
是
腦
的
part
(
partTypes
Pons
Brain
)
Mid-level-ontology.kif 11859-11859
每個
Pons
是
腦
的
part
(
partTypes
ScrollBarArrowButton
ScrollBar
)
ComputerInput.kif 986-986
每個
ScrollBarArrowButton
是
ScrollBar
的
part
(
partTypes
ScrollBarBar
ScrollBar
)
ComputerInput.kif 975-975
每個
ScrollBarBar
是
ScrollBar
的
part
(
partTypes
ScrollBarDownArrowButton
VerticalScrollBar
)
ComputerInput.kif 1019-1019
每個
ScrollBarDownArrowButton
是
VerticalScrollBar
的
part
(
partTypes
ScrollBarLeftArrowButton
HorizontalScrollBar
)
ComputerInput.kif 1002-1002
每個
ScrollBarLeftArrowButton
是
HorizontalScrollBar
的
part
(
partTypes
ScrollBarRightArrowButton
HorizontalScrollBar
)
ComputerInput.kif 995-995
每個
ScrollBarRightArrowButton
是
HorizontalScrollBar
的
part
(
partTypes
ScrollBarUpArrowButton
VerticalScrollBar
)
ComputerInput.kif 1010-1010
每個
ScrollBarUpArrowButton
是
VerticalScrollBar
的
part
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