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
建物
は
固定アーチファクト
の
subclass
では %n
(
subclass
TerminalBuilding
Building
)
Transportation.kif 2919-2919
TerminalBuilding
は
建物
の
subclass
では %n
(
subclass
HomeGarage
Building
)
Transportation.kif 2934-2934
HomeGarage
は
建物
の
subclass
では %n
(
subclass
ParkingGarage
Building
)
Transportation.kif 2935-2935
ParkingGarage
は
建物
の
subclass
では %n
(
subclass
TollBooth
Building
)
Transportation.kif 3076-3076
TollBooth
は
建物
の
subclass
では %n
(
subclass
BaseballDugout
Building
)
Sports.kif 648-648
BaseballDugout
は
建物
の
subclass
では %n
(
subclass
CommercialBuilding
Building
)
Mid-level-ontology.kif 7044-7044
CommercialBuilding
は
建物
の
subclass
では %n
(
subclass
Store
Building
)
Mid-level-ontology.kif 7079-7079
Store
は
建物
の
subclass
では %n
(
subclass
FarmBuilding
Building
)
Mid-level-ontology.kif 7091-7091
FarmBuilding
は
建物
の
subclass
では %n
(
subclass
Auditorium
Building
)
Mid-level-ontology.kif 7320-7320
Auditorium
は
建物
の
subclass
では %n
(
subclass
MedicalClinicBuilding
Building
)
Mid-level-ontology.kif 7667-7667
MedicalClinicBuilding
は
建物
の
subclass
では %n
(
subclass
ReligiousBuilding
Building
)
Mid-level-ontology.kif 7904-7904
ReligiousBuilding
は
建物
の
subclass
では %n
(
subclass
LibraryBuilding
Building
)
Mid-level-ontology.kif 8476-8476
LibraryBuilding
は
建物
の
subclass
では %n
(
subclass
Barn
Building
)
Mid-level-ontology.kif 15736-15736
Barn
は
建物
の
subclass
では %n
(
subclass
PoliceFacility
Building
)
Mid-level-ontology.kif 20922-20922
PoliceFacility
は
建物
の
subclass
では %n
(
subclass
EntertainmentBuilding
Building
)
Mid-level-ontology.kif 22390-22390
EntertainmentBuilding
は
建物
の
subclass
では %n
(
subclass
GovernmentBuilding
Building
)
Mid-level-ontology.kif 22402-22402
GovernmentBuilding
は
建物
の
subclass
では %n
(
subclass
OfficeBuilding
Building
)
Mid-level-ontology.kif 22477-22477
OfficeBuilding
は
建物
の
subclass
では %n
(
subclass
SchoolBuilding
Building
)
Mid-level-ontology.kif 22482-22482
SchoolBuilding
は
建物
の
subclass
では %n
(
subclass
PlaceOfWorship
Building
)
Mid-level-ontology.kif 22520-22520
PlaceOfWorship
は
建物
の
subclass
では %n
(
subclass
RestaurantBuilding
Building
)
Mid-level-ontology.kif 22556-22556
RestaurantBuilding
は
建物
の
subclass
では %n
(
subclass
HighRise
Building
)
Mid-level-ontology.kif 26503-26503
HighRise
は
建物
の
subclass
では %n
(
subclass
ResidentialBuilding
Building
)
Merge.kif 15803-15803
ResidentialBuilding
は
建物
の
subclass
では %n
(
subclass
HotelVilla
Building
)
Hotel.kif 132-132
HotelVilla
は
建物
の
subclass
では %n
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