No TPTP formula. May not be expressible in strict first order. |
naics.kif 10475-10475 |
其他旅行安排和预订服务 是 旅行安排和预订服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2329-2329 |
TourArrangementAndReservationServices 是 旅行安排和预订服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10469-10469 |
旅游经营者 是 旅行安排和预订服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10463-10463 |
旅游公司 是 旅行安排和预订服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59054-59054 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59053-59053 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59052-59052 |
|