(<=>
(importPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(importPartnerByFraction ?AREA1 ?AREA2 ?FRACTION))))) |
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 |
(<=>
(importPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(importPartnerByRank ?AREA1 ?AREA2 ?NTH))))) |
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 |
(<=>
(importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(importPartner ?AGENT1 ?AGENT2))))) |
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 |
(<=>
(incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(incomeDistributionByGiniIndex ?AREA ?INDEX))))) |
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 |
(<=>
(industrialProductionGrowthRateInPeriod ?AREA ?RATE ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(industrialProductionGrowthRate ?AREA ?RATE))))) |
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 |
(<=>
(laborForceFractionByOccupationInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(laborForceFractionByOccupation ?AREA ?SECTOR ?FRACTION))))) |
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 |
(<=>
(laborForceTotalInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(laborForceTotal ?AREA ?AMOUNT))))) |
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 |
(<=>
(locatedAtTime ?OBJ ?TIME ?PLACE)
(holdsDuring ?TIME
(located ?OBJ ?PLACE))) |
Mid-level-ontology.kif 23308-23310 |
locatedAtTime Objeto, Posicao Temporal and Objeto Objeto e' situado em Objeto vale durante Posicao Temporal |
(<=>
(lowestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(lowestDecileShareOfHouseholdIncome ?AREA ?FRACTION))))) |
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 |
(<=>
(memberAtTime ?OBJ ?COLLECTION ?TIME)
(holdsDuring ?TIME
(member ?OBJ ?COLLECTION))) |
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 |
(<=>
(militaryExpendituresFractionOfGDPInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(militaryExpendituresFractionOfGDP ?AREA ?FRACTION))))) |
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 |
(<=>
(militaryExpendituresInUSDollarsInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(militaryExpendituresInUSDollars ?AREA ?AMOUNT))))) |
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 |
(<=>
(perCapitaGDPInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(perCapitaGDP ?AREA ?AMOUNT))))) |
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 |
(<=>
(populationFractionBelowPovertyLineInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(populationFractionBelowPovertyLine ?AREA ?FRACTION))))) |
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 |
(<=>
(realGrowthRateOfGDPInPeriod ?AREA ?RATE ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(realGrowthRateOfGDP ?AREA ?RATE))))) |
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 |
(<=>
(sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(sectorCompositionOfGDP ?AREA ?SECTOR ?FRACTION))))) |
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 |
(<=>
(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 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 |
(<=>
(totalGDPInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(totalGDP ?AREA ?AMOUNT))))) |
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 |
(<=>
(unemploymentRateOfAreaInPeriod ?AREA ?RATE ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(unemploymentRateOfArea ?AREA ?RATE))))) |
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 |
(=>
(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 |
