defaultNetwork |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1005-1006 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1003-1003 | The number 1 argument of default network is an instance of hardware system |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1004-1004 | The number 2 argument of default network is an instance of computer network |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1002-1002 | default network is an instance of binary predicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 700-700 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 699-699 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 698-698 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18888-18888 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18887-18887 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18886-18886 |