| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25618-25618 | 子類 DataStorageDevice and Device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25623-25623 | 子類 Whiteboard and DataStorageDevice |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 684-684 | 子類 ElectronicDataStorageDevice and DataStorageDevice |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 817-817 | 子類 AudioDataStorageDevice and DataStorageDevice |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 837-837 | 子類 VideoDataStorageDevice and DataStorageDevice |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1032-1032 | 子類 HardcopyDocument and DataStorageDevice |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1067-1067 | 子類 PrintedSheet and DataStorageDevice |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1086-1086 | 子類 Blackboard and DataStorageDevice |
|
|