(<=>
(incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(incomeDistributionByGiniIndex ?AREA ?INDEX))))) |
Economy.kif 1318-1323 |
A geopolitical area income distribution by gini index 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 an income distribution by gini index of the geopolitical area holds during the time position |
(<=>
(industrialProductionGrowthRateInPeriod ?AREA ?RATE ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(industrialProductionGrowthRate ?AREA ?RATE))))) |
Economy.kif 1949-1954 |
A geopolitical area is industrial production growth rate 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 an industrial production growth rate of the geopolitical area holds during the time position |
(<=>
(instance ?B Bull)
(and
(instance ?B Cattle)
(attribute ?B Female))) |
Mid-level-ontology.kif 20200-20204 |
An object is an instance of bull if and only if the object is an instance of cattle and female is an attribute of the object |
(<=>
(instance ?B Bull)
(and
(instance ?B Cattle)
(attribute ?B Male))) |
Mid-level-ontology.kif 20218-20222 |
An object is an instance of bull if and only if the object is an instance of cattle and male is an attribute of the object |
(<=>
(instance ?BONE Bone)
(exists (?SKELETON)
(and
(or
(instance ?SKELETON Skeleton)
(instance ?SKELETON Exoskeleton))
(part ?BONE ?SKELETON)))) |
Mid-level-ontology.kif 11682-11689 |
An object is an instance of bone if and only if there exists another object such that the other object is an instance of skeleton or the other object is an instance of exoskeleton and the object is a part of the other object |
(<=>
(instance ?C Calf)
(and
(instance ?C Cattle)
(attribute ?C NonFullyFormed))) |
Mid-level-ontology.kif 20209-20213 |
An object is an instance of calf if and only if the object is an instance of cattle and non fully formed is an attribute of the object |
(<=>
(instance ?CS ConjugatedSubstance)
(exists (?C1 ?C2 ?P)
(and
(instance ?C1 CompoundSubstance)
(instance ?C2 CompoundSubstance)
(not
(equal ?C1 ?C2))
(instance ?P ChemicalSynthesis)
(resource ?P ?C1)
(resource ?P ?C2)
(result ?P ?CS)))) |
Mid-level-ontology.kif 6478-6488 |
An entity is an instance of conjugated substance if and only if there exist an object, another object and a process such that the object is an instance of compound substance and the other object is an instance of compound substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process |
(<=>
(instance ?Collateral Collateral)
(exists (?Loan)
(and
(instance ?Loan SecuredLoan)
(securedBy ?Loan ?Collateral)))) |
FinancialOntology.kif 1321-1326 |
A collateral is an instance of collateral if and only if there exists a financial account such that the financial account is an instance of secured loan and the collateral is a secured by of the financial account |
(<=>
(instance ?DISTRICT CityDistrict)
(exists (?CITY)
(and
(instance ?CITY City)
(geopoliticalSubdivision ?DISTRICT ?CITY)))) |
Mid-level-ontology.kif 8080-8085 |
A geopolitical area is an instance of city district if and only if there exists another geopolitical area such that the other geopolitical area is an instance of city and the geopolitical area is a geopolitical part of the other geopolitical area |
(<=>
(instance ?DV DamagedVehicle)
(and
(instance ?DV Vehicle)
(attribute ?DV DeviceDamaged))) |
Mid-level-ontology.kif 30094-30098 |
An object is an instance of damaged vehicle if and only if the object is an instance of vehicle and device damaged is an attribute of the object |
(<=>
(instance ?H Hen)
(and
(instance ?H Chicken)
(attribute ?H Female))) |
Mid-level-ontology.kif 20232-20236 |
An object is an instance of hen if and only if the object is an instance of chicken and female is an attribute of the object |
(<=>
(instance ?Hardware ComputerHardware)
(exists (?Computer)
(and
(instance ?Computer Computer)
(component ?Hardware ?Computer)))) |
QoSontology.kif 63-68 |
A corpuscular object is an instance of computer hardware if and only if there exists another corpuscular object such that the other corpuscular object is an instance of computer and the corpuscular object is a component of the other corpuscular object |
(<=>
(instance ?ICE Ice)
(and
(instance ?ICE Water)
(attribute ?ICE Solid))) |
Mid-level-ontology.kif 8979-8983 |
An object is an instance of ice if and only if the object is an instance of water and solid is an attribute of the object |
(<=>
(instance ?Index InflationIndex)
(exists (?Inflation)
(and
(instance ?Inflation Inflation)
(benchmark ?Inflation ?Index)))) |
FinancialOntology.kif 1668-1673 |
A performance measure is an instance of inflation index if and only if there exists an abstract such that the abstract is an instance of Inflation and the performance measure is a benchmark of the abstract |
(<=>
(instance ?Index StockIndex)
(exists (?Stock)
(and
(instance ?Stock Stock)
(benchmark ?Index ?Stock)))) |
FinancialOntology.kif 1696-1701 |
An abstract is an instance of stock index if and only if there exists a performance measure such that the performance measure is an instance of stock and the performance measure is a benchmark of the abstract |
(<=>
(instance ?L Lamb)
(and
(instance ?L Sheep)
(attribute ?L NonFullyFormed))) |
Mid-level-ontology.kif 20186-20190 |
An object is an instance of lamb if and only if the object is an instance of sheep and non fully formed is an attribute of the object |
(<=>
(instance ?NUMBER NegativeRealNumber)
(and
(lessThan ?NUMBER 0)
(instance ?NUMBER RealNumber))) |
Merge.kif 1948-1952 |
A real number is an instance of negative real number if and only if the real number is less than 0 and the real number is an instance of real number |
(<=>
(instance ?NUMBER NonnegativeRealNumber)
(and
(greaterThanOrEqualTo ?NUMBER 0)
(instance ?NUMBER RealNumber))) |
Merge.kif 1926-1930 |
A real number is an instance of nonnegative real number if and only if the real number is greater than or equal to 0 and the real number is an instance of real number |
(<=>
(instance ?NUMBER PositiveRealNumber)
(and
(greaterThan ?NUMBER 0)
(instance ?NUMBER RealNumber))) |
Merge.kif 1937-1941 |
A real number is an instance of positive real number if and only if the real number is greater than 0 and the real number is an instance of real number |
(<=>
(instance ?ORG GovernmentOrganization)
(or
(instance ?ORG Government)
(exists (?GOV)
(and
(instance ?GOV Government)
(subOrganization ?ORG ?GOV))))) |
Government.kif 108-115 |
An organization is an instance of government organization if and only if the organization is an instance of government or there exists another organization such that the other organization is an instance of government and the organization is a part of the organization the other organization |
(<=>
(instance ?R Rooster)
(and
(instance ?R Chicken)
(attribute ?R Male))) |
Mid-level-ontology.kif 20241-20245 |
An object is an instance of rooster if and only if the object is an instance of chicken and male is an attribute of the object |
(<=>
(instance ?VERT Vertebrate)
(exists (?SPINE)
(and
(instance ?VERT Animal)
(component ?SPINE ?VERT)
(instance ?SPINE SpinalColumn)))) |
Mid-level-ontology.kif 10944-10950 |
A corpuscular object is an instance of vertebrate if and only if there exists another corpuscular object such that the corpuscular object is an instance of animal and the other corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of spinal column |
(<=>
(laborForceFractionByOccupationInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(laborForceFractionByOccupation ?AREA ?SECTOR ?FRACTION))))) |
Economy.kif 1419-1424 |
A geopolitical area labor force fraction by occupation in period an 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 labor force fraction by occupation the attribute for the real number holds during the time position |
(<=>
(laborForceTotalInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(laborForceTotal ?AREA ?AMOUNT))))) |
Economy.kif 1373-1378 |
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 1566-1577 |
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 the real number and 100 is equal to the real number1 and the real number2 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
