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
Attribute
Abstract
)
Merge.kif 1700-1700
Attribute
ist eine
teilkategorie
von
Abstract
(
subclass
AirQualityAQIAttribute
Attribute
)
Weather.kif 3100-3100
AirQualityAQIAttribute
ist eine
teilkategorie
von
Attribute
(
subclass
ListingAttribute
Attribute
)
UXExperimentalTerms.kif 293-293
ListingAttribute
ist eine
teilkategorie
von
Attribute
(
subclass
AccountAttribute
Attribute
)
UXExperimentalTerms.kif 643-643
AccountAttribute
ist eine
teilkategorie
von
Attribute
(
subclass
TransactionAttribute
Attribute
)
UXExperimentalTerms.kif 1630-1630
TransactionAttribute
ist eine
teilkategorie
von
Attribute
(
subclass
ExperimentAttribute
Attribute
)
UXExperimentalTerms.kif 4400-4400
ExperimentAttribute
ist eine
teilkategorie
von
Attribute
(
subclass
InternalAttribute
Attribute
)
Merge.kif 1804-1804
InternalAttribute
ist eine
teilkategorie
von
Attribute
(
subclass
RelationalAttribute
Attribute
)
Merge.kif 1815-1815
RelationalAttribute
ist eine
teilkategorie
von
Attribute
(
subclass
ClimateZone
Attribute
)
Geography.kif 1269-1269
ClimateZone
ist eine
teilkategorie
von
Attribute
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