LifeExpectancyAtBirthFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | People.kif 300-307 | |
No TPTP formula. May not be expressible in strict first order. | People.kif 297-297 | Le nombre 1 argument de LifeExpectancyAtBirthFn est une instance de secteur g�opolitique |
No TPTP formula. May not be expressible in strict first order. | People.kif 298-298 | Le nombre 2 argument de LifeExpectancyAtBirthFn est une instance de ann�e |
No TPTP formula. May not be expressible in strict first order. | People.kif 296-296 | LifeExpectancyAtBirthFn est une instance de fonction binaire |
No TPTP formula. May not be expressible in strict first order. | People.kif 299-299 | Le domaine de LifeExpectancyAtBirthFn est une instance de nombre r�el |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1531-1531 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1530-1530 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1529-1529 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34337-34337 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34336-34336 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34335-34335 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | People.kif 310-342 | Ann�e est une instance de l' ann�e nombre entier LifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM
|