(<=>
(importPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(importPartnerByFraction ?AREA1 ?AREA2 ?FRACTION))))) |
Economy.kif 2742-2747 |
importPartnerByFractionInPeriod AreaGeopolitica, AreaGeopolitica, NumeroRealePositivo and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale importPartnerByFraction AreaGeopolitica, AreaGeopolitica and NumeroRealePositivo vales durante PosizioneTemporale |
(<=>
(importPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(importPartnerByRank ?AREA1 ?AREA2 ?NTH))))) |
Economy.kif 2704-2709 |
importPartnerByRankInPeriod AreaGeopolitica, AreaGeopolitica, NumeroInteroPositivo and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale importPartnerByRank AreaGeopolitica, AreaGeopolitica and NumeroInteroPositivo vales durante PosizioneTemporale |
(<=>
(importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(importPartner ?AGENT1 ?AGENT2))))) |
Economy.kif 2674-2679 |
importPartnerInPeriod AutonomousAgent, AutonomousAgent and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale importPartner AutonomousAgent and AutonomousAgent vales durante PosizioneTemporale |
(<=>
(incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(incomeDistributionByGiniIndex ?AREA ?INDEX))))) |
Economy.kif 1318-1323 |
incomeDistributionByGiniIndexInPeriod AreaGeopolitica, NumeroRealeNonNegativo and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale incomeDistributionByGiniIndex AreaGeopolitica and NumeroRealeNonNegativo vales durante PosizioneTemporale |
(<=>
(industrialProductionGrowthRateInPeriod ?AREA ?RATE ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(industrialProductionGrowthRate ?AREA ?RATE))))) |
Economy.kif 1949-1954 |
industrialProductionGrowthRateInPeriod AreaGeopolitica, NumeroReale and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale industrialProductionGrowthRate AreaGeopolitica and NumeroReale vales durante PosizioneTemporale |
(<=>
(laborForceFractionByOccupationInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(laborForceFractionByOccupation ?AREA ?SECTOR ?FRACTION))))) |
Economy.kif 1419-1424 |
laborForceFractionByOccupationInPeriod AreaGeopolitica, Attributo, NumeroReale and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale laborForceFractionByOccupation AreaGeopolitica, Attributo and NumeroReale vales durante PosizioneTemporale |
(<=>
(laborForceTotalInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(laborForceTotal ?AREA ?AMOUNT))))) |
Economy.kif 1373-1378 |
laborForceTotalInPeriod AreaGeopolitica, NumeroRealeNonNegativo and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale laborForceTotal AreaGeopolitica and NumeroRealeNonNegativo vales durante PosizioneTemporale |
(<=>
(locatedAtTime ?OBJ ?TIME ?PLACE)
(holdsDuring ?TIME
(located ?OBJ ?PLACE))) |
Mid-level-ontology.kif 23308-23310 |
locatedAtTime Oggetto, PosizioneTemporale and Oggetto Oggetto è localizzato in Oggetto vales durante PosizioneTemporale |
(<=>
(lowestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(lowestDecileShareOfHouseholdIncome ?AREA ?FRACTION))))) |
Economy.kif 1233-1238 |
lowestDecileShareOfHouseholdIncomeInPeriod AreaGeopolitica, NumeroReale and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale lowestDecileShareOfHouseholdIncome AreaGeopolitica and NumeroReale vales durante PosizioneTemporale |
(<=>
(memberAtTime ?OBJ ?COLLECTION ?TIME)
(holdsDuring ?TIME
(member ?OBJ ?COLLECTION))) |
Mid-level-ontology.kif 22703-22705 |
memberAtTime OggettoIntegro, InsiemeConcreto and PosizioneTemporale OggettoIntegro è un membro di InsiemeConcreto vales durante PosizioneTemporale |
(<=>
(militaryExpendituresFractionOfGDPInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(militaryExpendituresFractionOfGDP ?AREA ?FRACTION))))) |
Military.kif 1019-1024 |
militaryExpendituresFractionOfGDPInPeriod AreaGeopolitica, NumeroReale and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale militaryExpendituresFractionOfGDP AreaGeopolitica and NumeroReale vales durante PosizioneTemporale |
(<=>
(militaryExpendituresInUSDollarsInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(militaryExpendituresInUSDollars ?AREA ?AMOUNT))))) |
Military.kif 980-985 |
militaryExpendituresInUSDollarsInPeriod AreaGeopolitica, MisuraMonetaria and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale militaryExpendituresInUSDollars AreaGeopolitica and MisuraMonetaria vales durante PosizioneTemporale |
(<=>
(perCapitaGDPInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(perCapitaGDP ?AREA ?AMOUNT))))) |
Economy.kif 1042-1047 |
perCapitaGDPInPeriod AreaGeopolitica, MisuraMonetaria and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale perCapitaGDP AreaGeopolitica and MisuraMonetaria vales durante PosizioneTemporale |
(<=>
(populationFractionBelowPovertyLineInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(populationFractionBelowPovertyLine ?AREA ?FRACTION))))) |
Economy.kif 1184-1189 |
populationFractionBelowPovertyLineInPeriod AreaGeopolitica, NumeroReale and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale populationFractionBelowPovertyLine AreaGeopolitica and NumeroReale vales durante PosizioneTemporale |
(<=>
(realGrowthRateOfGDPInPeriod ?AREA ?RATE ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(realGrowthRateOfGDP ?AREA ?RATE))))) |
Economy.kif 1007-1012 |
realGrowthRateOfGDPInPeriod AreaGeopolitica, NumeroReale and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale realGrowthRateOfGDP AreaGeopolitica and NumeroReale vales durante PosizioneTemporale |
(<=>
(sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(sectorCompositionOfGDP ?AREA ?SECTOR ?FRACTION))))) |
Economy.kif 1086-1091 |
sectorCompositionOfGDPInPeriod AreaGeopolitica, IndustryAttribute, NumeroReale and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale sectorCompositionOfGDP AreaGeopolitica, IndustryAttribute and NumeroReale vales durante PosizioneTemporale |
(<=>
(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 AreaGeopolitica, IndustryAttribute, NumeroReale Unit�DiMisura(s and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale sectorValueOfGDP AreaGeopolitica, IndustryAttribute and NumeroReale Unit�DiMisura(s vales durante PosizioneTemporale |
(<=>
(totalGDPInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(totalGDP ?AREA ?AMOUNT))))) |
Economy.kif 958-963 |
totalGDPInPeriod AreaGeopolitica, MisuraMonetaria and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale totalGDP AreaGeopolitica and MisuraMonetaria vales durante PosizioneTemporale |
(<=>
(unemploymentRateOfAreaInPeriod ?AREA ?RATE ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(unemploymentRateOfArea ?AREA ?RATE))))) |
Economy.kif 1456-1461 |
unemploymentRateOfAreaInPeriod AreaGeopolitica, NumeroReale and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale unemploymentRateOfArea AreaGeopolitica and NumeroReale vales durante PosizioneTemporale |
(=>
(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 |