No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25640-25640 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25639-25639 |
Disk shaped is an instance of shape attribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25641-25641 |
Disk shaped is a subattribute of circle |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25642-25642 |
Disk shaped is a subattribute of flat |