ChildrenBornPerWomanFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | People.kif 444-453 | |
No TPTP formula. May not be expressible in strict first order. | People.kif 441-441 | Le nombre 1 argument de ChildrenBornPerWomanFn est une instance de secteur g�opolitique |
No TPTP formula. May not be expressible in strict first order. | People.kif 442-442 | Le nombre 2 argument de ChildrenBornPerWomanFn est une instance de ann�e |
No TPTP formula. May not be expressible in strict first order. | People.kif 440-440 | ChildrenBornPerWomanFn est une instance de fonction binaire |
No TPTP formula. May not be expressible in strict first order. | People.kif 443-443 | Le domaine de ChildrenBornPerWomanFn 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 448-448 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 447-447 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 446-446 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14484-14484 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14483-14483 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14482-14482 |
statement |
No TPTP formula. May not be expressible in strict first order. | People.kif 456-469 | Ann�e est une instance de l' ann�e nombre entier ChildrenBornPerWomanFn secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique |