TreeView Knowledge Base Browser - OtherTravelArrangementAndReservationServices

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 10477-10480
No TPTP formula. May not be expressible in strict first order.	naics.kif 10475-10475	子屬性其他旅行安排和預訂服務 and 旅行安排和預訂服務

appearance as argument number 2

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 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