Term Intersection
: 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
Term 1:
Term 2:
(
subclass
InternalAttribute
Attribute
)
Merge.kif 1804-1804
内在属性
是
属性
的
subclass
(
subclass
TrackGauge
InternalAttribute
)
Transportation.kif 383-383
轨距
是
内在属性
的
subclass
(
subclass
DeviceStateAttribute
InternalAttribute
)
Mid-level-ontology.kif 1860-1860
设备状态属性
是
内在属性
的
subclass
(
subclass
LinguisticAttribute
InternalAttribute
)
Mid-level-ontology.kif 19250-19250
语言属性
是
内在属性
的
subclass
(
subclass
BreakabilityAttribute
InternalAttribute
)
Mid-level-ontology.kif 19664-19664
易碎性属性
是
内在属性
的
subclass
(
subclass
PhysicalAttribute
InternalAttribute
)
Merge.kif 1810-1810
物理属性
是
内在属性
的
subclass
(
subclass
PhysicalState
InternalAttribute
)
Merge.kif 17541-17541
物质状态
是
内在属性
的
subclass
(
subclass
StructureAttribute
InternalAttribute
)
Merge.kif 17723-17723
StructureAttribute
是
内在属性
的
subclass
(
subclass
SaturationAttribute
InternalAttribute
)
Merge.kif 17985-17985
饱和属性
是
内在属性
的
subclass
(
subclass
BiologicalAttribute
InternalAttribute
)
Merge.kif 18023-18023
生物属性
是
内在属性
的
subclass
(
subclass
TerrainAttribute
InternalAttribute
)
Geography.kif 1737-1737
地形属性
是
内在属性
的
subclass
(
subclass
BiodiversityAttribute
InternalAttribute
)
Geography.kif 2600-2600
生物多样性属
是
内在属性
的
subclass
(
subclass
VolcanoStatus
InternalAttribute
)
Geography.kif 4064-4064
火山状况
是
内在属性
的
subclass
(
subclass
SolubilityAttribute
InternalAttribute
)
Geography.kif 7334-7334
可溶性
是
内在属性
的
subclass
(
subclass
LexiconCategory
InternalAttribute
)
engineering.kif 44-44
词典类别
是
内在属性
的
subclass
(
subclass
EquationAttribute
InternalAttribute
)
engineering.kif 209-209
方程属性
是
内在属性
的
subclass
(
subclass
AlgebroDifferentialAttribute
InternalAttribute
)
engineering.kif 229-229
Algebro微分属性
是
内在属性
的
subclass
(
subclass
PhysicalDomain
InternalAttribute
)
engineering.kif 254-254
物理域
是
内在属性
的
subclass
(
subclass
MultipoleAttribute
InternalAttribute
)
engineering.kif 319-319
多极属性
是
内在属性
的
subclass
(
subclass
Nonlinear
InternalAttribute
)
engineering.kif 705-705
非线性
是
内在属性
的
subclass
(
subclass
Backlashless
InternalAttribute
)
engineering.kif 711-711
反弹性
是
内在属性
的
subclass
(
subclass
Brushless
InternalAttribute
)
engineering.kif 715-715
无刷
是
内在属性
的
subclass
(
subclass
Autonomous
InternalAttribute
)
engineering.kif 725-725
自主性
是
内在属性
的
subclass
(
subclass
WebDocumentAttribute
InternalAttribute
)
engineering.kif 1369-1369
Web文档属性
是
内在属性
的
subclass
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