| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2993-2993 | 传真机 是 TelephonyDevice 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2995-2995 | 传真机 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2996-2996 | 传真机 是 通讯设备 的 subclass |
|
|