No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7007-7007 |
宿舍 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7008-7009 |
|
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 7005-7005 |
宿舍 是 住宅楼 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7006-7006 |
宿舍 是 暂住 的 subclass |