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
Attribut
est une
sous
-classe de
abstrait
(
subclass
AirQualityAQIAttribute
Attribute
)
Weather.kif 3100-3100
AirQualityAQIAttribute
est une
sous
-classe de
attribut
(
subclass
ListingAttribute
Attribute
)
UXExperimentalTerms.kif 293-293
ListingAttribute
est une
sous
-classe de
attribut
(
subclass
AccountAttribute
Attribute
)
UXExperimentalTerms.kif 643-643
AccountAttribute
est une
sous
-classe de
attribut
(
subclass
TransactionAttribute
Attribute
)
UXExperimentalTerms.kif 1630-1630
TransactionAttribute
est une
sous
-classe de
attribut
(
subclass
ExperimentAttribute
Attribute
)
UXExperimentalTerms.kif 4400-4400
ExperimentAttribute
est une
sous
-classe de
attribut
(
subclass
InternalAttribute
Attribute
)
Merge.kif 1804-1804
Attribut interne
est une
sous
-classe de
attribut
(
subclass
RelationalAttribute
Attribute
)
Merge.kif 1815-1815
Attribut relationnel
est une
sous
-classe de
attribut
(
subclass
ClimateZone
Attribute
)
Geography.kif 1269-1269
ClimateZone
est une
sous
-classe de
attribut
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