TravelerAccommodation(旅客住宿) more pictures... |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11567-11569 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12054-12054 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12056-12056 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12053-12053 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12060-12060 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12055-12055 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12057-12057 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12059-12059 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12058-12058 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10307-10307 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12061-12061 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1903-1903 | 相關的內部概念 旅客住宿 and 旅遊產業 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11565-11565 | 子屬性 旅客住宿 and 住所 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11578-11578 | 子屬性 賭場酒店 and 旅客住宿 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11571-11571 | 子屬性 賭場酒店和汽車旅館除外的酒店 and 旅客住宿 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11584-11584 | 子屬性 其他旅客住宿 and 旅客住宿 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59066-59066 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59065-59065 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59064-59064 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2768-2770 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2847-2851 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 3030-3034 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2642-2647 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 103-108 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1748-1753 |