(<=>
(laborForceTotalInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(laborForceTotal ?AREA ?AMOUNT))))) |
Economy.kif 1464-1469 |
A geopolitical area is labor force total in period a nonnegative real number for 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 the nonnegative real number is a labor force total of the geopolitical area holds during the time position |
(<=>
(languagePercentInRegion ?L ?N ?R)
(exists (?G1 ?G2 ?P ?P2 ?N1 ?N2)
(and
(located ?P ?R)
(member ?P ?G1)
(speaksLanguage ?P ?L)
(memberCount ?G1 ?N1)
(located ?P2 ?R)
(member ?P2 ?G2)
(memberCount ?G2 ?N2)
(equal
(DivisionFn ?N 100)
(DivisionFn ?N1 ?N2))))) |
People.kif 1567-1578 |
A real number percent of people in a geographic area speak a language if and only if there exist a collection, another collection,, , a sentient agent,, , the sentient agent2,, , the real number1 and the real number2 such that the sentient agent is located at the geographic area and the sentient agent is a member of the collection and the language is a speaks language of the sentient agent and the real number1 is a member count of the collection and the sentient agent2 is located at the geographic area and the sentient agent2 is a member of the other collection and the real number2 is a member count of the other collection and equal the real number and 100 and the real number1 and the real number2 |
(<=>
(lowestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(lowestDecileShareOfHouseholdIncome ?AREA ?FRACTION))))) |
Economy.kif 1324-1329 |
A geopolitical area lowest decile share of household income in period a real number for 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 the real number is a lowest decile share of household income of the geopolitical area holds during the time position |
(<=>
(manner ?P Harmless)
(and
(not
(instance ?P Damaging))
(not
(exists (?P2)
(and
(instance ?P2 Damaging)
(subProcess ?P2 ?P))))
(not
(exists (?P2)
(and
(instance ?P2 Damaging)
(causes ?P ?P2)))))) |
Mid-level-ontology.kif 32214-32228 |
A process is performed in the manner harmless if and only if the process is not an instance of damaging and there doesn't exist the process2 such that the process2 is an instance of damaging and the process2 is a subprocess of the process and there doesn't exist the process2 such that the process2 is an instance of damaging and the process causes the process2 |
(<=>
(militaryExpendituresFractionOfGDPInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(militaryExpendituresFractionOfGDP ?AREA ?FRACTION))))) |
Military.kif 1087-1092 |
A geopolitical area is military expenditures fraction ofGDP in period a real number for a time interval if and only if there exists a time position such that the time position is an instance of the time interval and the real number is a military expenditures fraction of GDP of the geopolitical area holds during the time position |
(<=>
(militaryExpendituresInUSDollarsInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(militaryExpendituresInUSDollars ?AREA ?AMOUNT))))) |
Military.kif 1048-1053 |
A geopolitical area is military expenditures in US dollars in period a currency measure for a time interval if and only if there exists a time position such that the time position is an instance of the time interval and the currency measure is a military expenditures in US dollars of the geopolitical area holds during the time position |
(<=>
(modalAttribute ?F1 Legal)
(not
(exists (?F2)
(and
(modalAttribute ?F2 Law)
(not
(consistent ?F1 ?F2)))))) |
Mid-level-ontology.kif 15221-15228 |
The statement a formula has the modal force of legal if and only if there doesn't exist another formula such that the statement the other formula has the modal force of law and the other formula is not a consistent of the formula |
(<=>
(monthlyIncome ?Agent ?Money)
(exists (?Month)
(and
(instance ?Month Month)
(income ?Agent ?Money ?Month)))) |
FinancialOntology.kif 3300-3305 |
A human has monthly income a currency measure if and only if there exists a time interval such that the time interval is an instance of month and the human income the currency measure for the time interval |
(<=>
(nephew ?N ?H)
(exists (?S)
(and
(sibling ?S ?H)
(son ?N ?S)))) |
Mid-level-ontology.kif 24750-24755 |
A man is the &ephew$"nephew" of a human if and only if there exists an organism such that the organism is a sibling of the human and the man is the son of the organism |
(<=>
(niece ?N ?H)
(exists (?S)
(and
(sibling ?S ?H)
(daughter ?N ?S)))) |
Mid-level-ontology.kif 24764-24769 |
A woman is the &iece$"niece" of a human if and only if there exists an organism such that the organism is a sibling of the human and the woman is the daughter of the organism |
(<=>
(perCapitaGDPInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(perCapitaGDP ?AREA ?AMOUNT))))) |
Economy.kif 1133-1138 |
A geopolitical area is per capitaGDP in period a currency measure for a time interval if and only if there exists a time position such that the time position is an instance of the time interval and the currency measure is a per capitaGDP of the geopolitical area holds during the time position |
(<=>
(populationFractionBelowPovertyLineInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(populationFractionBelowPovertyLine ?AREA ?FRACTION))))) |
Economy.kif 1275-1280 |
A geopolitical area is population fraction below poverty line in period a real number for 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 the real number is a population fraction below poverty line of the geopolitical area holds during the time position |
(<=>
(quarter ?Q ?W)
(exists (?H)
(and
(half ?H ?W)
(half ?Q ?H)))) |
Mid-level-ontology.kif 14545-14550 |
An object is a quarter of another object if and only if there exists a third object such that the third object is half of the other object and the object is half of the third object |
(<=>
(realGrowthRateOfGDPInPeriod ?AREA ?RATE ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(realGrowthRateOfGDP ?AREA ?RATE))))) |
Economy.kif 1098-1103 |
A geopolitical area is real growth rate of GDP in period a real number for 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 the real number is a real growth rate of GDP of the geopolitical area holds during the time position |
(<=>
(sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(sectorCompositionOfGDP ?AREA ?SECTOR ?FRACTION))))) |
Economy.kif 1177-1182 |
A geopolitical area is the sector composition of GDP in period an industry attribute for a real number with 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 the geopolitical area is sector composition of GDP the industry attribute for the real number holds during the time position |
(<=>
(sectorValueOfGDPInPeriod ?AREA ?SECTOR
(MeasureFn ?AMOUNT ?CUNIT) ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(sectorValueOfGDP ?AREA ?SECTOR
(MeasureFn ?AMOUNT ?CUNIT)))))) |
Economy.kif 1220-1228 |
A geopolitical area is sector value of GDP in period an industry attribute for a real number an unit of measure(s) with 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 the geopolitical area is sector value of GDP the industry attribute for the real number the unit of measure(s) holds during the time position |
(<=>
(stepfather ?P ?F)
(exists (?M)
(and
(mother ?P ?M)
(spouse ?F ?M)
(not
(father ?P ?F))))) |
Mid-level-ontology.kif 24793-24800 |
A man is the stepfather of a human if and only if there exists another human such that the other human is a mother of the human and the man is the spouse of the other human and the man is not a father of the human |
(<=>
(stepmother ?P ?M)
(exists (?F)
(and
(father ?P ?F)
(spouse ?M ?F)
(not
(mother ?P ?M))))) |
Mid-level-ontology.kif 24810-24817 |
A woman is the stepfather of a human if and only if there exists another human such that the other human is a father of the human and the woman is the spouse of the other human and the woman is not a mother of the human |
(<=>
(totalFacilityTypeInArea ?AREA
(ExtensionFn AirportWithPavedRunway) ?COUNT)
(exists (?AIRPORT ?RUNWAY)
(cardinality
(KappaFn ?AIRPORT
(and
(instance ?AIRPORT Airport)
(instance ?RUNWAY PavedRunway)
(part ?RUNWAY ?AIRPORT)
(located ?AIRPORT ?AREA))) ?COUNT))) |
Transportation.kif 1349-1359 |
A geographic area is total facility type in area the class corresponding to airport with paved runway for a nonnegative integer if and only if there exist a symbolic string and an entity such that the nonnegative integer is a cardinality of the class described by the symbolic string |
(<=>
(totalGDPInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(totalGDP ?AREA ?AMOUNT))))) |
Economy.kif 1012-1017 |
A geopolitical area is totalGDP in period a currency measure for 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 the currency measure is a total GDP of the geopolitical area holds during the time position |
(<=>
(uncle ?U ?H)
(exists (?P)
(and
(brother ?U ?P)
(parent ?H ?P)))) |
Mid-level-ontology.kif 24778-24783 |
The uncle of a human is a man if and only if there exists another human such that the man is the brother of the other human and the other human is a parent of the human |
(<=>
(unemploymentRateOfAreaInPeriod ?AREA ?RATE ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(unemploymentRateOfArea ?AREA ?RATE))))) |
Economy.kif 1581-1586 |
A geopolitical area is unemployment rate of area in period a real number for 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 the geopolitical area is unemployment rate of area the real number holds during the time position |
(<=>
(yearOfFounding ?O ?Y)
(exists (?F ?YEAR)
(and
(overlapsTemporally
(WhenFn ?F) ?YEAR)
(instance ?YEAR
(YearFn ?Y))
(instance ?F Founding)
(result ?F ?O)))) |
Mid-level-ontology.kif 961-968 |
An integer is a year of founding of an organization if and only if there exist a process and the integerEAR such that the integerEAR overlaps the time of existence of the process and the integerEAR is an instance of the year the integer and the process is an instance of founding and the organization is a result of the process |
(=>
(accountAtSite ?ACCT ?SITE)
(exists (?DATABASE ?SITE_OWNER)
(and
(instance ?DATABASE Database)
(instance ?SITE_OWNER AutonomousAgent)
(possesses ?SITE_OWNER ?SITE)
(possesses ?SITE_OWNER ?DATABASE)
(part ?ACCT ?DATABASE)))) |
UXExperimentalTerms.kif 632-640 |
|
(=>
(actedIn ?ACTOR ?O)
(exists (?PERF)
(and
(instance ?PERF DramaticActing)
(patient ?PERF ?ACTOR)
(result ?PERF ?O)))) |
Mid-level-ontology.kif 22369-22375 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
