portNumber |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 770-773 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 768-768 | Le nombre 1 argument de portNumber est une instance de programme d'ordinateur |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 769-769 | Le nombre 2 argument de portNumber est une instance de nombre entier positif |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 767-767 | portNumber est une instance de pr�dicat binaire |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2003-2003 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2002-2002 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2001-2001 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46750-46750 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46749-46749 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46748-46748 |