No TPTP formula. May not be expressible in strict first order.	Economy.kif 2742-2747	importPartnerByFractionInPeriod Area Geopolitica, Area Geopolitica, Numero Real positivo and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal importPartnerByFraction Area Geopolitica, Area Geopolitica and Numero Real positivo vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2704-2709	importPartnerByRankInPeriod Area Geopolitica, Area Geopolitica, Inteiro positivo and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal importPartnerByRank Area Geopolitica, Area Geopolitica and Inteiro positivo vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2674-2679	importPartnerInPeriod AutonomousAgent, AutonomousAgent and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal importPartner AutonomousAgent and AutonomousAgent vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1318-1323	incomeDistributionByGiniIndexInPeriod Area Geopolitica, Numero Real nao-negativo and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal incomeDistributionByGiniIndex Area Geopolitica and Numero Real nao-negativo vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1949-1954	industrialProductionGrowthRateInPeriod Area Geopolitica, Numero Real and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal industrialProductionGrowthRate Area Geopolitica and Numero Real vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1419-1424	laborForceFractionByOccupationInPeriod Area Geopolitica, Atributo, Numero Real and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal laborForceFractionByOccupation Area Geopolitica, Atributo and Numero Real vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1373-1378	laborForceTotalInPeriod Area Geopolitica, Numero Real nao-negativo and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal laborForceTotal Area Geopolitica and Numero Real nao-negativo vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23308-23310	locatedAtTime Objeto, Posicao Temporal and Objeto Objeto e' situado em Objeto vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1233-1238	lowestDecileShareOfHouseholdIncomeInPeriod Area Geopolitica, Numero Real and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal lowestDecileShareOfHouseholdIncome Area Geopolitica and Numero Real vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22703-22705	memberAtTime Objeto auto-conectado, Colecao and Posicao Temporal Objeto auto-conectado e' membro de Colecao vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Military.kif 1019-1024	militaryExpendituresFractionOfGDPInPeriod Area Geopolitica, Numero Real and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal militaryExpendituresFractionOfGDP Area Geopolitica and Numero Real vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Military.kif 980-985	militaryExpendituresInUSDollarsInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal militaryExpendituresInUSDollars Area Geopolitica and Medida de Divisa vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1042-1047	perCapitaGDPInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal perCapitaGDP Area Geopolitica and Medida de Divisa vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1184-1189	populationFractionBelowPovertyLineInPeriod Area Geopolitica, Numero Real and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal populationFractionBelowPovertyLine Area Geopolitica and Numero Real vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1007-1012	realGrowthRateOfGDPInPeriod Area Geopolitica, Numero Real and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal realGrowthRateOfGDP Area Geopolitica and Numero Real vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1086-1091	sectorCompositionOfGDPInPeriod Area Geopolitica, IndustryAttribute, Numero Real and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal sectorCompositionOfGDP Area Geopolitica, IndustryAttribute and Numero Real vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1129-1137	sectorValueOfGDPInPeriod Area Geopolitica, IndustryAttribute, Numero Real Unidade de Medida(s) and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal sectorValueOfGDP Area Geopolitica, IndustryAttribute and Numero Real Unidade de Medida(s) vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 958-963	totalGDPInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal totalGDP Area Geopolitica and Medida de Divisa vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1456-1461	unemploymentRateOfAreaInPeriod Area Geopolitica, Numero Real and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal unemploymentRateOfArea Area Geopolitica and Numero Real vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14055-14058	agreementExpirationDate Agreement and Ponto no tempo Agreement tem um atributo de ActiveAgreement vale durante apos Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Government.kif 738-753	agreementRevisionDate Proposicao, Posicao Temporal and Proposicao Posicao Temporal Posicao Temporal e' uma instancia de Posicao Temporal Proposicao e' uma &sub-proposicao de Proposicao vale durante imediatemente antes de Posicao Temporal Proposicao e' uma &sub-proposicao de Proposicao vale durante imediatemente apos Posicao Temporal Proposicao e' uma &sub-proposicao de Proposicao vale durante imediatemente antes de Posicao Temporal Proposicao e' uma &sub-proposicao de Proposicao vale durante imediatemente apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16852-16861	almaMater Humano and PostSecondarySchool Processo Processo e' uma instancia de Processo Educacional Processo termina em Humano eventLocated Processo and PostSecondarySchool Student e' um atributo de Humano vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20760-20767	actedIn Humano and ContentBearingPhysical Processo e' uma instancia de DramaticActing Humano e' um patient de Processo ContentBearingPhysical e' o resultado de Processo Actor e' um atributo de Humano vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18837-18843	Processo e' um agente de AutonomousAgent Entidade e' o resultado de Processo Entidade e' uma instancia de Objeto de Arte Artist e' um atributo de AutonomousAgent vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Government.kif 714-719	agreementEffectiveDate Agreement and Ponto no tempo Agreement obriga Agente Cognitivo a executar tarefas de tipo Formula Posicao Temporal e' uma instancia de Ponto no tempo Agente Cognitivo e' obrigado a executar tarefas de tipo Formula vale durante imediatemente apos Posicao Temporal
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