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
partTypes
的 1 数量 是
客体
的
subclass
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23749-23749
partTypes
的 2 数量 是
客体
的
subclass
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23747-23747
partTypes
是
二元谓语
的
instance
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23751-23751
partTypes
和
部分
是 内部相关
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23750-23750
partTypes
是
典型的部分
的
subrelation
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
如果 每个
有点 客体
是
另一个 有点 客体
的
part
和
第三 客体
是
有点 客体
的
instance
,
然后 有存在
第四 客体
这样
那个 第四 客体
是
另一个 有点 客体
的
instance
和
那个 第三 客体
是
那个 第四 客体
的
part
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12820-12820
每个
Abdomen
是
躯干
的
part
No TPTP formula. May not be expressible in strict first order.
arteries.kif 1273-1273
每个
AbdominalAorta
是
Aorta
的
part
No TPTP formula. May not be expressible in strict first order.
arteries.kif 8-8
每个
AscendingAorta
是
Aorta
的
part
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 375-375
每个
ComputerKeyboard
是
ComputerKeyboardKey
的
part
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1134-1134
每个
ComputerMenu
是
ComputerMenuItem
的
part
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1133-1133
每个
ComputerMenuItem
是
ComputerMenu
的
part
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 400-400
每个
ComputerMouse
是
MouseButton
的
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11875-11875
每个
FrontalLobe
是
脑
的
part
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1041-1041
每个
GUISlider
是
GUISliderIndicator
的
part
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 639-639
每个
GameIODeviceWithAccelerometer
是
Accelerometer
的
part
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1150-1150
每个
GraphicalComputerMenu
是
GraphicalMenuItem
的
part
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1149-1149
每个
GraphicalMenuItem
是
GraphicalComputerMenu
的
part
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1617-1617
每个
IncusBone
是
AuditoryCanal
的
part
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 539-539
每个
InternalComputerLoudspeaker
是
电脑硬件
的
part
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1616-1616
每个
MalleusBone
是
AuditoryCanal
的
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11853-11853
每个
Medulla
是
脑
的
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11882-11882
每个
OccipitalLobes
是
脑
的
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11867-11867
每个
ParietalLobe
是
脑
的
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11859-11859
每个
Pons
是
脑
的
part
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 986-986
每个
ScrollBarArrowButton
是
ScrollBar
的
part
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 975-975
每个
ScrollBarBar
是
ScrollBar
的
part
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1019-1019
每个
ScrollBarDownArrowButton
是
VerticalScrollBar
的
part
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 1002-1002
每个
ScrollBarLeftArrowButton
是
HorizontalScrollBar
的
part
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 995-995
每个
ScrollBarRightArrowButton
是
HorizontalScrollBar
的
part
No TPTP formula. May not be expressible in strict first order.
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