No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 43-43 |
公交网络 是 LAN 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 53-53 |
环网 是 LAN 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 49-49 |
星网 是 LAN 的 subclass |
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 |
|