|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31692-31692 | O argumento numero 1 de PopulationFn e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | People.kif 36-36 | O argumento numero 1 de PopulationGrowthFn e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 924-924 | O argumento numero 1 de ReachingMilitaryAgeAnnuallyMaleFn e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 882-882 | O argumento numero 1 de RegionalLawFn e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8028-8028 | O argumento numero 1 de ResidentFn e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1133-1133 | O argumento numero 1 de ShipRegisterFn e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2179-2179 | O argumento numero 1 de SupremeCourtFn e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1222-1222 | O argumento numero 1 de TerritorialSeaFn e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 383-383 | O argumento numero 1 de administrativeCenter e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 384-384 | O argumento numero 2 de administrativeCenter e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 544-544 | O argumento numero 2 de ageOfMajorityForProcess e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2231-2231 | O argumento numero 1 de agriculturalProductType e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2241-2241 | O argumento numero 1 de agriculturalProductTypeByRank e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2104-2104 | O argumento numero 1 de annualElectricityConsumption e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2148-2148 | O argumento numero 1 de annualElectricityExport e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2194-2194 | O argumento numero 1 de annualElectricityImport e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1972-1972 | O argumento numero 1 de annualElectricityProduction e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1508-1508 | O argumento numero 1 de annualExpendituresOfArea e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1497-1497 | O argumento numero 1 de annualExpendituresOfAreaInPeriod e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2268-2268 | O argumento numero 1 de annualExportTotal e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2574-2574 | O argumento numero 1 de annualImportTotal e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1480-1480 | O argumento numero 1 de annualRevenuesOfArea e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1469-1469 | O argumento numero 1 de annualRevenuesOfAreaInPeriod e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 376-376 | O argumento numero 2 de capitalCity e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1548-1548 | O argumento numero 1 de capitalExpendituresOfArea e' uma instancia de Area Geopolitica |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners