No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1387-1387 | 子類 InternetConnection and EngineeringConnection |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1410-1410 | 子類 WiredInternetConnection and InternetConnection |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1422-1422 | 子類 WirelessInternetConnection and InternetConnection |