sendRate |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2156-2157 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2154-2154 | Le nombre 1 argument de sendRate est une instance de ComputationalSystem |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2155-2155 | Le nombre 2 argument de sendRate est une instance de dur�e temporel |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2153-2153 | sendRate est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2152-2152 | sendRate est une sous-relation de frequency |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4490-4490 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4489-4489 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4488-4488 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52055-52055 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52054-52054 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52053-52053 |