NetworkAdapter(network adapter) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 826-829 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 825-825 | Network adapter is a subclass of computer component |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40217-40217 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40216-40216 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40215-40215 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 831-836 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 853-855 |
|