No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25119-25119 |
移动手机 是 接收器设备 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 658-658 |
无线电接收器 是 接收器设备 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25126-25126 |
SatellitePhone 是 接收器设备 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 380-380 |
电视接收器 是 接收器设备 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48952-48952 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48951-48951 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48950-48950 |
|