MaleToFemaleRatioFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | People.kif 194-203 | |
No TPTP formula. May not be expressible in strict first order. | People.kif 192-192 | O argumento numero 1 de MaleToFemaleRatioFn e' uma instancia de Area Geopolitica |
No TPTP formula. May not be expressible in strict first order. | People.kif 191-191 | MaleToFemaleRatioFn e' uma instancia de funcao Unaria |
No TPTP formula. May not be expressible in strict first order. | People.kif 193-193 | O contra-dominio de MaleToFemaleRatioFn e' uma instancia de Numero Real |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1603-1603 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1602-1602 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1601-1601 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35843-35843 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35842-35842 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35841-35841 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | People.kif 206-223 | MaleToFemaleRatioFn Area Geopolitica e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + Numero Inteiro e' igual a Numero Real |