(<=>
(incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(incomeDistributionByGiniIndex ?AREA ?INDEX))))) |
Economy.kif 1318-1323 |
incomeDistributionByGiniIndexInPeriod 地政学的地域, 非負実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n incomeDistributionByGiniIndex 地政学的地域 and 非負実数 は 時間位置 の during holds %n{ない} |
(<=>
(industrialProductionGrowthRateInPeriod ?AREA ?RATE ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(industrialProductionGrowthRate ?AREA ?RATE))))) |
Economy.kif 1949-1954 |
industrialProductionGrowthRateInPeriod 地政学的地域, 実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n industrialProductionGrowthRate 地政学的地域 and 実数 は 時間位置 の during holds %n{ない} |
(<=>
(instance ?B Bull)
(and
(instance ?B Cattle)
(attribute ?B Female))) |
Mid-level-ontology.kif 20200-20204 |
オブジェクト は Bull の instance では %n オブジェクト は Cattle の instance では %n Female は オブジェクト の attribute では %n |
(<=>
(instance ?B Bull)
(and
(instance ?B Cattle)
(attribute ?B Male))) |
Mid-level-ontology.kif 20218-20222 |
オブジェクト は Bull の instance では %n オブジェクト は Cattle の instance では %n Male は オブジェクト の attribute では %n |
(<=>
(instance ?BONE Bone)
(exists (?SKELETON)
(and
(or
(instance ?SKELETON Skeleton)
(instance ?SKELETON Exoskeleton))
(part ?BONE ?SKELETON)))) |
Mid-level-ontology.kif 11682-11689 |
オブジェクト は 骨 の instance では %n オブジェクト オブジェクト は Skeleton の instance では %n オブジェクト は Exoskeleton の instance では %n オブジェクト は オブジェクト の part では %n |
(<=>
(instance ?C Calf)
(and
(instance ?C Cattle)
(attribute ?C NonFullyFormed))) |
Mid-level-ontology.kif 20209-20213 |
オブジェクト は Calf の instance では %n オブジェクト は Cattle の instance では %n NonFullyFormed は オブジェクト の attribute では %n |
(<=>
(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 |
エンティティー は ConjugatedSubstance の instance では %n オブジェクト オブジェクト and 工程 オブジェクト は 合成物質 の instance では %n オブジェクト は 合成物質 の instance では %n オブジェクト は オブジェクト と equal では 工程 は 化学合成 の instance では %n オブジェクト は 工程 の resource では %n オブジェクト は 工程 の resource では %n エンティティー は 工程 の result では %n |
(<=>
(instance ?Collateral Collateral)
(exists (?Loan)
(and
(instance ?Loan SecuredLoan)
(securedBy ?Loan ?Collateral)))) |
FinancialOntology.kif 1321-1326 |
Collateral は Collateral の instance では %n FinancialAccount FinancialAccount は SecuredLoan の instance では %n securedBy FinancialAccount and Collateral |
(<=>
(instance ?DISTRICT CityDistrict)
(exists (?CITY)
(and
(instance ?CITY City)
(geopoliticalSubdivision ?DISTRICT ?CITY)))) |
Mid-level-ontology.kif 8080-8085 |
地政学的地域 は CityDistrict の instance では %n 地政学的地域 地政学的地域 は 都市 の instance では %n 地政学的地域 は 地政学的地域 の geopolitical 部分では %n |
(<=>
(instance ?DV DamagedVehicle)
(and
(instance ?DV Vehicle)
(attribute ?DV DeviceDamaged))) |
Mid-level-ontology.kif 30094-30098 |
オブジェクト は DamagedVehicle の instance では %n オブジェクト は Vehicle の instance では %n DeviceDamaged は オブジェクト の attribute では %n |
(<=>
(instance ?H Hen)
(and
(instance ?H Chicken)
(attribute ?H Female))) |
Mid-level-ontology.kif 20232-20236 |
オブジェクト は Hen の instance では %n オブジェクト は Chicken の instance では %n Female は オブジェクト の attribute では %n |
(<=>
(instance ?Hardware ComputerHardware)
(exists (?Computer)
(and
(instance ?Computer Computer)
(component ?Hardware ?Computer)))) |
QoSontology.kif 63-68 |
微粒子オブジェクト は ComputerHardware の instance では %n 微粒子オブジェクト 微粒子オブジェクト は Computer の instance では %n 微粒子オブジェクト は 微粒子オブジェクト の component では %n |
(<=>
(instance ?ICE Ice)
(and
(instance ?ICE Water)
(attribute ?ICE Solid))) |
Mid-level-ontology.kif 8979-8983 |
オブジェクト は Ice の instance では %n オブジェクト は 水 の instance では %n Solid は オブジェクト の attribute では %n |
(<=>
(instance ?Index InflationIndex)
(exists (?Inflation)
(and
(instance ?Inflation Inflation)
(benchmark ?Inflation ?Index)))) |
FinancialOntology.kif 1668-1673 |
PerformanceMeasure は InflationIndex の instance では %n 抽象的な 抽象的な は Inflation の instance では %n benchmark 抽象的な and PerformanceMeasure |
(<=>
(instance ?Index StockIndex)
(exists (?Stock)
(and
(instance ?Stock Stock)
(benchmark ?Index ?Stock)))) |
FinancialOntology.kif 1696-1701 |
抽象的な は StockIndex の instance では %n PerformanceMeasure PerformanceMeasure は Stock の instance では %n benchmark 抽象的な and PerformanceMeasure |
(<=>
(instance ?L Lamb)
(and
(instance ?L Sheep)
(attribute ?L NonFullyFormed))) |
Mid-level-ontology.kif 20186-20190 |
オブジェクト は Lamb の instance では %n オブジェクト は Sheep の instance では %n NonFullyFormed は オブジェクト の attribute では %n |
(<=>
(instance ?NUMBER NegativeRealNumber)
(and
(lessThan ?NUMBER 0)
(instance ?NUMBER RealNumber))) |
Merge.kif 1948-1952 |
実数 は 負の実数 の instance では %n 実数 は 0 より less では %n 実数 は 実数 の instance では %n |
(<=>
(instance ?NUMBER NonnegativeRealNumber)
(and
(greaterThanOrEqualTo ?NUMBER 0)
(instance ?NUMBER RealNumber))) |
Merge.kif 1926-1930 |
実数 は 非負実数 の instance では %n 実数 は 0 greater では %n 実数 は 実数 の instance では %n |
(<=>
(instance ?NUMBER PositiveRealNumber)
(and
(greaterThan ?NUMBER 0)
(instance ?NUMBER RealNumber))) |
Merge.kif 1937-1941 |
実数 は 正の実数 の instance では %n 実数 は 0 より greater では %n 実数 は 実数 の instance では %n |
(<=>
(instance ?ORG GovernmentOrganization)
(or
(instance ?ORG Government)
(exists (?GOV)
(and
(instance ?GOV Government)
(subOrganization ?ORG ?GOV))))) |
Government.kif 108-115 |
組織 は GovernmentOrganization の instance では %n 組織 は 政府 の instance では %n 組織 組織 は 政府 の instance では %n 組織 は組織 組織 の一部では %n |
(<=>
(instance ?R Rooster)
(and
(instance ?R Chicken)
(attribute ?R Male))) |
Mid-level-ontology.kif 20241-20245 |
オブジェクト は Rooster の instance では %n オブジェクト は Chicken の instance では %n Male は オブジェクト の attribute では %n |
(<=>
(instance ?VERT Vertebrate)
(exists (?SPINE)
(and
(instance ?VERT Animal)
(component ?SPINE ?VERT)
(instance ?SPINE SpinalColumn)))) |
Mid-level-ontology.kif 10944-10950 |
微粒子オブジェクト は 脊椎動物 の instance では %n 微粒子オブジェクト 微粒子オブジェクト は 動物 の instance では %n 微粒子オブジェクト は 微粒子オブジェクト の component では %n 微粒子オブジェクト は SpinalColumn の instance では %n |
(<=>
(laborForceFractionByOccupationInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(laborForceFractionByOccupation ?AREA ?SECTOR ?FRACTION))))) |
Economy.kif 1419-1424 |
laborForceFractionByOccupationInPeriod 地政学的地域, 属性, 実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n laborForceFractionByOccupation 地政学的地域, 属性 and 実数 は 時間位置 の during holds %n{ない} |
(<=>
(laborForceTotalInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(laborForceTotal ?AREA ?AMOUNT))))) |
Economy.kif 1373-1378 |
laborForceTotalInPeriod 地政学的地域, 非負実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n laborForceTotal 地政学的地域 and 非負実数 は 時間位置 の during holds %n{ない} |
(<=>
(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 |
languagePercentInRegion 言語, 実数 and 地理的地域 コレクション コレクション, 意識［知覚］を持つ代理(人), 意識［知覚］を持つ代理(人)2, 実数1 and 実数2 意識［知覚］を持つ代理(人) は 地理的地域 に located して %n 意識［知覚］を持つ代理(人) は コレクション の member では %n speaksLanguage 意識［知覚］を持つ代理(人) and 言語 memberCount コレクション and 実数1 意識［知覚］を持つ代理(人)2 は 地理的地域 に located して %n 意識［知覚］を持つ代理(人)2 は コレクション の member では %n memberCount コレクション and 実数2 実数 + 100 は 実数1 + 実数2 と equal では %n |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
