No TPTP formula. May not be expressible in strict first order. |
Communications.kif 220-220 |
电台 是 通讯系统 的 component |
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 430-430 |
互联网 是 通讯系统 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 358-358 |
广播网络 是 通讯系统 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 333-333 |
有线电视系统 是 通讯系统 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 442-442 |
互联网服务提供商 是 通讯系统 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26093-26093 |
PublicAddressSystem 是 通讯系统 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 231-231 |
无线电系统 是 通讯系统 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 344-344 |
SatelliteTelevisionSystem 是 通讯系统 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 32-32 |
电话系统 是 通讯系统 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 318-318 |
电视系统 是 通讯系统 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16062-16062 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16061-16061 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16060-16060 |
|