No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5347-5347 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11769-11769 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11770-11770 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11773-11773 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10236-10236 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11772-11772 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5346-5346 |
地毯 是 织品 的 subclass |