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 53-53 |
子類 環網 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. |
domainEnglishFormat.kif 33199-33199 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33198-33198 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33197-33197 |
|