| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25618-25618 | DataStorageDevice 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25623-25623 | Whiteboard 是 DataStorageDevice 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 684-684 | ElectronicDataStorageDevice 是 DataStorageDevice 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 817-817 | AudioDataStorageDevice 是 DataStorageDevice 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 837-837 | VideoDataStorageDevice 是 DataStorageDevice 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1032-1032 | HardcopyDocument 是 DataStorageDevice 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1067-1067 | PrintedSheet 是 DataStorageDevice 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1086-1086 | Blackboard 是 DataStorageDevice 的 subclass |
|
|