No TPTP formula. May not be expressible in strict first order. |
naics.kif 11603-11603 |
RV房车休闲车公园和休闲营地 是 住所 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11624-11624 |
房屋和寄宿公寓 是 住所 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11565-11565 |
旅客住宿 是 住所 的 subAttribute |
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 |
|