(<=>
(and
(instance ?B BodyPart)
(holdsDuring ?T
(attribute ?B Bare)))
(holdsDuring ?T
(not
(exists (?C)
(and
(instance ?C Clothing)
(covers ?C ?B)))))) |
Mid-level-ontology.kif 32082-32092 |
An entity is an instance of body part and Bare is an attribute of the entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and covers the other entity and the entity holds during the time position |
(<=>
(and
(instance ?COMBINE Combining)
(resource ?COMBINE ?OBJ1)
(result ?COMBINE ?OBJ2))
(and
(holdsDuring
(BeginFn
(WhenFn ?COMBINE))
(not
(part ?OBJ1 ?OBJ2)))
(holdsDuring
(EndFn
(WhenFn ?COMBINE))
(part ?OBJ1 ?OBJ2)))) |
Merge.kif 12642-12649 |
A process is an instance of combining and an object is a resource for the process and an entity is a result of the process if and only if the object is not a part of the entity holds during the beginning of the time of existence of the process and the object is a part of the entity holds during the end of the time of existence of the process |
(<=>
(and
(instance ?X Region)
(holdsDuring ?T
(property ?X StandardAmbientTemperaturePressure)))
(holdsDuring ?T
(and
(airTemperature ?X
(MeasureFn 298.15 KelvinDegree))
(barometricPressure ?X
(MeasureFn 29.530 InchMercury))))) |
Weather.kif 4004-4014 |
An entity is an instance of region and the entity the attribute StandardAmbientTemperaturePressure holds during a time position if and only if airTemperature the entity and 298.15 KelvinDegree(s) and barometricPressure the entity and 29.530 InchMercury(s) holds during the time position |
(<=>
(and
(instance ?Y
(YearFn ?YEAR))
(equal
(MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER))
(exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(and
(instance ?LIST List)
(instance
(ListLengthFn ?LIST) ?COUNT)
(forall (?LISTITEM)
(=>
(inList ?LISTITEM ?LIST)
(and
(instance ?LISTITEM ?LIFEEXPECTANCYAGE)
(not
(exists (?NUMBER)
(and
(instance ?NUMBER ?LIFEEXPECTANCYAGE)
(not
(inList ?NUMBER ?LIST)))))
(equal ?COUNT
(CardinalityFn
(KappaFn ?LIFEEXPECTANCYAGE
(and
(instance ?BIRTH Birth)
(experiencer ?BIRTH ?INDIVIDUAL)
(instance ?INDIVIDUAL Human)
(attribute ?INDIVIDUAL Male)
(during
(WhenFn ?BIRTH) ?Y)
(equal
(WhereFn ?BIRTH
(WhenFn ?BIRTH)) ?AREA)
(instance ?DEATH Death)
(experiencer ?DEATH ?INDIVIDUAL)
(holdsDuring
(WhenFn ?DEATH)
(age ?INDIVIDUAL
(MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
(average ?LIST ?REALNUMBER)))) |
People.kif 357-390 |
A year is an instance of the year the yearEAR and equal MaleLifeExpectancyAtBirthFn a geopolitical area and the year and a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM and average the list and the real number |
(<=>
(and
(instance ?YEAR
(YearFn ?Y))
(equal
(FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER))
(exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(and
(instance ?LIST List)
(instance
(ListLengthFn ?LIST) ?COUNT)
(forall (?LISTITEM)
(=>
(inList ?LISTITEM ?LIST)
(and
(instance ?LISTITEM ?LIFEEXPECTANCYAGE)
(not
(exists (?NUMBER)
(and
(instance ?NUMBER ?LIFEEXPECTANCYAGE)
(not
(inList ?NUMBER ?LIST)))))
(equal ?COUNT
(CardinalityFn
(KappaFn ?LIFEEXPECTANCYAGE
(and
(instance ?BIRTH Birth)
(experiencer ?BIRTH ?INDIVIDUAL)
(instance ?INDIVIDUAL Human)
(attribute ?INDIVIDUAL Female)
(during
(WhenFn ?BIRTH) ?YEAR)
(equal
(WhereFn ?BIRTH
(WhenFn ?BIRTH)) ?AREA)
(instance ?DEATH Death)
(experiencer ?DEATH ?INDIVIDUAL)
(holdsDuring
(WhenFn ?DEATH)
(age ?INDIVIDUAL
(MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
(average ?LIST ?REALNUMBER)))) |
People.kif 403-436 |
A year is an instance of the year an integer and equal FemaleLifeExpectancyAtBirthFn a geopolitical area and the year and a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM and average the list and the real number |
(<=>
(and
(instance ?YEAR
(YearFn ?Y))
(equal
(LifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER))
(exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(and
(instance ?LIST List)
(instance
(ListLengthFn ?LIST) ?COUNT)
(forall (?LISTITEM)
(=>
(inList ?LISTITEM ?LIST)
(and
(instance ?LISTITEM ?LIFEEXPECTANCYAGE)
(not
(exists (?NUMBER)
(and
(instance ?NUMBER ?LIFEEXPECTANCYAGE)
(not
(inList ?NUMBER ?LIST)))))
(equal ?COUNT
(CardinalityFn
(KappaFn ?LIFEEXPECTANCYAGE
(and
(instance ?BIRTH Birth)
(experiencer ?BIRTH ?INDIVIDUAL)
(instance ?INDIVIDUAL Human)
(during
(WhenFn ?BIRTH) ?YEAR)
(equal
(WhereFn ?BIRTH
(WhenFn ?BIRTH)) ?AREA)
(instance ?DEATH Death)
(experiencer ?DEATH ?INDIVIDUAL)
(holdsDuring
(WhenFn ?DEATH)
(age ?INDIVIDUAL
(MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
(average ?LIST ?REALNUMBER)))) |
People.kif 310-342 |
A year is an instance of the year an integer and equal LifeExpectancyAtBirthFn a geopolitical area and the year and a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM and average the list and the real number |
(<=>
(and
(instance ?YEAR
(YearFn ?Y))
(equal
(MigrantsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
(and
(equal
(SubtractionFn ?Y ?PY) 1)
(instance ?PREVIOUSYEAR
(YearFn ?PY))
(holdsDuring ?YEAR
(equal
(PopulationFn ?AREA) ?POPULATION))
(equal
(DivisionFn ?POPULATION 1000) ?THOUSANDS)
(equal ?IMMIGRATION
(CardinalityFn
(KappaFn ?PERSON
(and
(instance ?PERSON Human)
(holdsDuring ?PREVIOUSYEAR
(not
(inhabits ?PERSON ?AREA)))
(holdsDuring ?YEAR
(inhabits ?PERSON ?AREA))))))
(equal ?EMMIGRATION
(CardinalityFn
(KappaFn ?PERSON
(and
(instance ?PERSON Human)
(holdsDuring ?PREVIOUSYEAR
(inhabits ?PERSON ?AREA))
(holdsDuring ?YEAR
(not
(inhabits ?PERSON ?AREA)))))))
(equal
(SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT)
(equal
(DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER))) |
People.kif 156-187 |
A year is an instance of the year an integer and equal MigrantsPerThousandFn a geopolitical area and the year and a real number if and only if equal (the integer and another integer) and 1 and an entity is an instance of the year the other integer and equal PopulationFn the geopolitical area and another real number holds during the year and equal the other real number and 1000 and a third real number and equal a third integer and the number of instances in the class described by a symbolic string and equal a fourth integer and the number of instances in the class described by the symbolic string and equal (the third integer and the fourth integer) and a fifth integer and equal the fifth integer and the third real number and the real number |
(<=>
(and
(instance ?YEAR
(YearFn ?Y))
(equal
(PopulationGrowthFn ?AREA ?YEAR) ?ADJUSTEDPERCENT))
(and
(equal
(SubtractionFn ?Y ?YP) 1)
(instance ?PREVIOUSYEAR
(YearFn ?YP))
(holdsDuring ?YEAR
(equal
(PopulationFn ?AREA) ?POPULATION))
(holdsDuring ?PREVIOUSYEAR
(equal
(PopulationFn ?AREA) ?PREVIOUSPOPULATION))
(equal
(DivisionFn ?POPULATION ?PREVIOUSPOPULATION) ?PERCENT)
(equal
(SubtractionFn ?PERCENT 1) ?ADJUSTEDPERCENT))) |
People.kif 52-64 |
A year is an instance of the year an integer and equal PopulationGrowthFn a geopolitical area and the year and another integer if and only if equal (the integer and the integerP) and 1 and a time position is an instance of the year the integerP and equal PopulationFn the geopolitical area and a real number holds during the year and equal PopulationFn the geopolitical area and another real number holds during the time position and equal the real number and the other real number and a third real number and equal (the third real number and 1) and the other integer |
(<=>
(annualExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(annualExpendituresOfArea ?AREA ?AMOUNT))))) |
Economy.kif 1637-1642 |
annualExpendituresOfAreaInPeriod a geopolitical area, a currency measure and a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and annualExpendituresOfArea the geopolitical area and the currency measure holds during the time position |
(<=>
(annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(annualRevenuesOfArea ?AREA ?AMOUNT))))) |
Economy.kif 1608-1613 |
annualRevenuesOfAreaInPeriod a geopolitical area, a currency measure and a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and annualRevenuesOfArea the geopolitical area and the currency measure holds during the time position |
(<=>
(capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(capitalExpendituresOfArea ?AREA ?CAPAMOUNT))))) |
Economy.kif 1685-1690 |
capitalExpendituresOfAreaInPeriod a geopolitical area, a currency measure and a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and capitalExpendituresOfArea the geopolitical area and the currency measure holds during the time position |
(<=>
(currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(currencyExchangeRate UnitedStatesDollar ?AMOUNT))))) |
Economy.kif 3993-3998 |
currencyExchangePerUSDollar a currency measure and a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and currencyExchangeRate UnitedStatesDollar and the currency measure holds during the time position |
(<=>
(currencyExchangeRateInPeriod ?UNIT ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(currencyExchangeRate ?UNIT ?AMOUNT))))) |
Economy.kif 4000-4005 |
currencyExchangeRateInPeriod an UnitOfCurrency, a currency measure and a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and currencyExchangeRate the UnitOfCurrency and the currency measure holds during the time position |
(<=>
(economicAidDonatedInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(economicAidDonated ?COUNTRY ?AMOUNT))))) |
Economy.kif 3151-3156 |
economicAidDonatedInPeriod a geopolitical area, a currency measure and a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and economicAidDonated the geopolitical area and the currency measure holds during the time position |
(<=>
(economicAidReceivedNetInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(economicAidReceivedNet ?COUNTRY ?AMOUNT))))) |
Economy.kif 3191-3196 |
economicAidReceivedNetInPeriod a geopolitical area, a currency measure and a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and economicAidReceivedNet the geopolitical area and the currency measure holds during the time position |
(<=>
(electricityFractionFromSourceInPeriod ?AREA ?SOURCE ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(electricityFractionFromSource ?AREA ?SOURCE ?FRACTION))))) |
Economy.kif 2291-2296 |
electricityFractionFromSourceInPeriod a geopolitical area, a kind of PowerGeneration, a real number and a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and electricityFractionFromSource the geopolitical area, a kind of PowerGeneration and the real number holds during the time position |
(<=>
(exportPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(exportPartnerByFraction ?AREA1 ?AREA2 ?FRACTION))))) |
Economy.kif 2784-2789 |
exportPartnerByFractionInPeriod a geopolitical area, another geopolitical area, a positive real number and a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and exportPartnerByFraction the geopolitical area, the other geopolitical area and the positive real number holds during the time position |
(<=>
(exportPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(exportPartnerByRank ?AREA1 ?AREA2 ?NTH))))) |
Economy.kif 2746-2751 |
exportPartnerByRankInPeriod a geopolitical area, another geopolitical area, a positive integer and a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and exportPartnerByRank the geopolitical area, the other geopolitical area and the positive integer holds during the time position |
(<=>
(exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(exportPartner ?AGENT1 ?AGENT2))))) |
Economy.kif 2622-2627 |
exportPartnerInPeriod an agent, another agent and a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and exportPartner the agent and the other agent holds during the time position |
(<=>
(externalDebtInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(externalDebt ?COUNTRY ?AMOUNT))))) |
Economy.kif 3107-3112 |
externalDebtInPeriod a geopolitical area, a currency measure and a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and externalDebt the geopolitical area and the currency measure holds during the time position |
(<=>
(highestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(highestDecileShareOfHouseholdIncome ?AREA ?FRACTION))))) |
Economy.kif 1368-1373 |
highestDecileShareOfHouseholdIncomeInPeriod a geopolitical area, a real number and a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and highestDecileShareOfHouseholdIncome the geopolitical area and the real number holds during the time position |
(<=>
(holdsDuring ?T
(and
(instance ?PERSON Human)
(forall (?ORG)
(not
(employs ?ORG ?PERSON)))))
(holdsDuring ?T
(attribute ?PERSON Unemployed))) |
Merge.kif 17451-17459 |
An entity is an instance of human and for all another entity the other entity doesn't employ the entity holds during a time position if and only if Unemployed is an attribute of the entity holds during the time position |
(<=>
(holdsDuring ?TIME
(attribute ?AGENT LegalAgent))
(holdsDuring ?TIME
(or
(capability LegalAction agent ?AGENT)
(capability LegalAction patient ?AGENT)))) |
Merge.kif 1636-1642 |
LegalAgent is an attribute of an entity holds during a time position if and only if the entity is capable of doing legal action as a agent or the entity is capable of doing legal action as a patient holds during the time position |
(<=>
(importPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(importPartnerByFraction ?AREA1 ?AREA2 ?FRACTION))))) |
Economy.kif 3074-3079 |
importPartnerByFractionInPeriod a geopolitical area, another geopolitical area, a positive real number and a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and importPartnerByFraction the geopolitical area, the other geopolitical area and the positive real number holds during the time position |
(<=>
(importPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(importPartnerByRank ?AREA1 ?AREA2 ?NTH))))) |
Economy.kif 3036-3041 |
importPartnerByRankInPeriod a geopolitical area, another geopolitical area, a positive integer and a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and importPartnerByRank the geopolitical area, the other geopolitical area and the positive integer holds during the time position |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
