No TPTP formula. May not be expressible in strict first order. |
naics.kif 10490-10490 |
子屬性 所有其他旅行安排和預訂服務 and 其他旅行安排和預訂服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10482-10482 |
子屬性 會議和訪客局 and 其他旅行安排和預訂服務 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43592-43592 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43591-43591 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43590-43590 |
|