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 | O argumento numero 1 de defaultNetwork e' uma instancia de HardwareSystem |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1004-1004 | O argumento numero 2 de defaultNetwork e' uma instancia de ComputerNetwork |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1002-1002 | defaultNetwork e' uma instancia de Predicado Binario |
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 |