| (=> (instance ?C MedicalClinic) (not (exists (?B) (and (possesses ?C ?B) (subclass ?B TemporaryResidence))))) |
Mid-level-ontology.kif 7336-7342 |
|
| (subclass TemporaryResidence Residence) | Merge.kif 15530-15530 | subclass TemporaryResidence and Residence |
| (subclass Dormitory TemporaryResidence) | Mid-level-ontology.kif 6643-6643 | subclass Dormitory and TemporaryResidence |
| (subclass HospitalBuilding TemporaryResidence) | Mid-level-ontology.kif 7326-7326 | subclass HospitalBuilding and TemporaryResidence |
| (subclass HotelUnit TemporaryResidence) | Hotel.kif 85-85 | subclass HotelUnit and TemporaryResidence |
|
|