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 | 旅客住宿 和 旅游产业 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11565-11565 | 旅客住宿 是 住所 的 subAttribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11578-11578 | 赌场酒店 是 旅客住宿 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11571-11571 | 赌场酒店和汽车旅馆除外的酒店 是 旅客住宿 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11584-11584 | 其他旅客住宿 是 旅客住宿 的 subAttribute |
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 |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1935-1946 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1452-1457 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2392-2407 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1522-1535 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2681-2697 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2704-2719 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1902-1914 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1558-1578 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 69-75 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 45-52 |
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 |
|