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 | O argumento numero 1 de ChildrenBornPerWomanFn e' uma instancia de Area Geopolitica |
No TPTP formula. May not be expressible in strict first order. | People.kif 442-442 | O argumento numero 2 de ChildrenBornPerWomanFn e' uma instancia de Ano |
No TPTP formula. May not be expressible in strict first order. | People.kif 440-440 | ChildrenBornPerWomanFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | People.kif 443-443 | O contra-dominio de ChildrenBornPerWomanFn e' uma instancia de Numero Real |
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 | Ano e' uma instancia de o ano Numero Inteiro ChildrenBornPerWomanFn Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica |