| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7619-7619 | 子類 通訊系統 and Collection |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26093-26093 | 子類 PublicAddressSystem and 通訊系統 |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 32-32 | 子類 電話系統 and 通訊系統 |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 231-231 | 子類 無線電系統 and 通訊系統 |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 318-318 | 子類 電視系統 and 通訊系統 |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 333-333 | 子類 有線電視系統 and 通訊系統 |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 344-344 | 子類 SatelliteTelevisionSystem and 通訊系統 |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 358-358 | 子類 廣播網絡 and 通訊系統 |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 442-442 | 子類 互聯網服務提供商 and 通訊系統 |
|
|