TreeView Knowledge Base Browser - OtherTravelerAccommodation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 11586-11588
No TPTP formula. May not be expressible in strict first order.	naics.kif 11584-11584	子屬性其他旅客住宿 and 旅客住宿

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 11596-11596	子屬性所有其他旅客住宿 and 其他旅客住宿
No TPTP formula. May not be expressible in strict first order.	naics.kif 11590-11590	子屬性住宿加早餐旅館 and 其他旅客住宿
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43596-43596
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43595-43595
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43594-43594