No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 43-43 |
Bus network is a subclass of LAN |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 53-53 |
Ring network is a subclass of LAN |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 49-49 |
Star network is a subclass of 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 |
|