No TPTP formula. May not be expressible in strict first order. |
People.kif 70-70 |
O argumento numero 2 de BirthsPerThousandFn e' uma instancia de Ano |
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 103-103 |
O argumento numero 2 de DeathsPerThousandFn e' uma instancia de Ano |
No TPTP formula. May not be expressible in strict first order. |
People.kif 229-229 |
O argumento numero 2 de DeathsPerThousandLiveBirthsFn e' uma instancia de Ano |
No TPTP formula. May not be expressible in strict first order. |
People.kif 395-395 |
O argumento numero 2 de FemaleLifeExpectancyAtBirthFn e' uma instancia de Ano |
No TPTP formula. May not be expressible in strict first order. |
People.kif 298-298 |
O argumento numero 2 de LifeExpectancyAtBirthFn e' uma instancia de Ano |
No TPTP formula. May not be expressible in strict first order. |
People.kif 347-347 |
O argumento numero 2 de MaleLifeExpectancyAtBirthFn e' uma instancia de Ano |
No TPTP formula. May not be expressible in strict first order. |
People.kif 139-139 |
O argumento numero 2 de MigrantsPerThousandFn e' uma instancia de Ano |
No TPTP formula. May not be expressible in strict first order. |
People.kif 37-37 |
O argumento numero 2 de PopulationGrowthFn e' uma instancia de Ano |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 925-925 |
O argumento numero 2 de ReachingMilitaryAgeAnnuallyMaleFn e' uma instancia de Ano |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3724-3724 |
O argumento numero 2 de FiscalYearStartingFn e' uma sub-classe de Ano |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8572-8572 |
O argumento numero 2 de MonthFn e' uma sub-classe de Ano |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8969-8969 |
O argumento numero 2 de QuarterFn e' uma sub-classe de Ano |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8951-8951 |
O argumento numero 2 de WeekFn e' uma sub-classe de Ano |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 744-744 |
O argumento numero 2 de lastRenovation e' uma sub-classe de Ano |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 723-723 |
O argumento numero 2 de yearBuilt e' uma sub-classe de Ano |