Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(
subclass
RelationalAttribute
Attribute
)
Merge.kif 1825-1825
(
subclass
SpeedScaleAttribute
RelationalAttribute
)
Weather.kif 2883-2883
(
subclass
AirportClassification
RelationalAttribute
)
Transportation.kif 1467-1467
(
subclass
HazardousMaterialTransportAttribute
RelationalAttribute
)
Transportation.kif 4106-4106
(
subclass
EnvironmentSoftwareAttribute
RelationalAttribute
)
QoSontology.kif 447-447
(
subclass
ProcessStatus
RelationalAttribute
)
QoSontology.kif 892-892
(
subclass
PriorityAttribute
RelationalAttribute
)
QoSontology.kif 1175-1175
(
subclass
SoftwareAttribute
RelationalAttribute
)
QoSontology.kif 1198-1198
(
subclass
RealtimeSystemAttribute
RelationalAttribute
)
QoSontology.kif 1441-1441
(
subclass
ComputerStatus
RelationalAttribute
)
QoSontology.kif 2248-2248
(
subclass
ReligiousAttribute
RelationalAttribute
)
People.kif 664-664
(
subclass
IndustryAttribute
RelationalAttribute
)
naics.kif 21-21
(
subclass
RecordingAttribute
RelationalAttribute
)
Music.kif 365-365
(
subclass
AlbumAttribute
RelationalAttribute
)
Music.kif 475-475
(
subclass
MusicGenre
RelationalAttribute
)
Music.kif 503-503
(
subclass
BedAttribute
RelationalAttribute
)
Mid-level-ontology.kif 4540-4540
(
subclass
ArtifactAttribute
RelationalAttribute
)
Mid-level-ontology.kif 7892-7892
(
subclass
PoliticoEconomicAttribute
RelationalAttribute
)
Mid-level-ontology.kif 21107-21107
(
subclass
SizeAttribute
RelationalAttribute
)
Mid-level-ontology.kif 26979-26979
(
subclass
ConservationStatus
RelationalAttribute
)
Mid-level-ontology.kif 32244-32244
(
subclass
MeasurementAttribute
RelationalAttribute
)
Mid-level-ontology.kif 32968-32968
(
subclass
LegalAgent
RelationalAttribute
)
Merge.kif 1596-1596
(
subclass
TruthValue
RelationalAttribute
)
Merge.kif 17144-17144
(
subclass
PositionalAttribute
RelationalAttribute
)
Merge.kif 17170-17170
(
subclass
TimeZone
RelationalAttribute
)
Merge.kif 17338-17338
(
subclass
SocialRole
RelationalAttribute
)
Merge.kif 17414-17414
(
subclass
NormativeAttribute
RelationalAttribute
)
Merge.kif 17466-17466
(
subclass
PerceptualAttribute
RelationalAttribute
)
Merge.kif 17797-17797
(
subclass
GramStainAttribute
RelationalAttribute
)
Medicine.kif 5390-5390
(
subclass
AVPUStatus
RelationalAttribute
)
Medicine.kif 6430-6430
(
subclass
HotelRoomAttribute
RelationalAttribute
)
Hotel.kif 981-981
(
subclass
HotelLevelAttribute
RelationalAttribute
)
Hotel.kif 1211-1211
(
subclass
LegalSystemAttribute
RelationalAttribute
)
Government.kif 765-765
(
subclass
MemberStatus
RelationalAttribute
)
Government.kif 2419-2419
(
subclass
LandVegetationAttribute
RelationalAttribute
)
Geography.kif 6527-6527
(
subclass
AreaOfConcern
RelationalAttribute
)
Geography.kif 7139-7139
(
subclass
PreparedFoodAttribute
RelationalAttribute
)
Food.kif 17-17
(
subclass
CoffeeRoastAttribute
RelationalAttribute
)
Food.kif 447-447
(
subclass
CoffeeGrindAttribute
RelationalAttribute
)
Food.kif 1059-1059
(
subclass
InvestmentAttribute
RelationalAttribute
)
FinancialOntology.kif 1821-1821
(
subclass
LiquidityAttribute
RelationalAttribute
)
FinancialOntology.kif 1847-1847
(
subclass
RiskAttribute
RelationalAttribute
)
FinancialOntology.kif 1867-1867
(
subclass
YieldAttribute
RelationalAttribute
)
FinancialOntology.kif 1885-1885
(
subclass
FinancialRating
RelationalAttribute
)
FinancialOntology.kif 2513-2513
(
subclass
ServiceAttribute
RelationalAttribute
)
FinancialOntology.kif 3968-3968
(
subclass
FinancialAccountStatus
RelationalAttribute
)
FinancialOntology.kif 4021-4021
(
subclass
EconomicRole
RelationalAttribute
)
Economy.kif 4117-4117
(
subclass
PlantAttribute
RelationalAttribute
)
Economy.kif 4517-4517
(
subclass
Cuisine
RelationalAttribute
)
Dining.kif 1253-1253
(
subclass
AccountSecurityType
RelationalAttribute
)
ComputingBrands.kif 4355-4355
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