No TPTP formula. May not be expressible in strict first order. |
naics.kif 10490-10490 |
所有其他旅行安排和预订服务 是 其他旅行安排和预订服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10482-10482 |
会议和访客局 是 其他旅行安排和预订服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43590-43590 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43589-43589 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43588-43588 |
|