No TPTP formula. May not be expressible in strict first order.	Economy.kif 2742-2747	importPartnerByFractionInPeriod secteur g�opolitique, secteur g�opolitique, nombre r�el positif and interval temporel position temporel position temporel est une instance de interval temporel importPartnerByFraction secteur g�opolitique, secteur g�opolitique and nombre r�el positif pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2704-2709	importPartnerByRankInPeriod secteur g�opolitique, secteur g�opolitique, nombre entier positif and interval temporel position temporel position temporel est une instance de interval temporel importPartnerByRank secteur g�opolitique, secteur g�opolitique and nombre entier positif pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2674-2679	importPartnerInPeriod AutonomousAgent, AutonomousAgent and interval temporel position temporel position temporel est une instance de interval temporel importPartner AutonomousAgent and AutonomousAgent pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1318-1323	incomeDistributionByGiniIndexInPeriod secteur g�opolitique, nombre r�el non n�gatif and interval temporel position temporel position temporel est une instance de interval temporel incomeDistributionByGiniIndex secteur g�opolitique and nombre r�el non n�gatif pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1949-1954	industrialProductionGrowthRateInPeriod secteur g�opolitique, nombre r�el and interval temporel position temporel position temporel est une instance de interval temporel industrialProductionGrowthRate secteur g�opolitique and nombre r�el pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1419-1424	laborForceFractionByOccupationInPeriod secteur g�opolitique, attribut, nombre r�el and interval temporel position temporel position temporel est une instance de interval temporel laborForceFractionByOccupation secteur g�opolitique, attribut and nombre r�el pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1373-1378	laborForceTotalInPeriod secteur g�opolitique, nombre r�el non n�gatif and interval temporel position temporel position temporel est une instance de interval temporel laborForceTotal secteur g�opolitique and nombre r�el non n�gatif pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23308-23310	locatedAtTime objet, position temporel and objet objet est situ� � objet pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1233-1238	lowestDecileShareOfHouseholdIncomeInPeriod secteur g�opolitique, nombre r�el and interval temporel position temporel position temporel est une instance de interval temporel lowestDecileShareOfHouseholdIncome secteur g�opolitique and nombre r�el pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22703-22705	memberAtTime objet en une partie, collection and position temporel objet en une partie est un membre de collection pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Military.kif 1019-1024	militaryExpendituresFractionOfGDPInPeriod secteur g�opolitique, nombre r�el and interval temporel position temporel position temporel est une instance de interval temporel militaryExpendituresFractionOfGDP secteur g�opolitique and nombre r�el pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Military.kif 980-985	militaryExpendituresInUSDollarsInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel militaryExpendituresInUSDollars secteur g�opolitique and mesure de devise pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1042-1047	perCapitaGDPInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel perCapitaGDP secteur g�opolitique and mesure de devise pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1184-1189	populationFractionBelowPovertyLineInPeriod secteur g�opolitique, nombre r�el and interval temporel position temporel position temporel est une instance de interval temporel populationFractionBelowPovertyLine secteur g�opolitique and nombre r�el pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1007-1012	realGrowthRateOfGDPInPeriod secteur g�opolitique, nombre r�el and interval temporel position temporel position temporel est une instance de interval temporel realGrowthRateOfGDP secteur g�opolitique and nombre r�el pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1086-1091	sectorCompositionOfGDPInPeriod secteur g�opolitique, IndustryAttribute, nombre r�el and interval temporel position temporel position temporel est une instance de interval temporel sectorCompositionOfGDP secteur g�opolitique, IndustryAttribute and nombre r�el pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1129-1137	sectorValueOfGDPInPeriod secteur g�opolitique, IndustryAttribute, nombre r�el unit� de mesure(s) and interval temporel position temporel position temporel est une instance de interval temporel sectorValueOfGDP secteur g�opolitique, IndustryAttribute and nombre r�el unit� de mesure(s) pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 958-963	totalGDPInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel totalGDP secteur g�opolitique and mesure de devise pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1456-1461	unemploymentRateOfAreaInPeriod secteur g�opolitique, nombre r�el and interval temporel position temporel position temporel est une instance de interval temporel unemploymentRateOfArea secteur g�opolitique and nombre r�el pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14055-14058	agreementExpirationDate Agreement and point temporel Agreement a un attribute ActiveAgreement pendant apr�s point temporel
No TPTP formula. May not be expressible in strict first order.	Government.kif 738-753	agreementRevisionDate proposition , position temporel and proposition position temporel position temporel est une instance de position temporel proposition est une sous-proposition de proposition pendant immediatement avant position temporel proposition est une sous-proposition de proposition pendant immediatement apr�s position temporel proposition est une sous-proposition de proposition pendant immediatement avant position temporel proposition est une sous-proposition de proposition pendant immediatement apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16852-16861	almaMater humain and PostSecondarySchool processus processus est une instance de processus educationnel processus aboutit � humain eventLocated processus and PostSecondarySchool Student est un attribut de humain pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20760-20767	actedIn humain and ContentBearingPhysical processus est une instance de DramaticActing humain est un patient de processus ContentBearingPhysical est le resultat de processus Actor est un attribut de humain pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18837-18843	Processus est un agent de AutonomousAgent entit� est le resultat de processus entit� est une instance de objet d'art Artist est un attribut de AutonomousAgent pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Government.kif 714-719	agreementEffectiveDate Agreement and point temporel Agreement oblige agent cognitif � ex�cut� des t�ches du type formule position temporel est une instance de point temporel agent cognitif est oblig� d'ex�cut� des t�ches du type formule pendant immediatement apr�s position temporel
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