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
Building
StationaryArtifact
)
Merge.kif 15739-15739
Building
is a
subclass
of
stationary artifact
(
subclass
TerminalBuilding
Building
)
Transportation.kif 2919-2919
Terminal building
is a
subclass
of
building
(
subclass
HomeGarage
Building
)
Transportation.kif 2934-2934
Home garage
is a
subclass
of
building
(
subclass
ParkingGarage
Building
)
Transportation.kif 2935-2935
Parking garage
is a
subclass
of
building
(
subclass
TollBooth
Building
)
Transportation.kif 3076-3076
Toll booth
is a
subclass
of
building
(
subclass
BaseballDugout
Building
)
Sports.kif 648-648
Baseball dugout
is a
subclass
of
building
(
subclass
CommercialBuilding
Building
)
Mid-level-ontology.kif 7044-7044
Commercial building
is a
subclass
of
building
(
subclass
Store
Building
)
Mid-level-ontology.kif 7079-7079
Store
is a
subclass
of
building
(
subclass
FarmBuilding
Building
)
Mid-level-ontology.kif 7091-7091
Farm building
is a
subclass
of
building
(
subclass
Auditorium
Building
)
Mid-level-ontology.kif 7320-7320
Auditorium
is a
subclass
of
building
(
subclass
MedicalClinicBuilding
Building
)
Mid-level-ontology.kif 7667-7667
Medical clinic building
is a
subclass
of
building
(
subclass
ReligiousBuilding
Building
)
Mid-level-ontology.kif 7904-7904
Religious building
is a
subclass
of
building
(
subclass
LibraryBuilding
Building
)
Mid-level-ontology.kif 8476-8476
Library building
is a
subclass
of
building
(
subclass
Barn
Building
)
Mid-level-ontology.kif 15736-15736
Barn
is a
subclass
of
building
(
subclass
PoliceFacility
Building
)
Mid-level-ontology.kif 20922-20922
Police facility
is a
subclass
of
building
(
subclass
EntertainmentBuilding
Building
)
Mid-level-ontology.kif 22390-22390
Entertainment building
is a
subclass
of
building
(
subclass
GovernmentBuilding
Building
)
Mid-level-ontology.kif 22402-22402
Government building
is a
subclass
of
building
(
subclass
OfficeBuilding
Building
)
Mid-level-ontology.kif 22477-22477
Office building
is a
subclass
of
building
(
subclass
SchoolBuilding
Building
)
Mid-level-ontology.kif 22482-22482
School building
is a
subclass
of
building
(
subclass
PlaceOfWorship
Building
)
Mid-level-ontology.kif 22520-22520
Place of worship
is a
subclass
of
building
(
subclass
RestaurantBuilding
Building
)
Mid-level-ontology.kif 22556-22556
Restaurant building
is a
subclass
of
building
(
subclass
HighRise
Building
)
Mid-level-ontology.kif 26503-26503
High rise
is a
subclass
of
building
(
subclass
ResidentialBuilding
Building
)
Merge.kif 15803-15803
Residential building
is a
subclass
of
building
(
subclass
HotelVilla
Building
)
Hotel.kif 132-132
Hotel villa
is a
subclass
of
building
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