(<=>
(importPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(importPartnerByFraction ?AREA1 ?AREA2 ?FRACTION))))) |
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 |
(<=>
(importPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(importPartnerByRank ?AREA1 ?AREA2 ?NTH))))) |
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 |
(<=>
(importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(importPartner ?AGENT1 ?AGENT2))))) |
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 |
(<=>
(incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(incomeDistributionByGiniIndex ?AREA ?INDEX))))) |
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 |
(<=>
(industrialProductionGrowthRateInPeriod ?AREA ?RATE ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(industrialProductionGrowthRate ?AREA ?RATE))))) |
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 |
(<=>
(laborForceFractionByOccupationInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(laborForceFractionByOccupation ?AREA ?SECTOR ?FRACTION))))) |
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 |
(<=>
(laborForceTotalInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(laborForceTotal ?AREA ?AMOUNT))))) |
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 |
(<=>
(locatedAtTime ?OBJ ?TIME ?PLACE)
(holdsDuring ?TIME
(located ?OBJ ?PLACE))) |
Mid-level-ontology.kif 23308-23310 |
locatedAtTime objet, position temporel and objet objet est situ� � objet pendant position temporel |
(<=>
(lowestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(lowestDecileShareOfHouseholdIncome ?AREA ?FRACTION))))) |
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 |
(<=>
(memberAtTime ?OBJ ?COLLECTION ?TIME)
(holdsDuring ?TIME
(member ?OBJ ?COLLECTION))) |
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 |
(<=>
(militaryExpendituresFractionOfGDPInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(militaryExpendituresFractionOfGDP ?AREA ?FRACTION))))) |
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 |
(<=>
(militaryExpendituresInUSDollarsInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(militaryExpendituresInUSDollars ?AREA ?AMOUNT))))) |
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 |
(<=>
(perCapitaGDPInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(perCapitaGDP ?AREA ?AMOUNT))))) |
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 |
(<=>
(populationFractionBelowPovertyLineInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(populationFractionBelowPovertyLine ?AREA ?FRACTION))))) |
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 |
(<=>
(realGrowthRateOfGDPInPeriod ?AREA ?RATE ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(realGrowthRateOfGDP ?AREA ?RATE))))) |
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 |
(<=>
(sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(sectorCompositionOfGDP ?AREA ?SECTOR ?FRACTION))))) |
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 |
(<=>
(sectorValueOfGDPInPeriod ?AREA ?SECTOR
(MeasureFn ?AMOUNT ?CUNIT) ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(sectorValueOfGDP ?AREA ?SECTOR
(MeasureFn ?AMOUNT ?CUNIT)))))) |
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 |
(<=>
(totalGDPInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(totalGDP ?AREA ?AMOUNT))))) |
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 |
(<=>
(unemploymentRateOfAreaInPeriod ?AREA ?RATE ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(unemploymentRateOfArea ?AREA ?RATE))))) |
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 |
(=>
(agreementExpirationDate ?AGREEMENT ?ENDDATE)
(holdsDuring
(FutureFn ?ENDDATE)
(not
(property ?AGREEMENT ActiveAgreement)))) |
Mid-level-ontology.kif 14055-14058 |
|
(=>
(agreementRevisionDate ?AGR ?DATE ?CHANGE)
(exists (?TIME)
(and
(instance ?TIME ?DATE)
(or
(and
(holdsDuring
(ImmediatePastFn ?TIME)
(not
(subProposition ?CHANGE ?AGR)))
(holdsDuring
(ImmediateFutureFn ?TIME)
(subProposition ?CHANGE ?AGR)))
(and
(holdsDuring
(ImmediatePastFn ?TIME)
(subProposition ?CHANGE ?AGR))
(holdsDuring
(ImmediateFutureFn ?TIME)
(not
(subProposition ?CHANGE ?AGR)))))))) |
Government.kif 738-753 |
|
(=>
(almaMater ?PERSON ?SCHOOL)
(exists (?EV)
(and
(instance ?EV EducationalProcess)
(destination ?EV ?PERSON)
(eventLocated ?EV ?SCHOOL)
(holdsDuring
(WhenFn ?EV)
(attribute ?PERSON Student))))) |
Mid-level-ontology.kif 16852-16861 |
|
(=>
(and
(actedIn ?ACTOR ?O)
(instance ?PERF DramaticActing)
(patient ?PERF ?ACTOR)
(result ?PERF ?O))
(holdsDuring
(WhenFn ?PERF)
(attribute ?ACTOR Actor))) |
Mid-level-ontology.kif 20760-20767 |
|
(=>
(and
(agent ?PROCESS ?AGENT)
(result ?PROCESS ?WORK)
(instance ?WORK ArtWork))
(holdsDuring
(WhenFn ?PROCESS)
(attribute ?AGENT Artist))) |
Mid-level-ontology.kif 18837-18843 |
|
(=>
(and
(agreementEffectiveDate ?AGR ?DATE)
(confersObligation ?FORMULA ?AGR ?AGENT)
(instance ?TIME ?DATE))
(holdsDuring
(ImmediateFutureFn ?TIME)
(holdsObligation ?FORMULA ?AGENT))) |
Government.kif 714-719 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |