(subclass TemporaryResidence Residence) | Merge.kif 15934-15934 | TemporaryResidence は Residence の subclass では |
(subclass Dormitory TemporaryResidence) | Mid-level-ontology.kif 8140-8140 | Dormitory は TemporaryResidence の subclass では |
(subclass HospitalBuilding TemporaryResidence) | Mid-level-ontology.kif 8813-8813 | HospitalBuilding は TemporaryResidence の subclass では |
(subclass HotelUnit TemporaryResidence) | Hotel.kif 90-90 | HotelUnit は TemporaryResidence の subclass では |
![]() |