No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1186-1201 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 89-89 | HotelUnit est une sous-classe de artefact stationnaire |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 90-90 | HotelUnit est une sous-classe de TemporaryResidence |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 120-120 | HotelRoom est une sous-classe de HotelUnit |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 133-133 | HotelVilla est une sous-classe de HotelUnit |
![]() |