| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 36-36 | 子類 LAN and 計算機網絡 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 43-43 | 子類 公交網絡 and LAN |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 49-49 | 子類 星網 and LAN |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 53-53 | 子類 環網 and LAN |
|
|