|
|
   ResidentialBuilding
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3599-3601 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15851-15857 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2333-2333 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2334-2334 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2331-2331 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1953-1953 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2332-2332 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15849-15849 | 子類 住宅樓 and Building |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15850-15850 | 子類 住宅樓 and 住宅 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15764-15764 | 不相交的 穀倉 and 住宅樓 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7119-7119 | 不相交的 農場建設 and 住宅樓 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6963-6963 | 子類 公寓樓 and 住宅樓 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6978-6978 | 子類 公寓大樓 and 住宅樓 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7005-7005 | 子類 宿舍 and 住宅樓 |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 77-77 | 子類 HotelBuilding and 住宅樓 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15815-15815 | 子類 屋 and 住宅樓 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49636-49636 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49635-49635 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49634-49634 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8208-8213 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15827-15834 |
|
|
|
