No TPTP formula. May not be expressible in strict first order. |
naics.kif 11603-11603 |
子屬性 RV房車休閒車公園和休閒營地 and 住所 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11624-11624 |
子屬性 房屋和寄宿公寓 and 住所 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11565-11565 |
子屬性 旅客住宿 and 住所 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5220-5220 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5219-5219 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5218-5218 |
|