(<=>
(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 |
(<=>
(lowestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(lowestDecileShareOfHouseholdIncome ?AREA ?FRACTION))))) |
Economy.kif 1233-1238 |
lowestDecileShareOfHouseholdIncomeInPeriod 地政学的地域, 実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n lowestDecileShareOfHouseholdIncome 地政学的地域 and 実数 は 時間位置 の during holds %n{ない} |
(<=>
(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 30296-30310 |
工程 は Harmless の方法で実行され %n 工程 は 損害を与える の instance では 工程2 工程2 は 損害を与える の instance では %n 工程2 は 工程% の subprocess では %n 工程2 工程2 は 損害を与える の instance では %n 工程 は 工程2 を causes %n{ない} |
(<=>
(militaryExpendituresFractionOfGDPInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(militaryExpendituresFractionOfGDP ?AREA ?FRACTION))))) |
Military.kif 1019-1024 |
militaryExpendituresFractionOfGDPInPeriod 地政学的地域, 実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n militaryExpendituresFractionOfGDP 地政学的地域 and 実数 は 時間位置 の during holds %n{ない} |
(<=>
(militaryExpendituresInUSDollarsInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(militaryExpendituresInUSDollars ?AREA ?AMOUNT))))) |
Military.kif 980-985 |
militaryExpendituresInUSDollarsInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n militaryExpendituresInUSDollars 地政学的地域 and 通貨測定 は 時間位置 の during holds %n{ない} |
(<=>
(modalAttribute ?F1 Legal)
(not
(exists (?F2)
(and
(modalAttribute ?F2 Law)
(not
(consistent ?F1 ?F2)))))) |
Mid-level-ontology.kif 13850-13857 |
ステートメント 公式 には Legal の modal force が ある 公式 ステートメント 公式 には Law の modal force が ある consistent 公式 and 公式 |
(<=>
(monthlyIncome ?Agent ?Money)
(exists (?Month)
(and
(instance ?Month Month)
(income ?Agent ?Money ?Month)))) |
FinancialOntology.kif 3283-3288 |
monthlyIncome 人［人間］ and 通貨測定 時間間隔 時間間隔 は 月 の instance では %n income 人［人間］, 通貨測定 and 時間間隔 |
(<=>
(nephew ?N ?H)
(exists (?S)
(and
(sibling ?S ?H)
(son ?N ?S)))) |
Mid-level-ontology.kif 23109-23114 |
nephew Man and 人［人間］ 物 物 は 人［人間］ の father では %n son Man and 物 |
(<=>
(niece ?N ?H)
(exists (?S)
(and
(sibling ?S ?H)
(daughter ?N ?S)))) |
Mid-level-ontology.kif 23123-23128 |
niece Woman and 人［人間］ 物 物 は 人［人間］ の father では %n daughter Woman and 物 |
(<=>
(perCapitaGDPInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(perCapitaGDP ?AREA ?AMOUNT))))) |
Economy.kif 1042-1047 |
perCapitaGDPInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n perCapitaGDP 地政学的地域 and 通貨測定 は 時間位置 の during holds %n{ない} |
(<=>
(populationFractionBelowPovertyLineInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(populationFractionBelowPovertyLine ?AREA ?FRACTION))))) |
Economy.kif 1184-1189 |
populationFractionBelowPovertyLineInPeriod 地政学的地域, 実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n populationFractionBelowPovertyLine 地政学的地域 and 実数 は 時間位置 の during holds %n{ない} |
(<=>
(quarter ?Q ?W)
(exists (?H)
(and
(half ?H ?W)
(half ?Q ?H)))) |
Mid-level-ontology.kif 13208-13213 |
quarter オブジェクト and オブジェクト オブジェクト half オブジェクト and オブジェクト half オブジェクト and オブジェクト |
(<=>
(realGrowthRateOfGDPInPeriod ?AREA ?RATE ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(realGrowthRateOfGDP ?AREA ?RATE))))) |
Economy.kif 1007-1012 |
realGrowthRateOfGDPInPeriod 地政学的地域, 実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n realGrowthRateOfGDP 地政学的地域 and 実数 は 時間位置 の during holds %n{ない} |
(<=>
(sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(sectorCompositionOfGDP ?AREA ?SECTOR ?FRACTION))))) |
Economy.kif 1086-1091 |
sectorCompositionOfGDPInPeriod 地政学的地域, IndustryAttribute, 実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n sectorCompositionOfGDP 地政学的地域, IndustryAttribute and 実数 は 時間位置 の during holds %n{ない} |
(<=>
(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 地政学的地域, IndustryAttribute, 実数 の 測定単位(s) and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n sectorValueOfGDP 地政学的地域, IndustryAttribute and 実数 の 測定単位(s) は 時間位置 の during holds %n{ない} |
(<=>
(stepfather ?P ?F)
(exists (?M)
(and
(mother ?P ?M)
(spouse ?F ?M)
(not
(father ?P ?F))))) |
Mid-level-ontology.kif 23152-23159 |
stepfather 人［人間］ and Man 人［人間］ 人［人間］ は 人［人間］ の mother では %n spouse Man and 人［人間］ Man は 人［人間］ の father では |
(<=>
(stepmother ?P ?M)
(exists (?F)
(and
(father ?P ?F)
(spouse ?M ?F)
(not
(mother ?P ?M))))) |
Mid-level-ontology.kif 23169-23176 |
stepmother 人［人間］ and Woman 人［人間］ 人［人間］ は 人［人間］ の father では %n spouse Woman and 人［人間］ Woman は 人［人間］ の mother では |
(<=>
(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 1277-1287 |
totalFacilityTypeInArea 地理的地域, AirportWithPavedRunway に対する class and 非負整数 記号文字列 エンティティー cardinality 記号文字列で記述される class and 非負整数 |
(<=>
(totalGDPInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(totalGDP ?AREA ?AMOUNT))))) |
Economy.kif 958-963 |
totalGDPInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n totalGDP 地政学的地域 and 通貨測定 は 時間位置 の during holds %n{ない} |
(<=>
(uncle ?U ?H)
(exists (?P)
(and
(brother ?U ?P)
(parent ?H ?P)))) |
Mid-level-ontology.kif 23137-23142 |
uncle Man and 人［人間］ 人［人間］ brother Man and 人［人間］ 人［人間］ は 人［人間］ の parent では %n |
(<=>
(unemploymentRateOfAreaInPeriod ?AREA ?RATE ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(unemploymentRateOfArea ?AREA ?RATE))))) |
Economy.kif 1456-1461 |
unemploymentRateOfAreaInPeriod 地政学的地域, 実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n unemploymentRateOfArea 地政学的地域 and 実数 は 時間位置 の during holds %n{ない} |
(<=>
(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 968-975 |
yearOfFounding 組織 and 整数 工程 整数EAR 整数EAR は 工程 の time の existence と overlaps %n{dない} 整数EAR は 整数 year 目 の instance では %n 工程 は Founding の instance では %n 組織 は 工程 の result では %n |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
