No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7619-7619 | 通讯系统 是 群体 的 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 32-32 | 电话系统 是 通讯系统 的 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 318-318 | 电视系统 是 通讯系统 的 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 344-344 | SatelliteTelevisionSystem 是 通讯系统 的 subclass |
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 442-442 | 互联网服务提供商 是 通讯系统 的 subclass |