(subclass TemporaryResidence Residence) | Merge.kif 15799-15799 | TemporaryResidence は Residence の subclass では %n |
(subclass Dormitory TemporaryResidence) | Mid-level-ontology.kif 6979-6979 | Dormitory は TemporaryResidence の subclass では %n |
(subclass HospitalBuilding TemporaryResidence) | Mid-level-ontology.kif 7646-7646 | HospitalBuilding は TemporaryResidence の subclass では %n |
(subclass HotelUnit TemporaryResidence) | Hotel.kif 90-90 | HotelUnit は TemporaryResidence の subclass では %n |