No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6980-6980 |
不相交的 宿舍 and 單身家庭住所 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6981-6982 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1731-1731 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2149-2149 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2150-2150 |
|
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 6979-6979 |
子類 宿舍 and 暫住 |