(<=>
(instance ?STATE StateOrProvince)
(instance
(GovernmentFn ?STATE) StateGovernment)) |
Mid-level-ontology.kif 8325-8327 |
地政学的地域 は 州 の instance では %n 地政学的地域 の government は StateGovernment の instance では %n |
(<=>
(instance ?VERT Vertebrate)
(exists (?SPINE)
(and
(instance ?VERT Animal)
(component ?SPINE ?VERT)
(instance ?SPINE SpinalColumn)))) |
Mid-level-ontology.kif 10943-10949 |
微粒子オブジェクト は 脊椎動物 の instance では %n 微粒子オブジェクト 微粒子オブジェクト は 動物 の instance では %n 微粒子オブジェクト は 微粒子オブジェクト の component では %n 微粒子オブジェクト は SpinalColumn の instance では %n |
(<=>
(instance ?X DifferentialEquation)
(instance ?X
(AttrFn Equation DifferentialAttribute))) |
engineering.kif 155-157 |
エンティティー は DifferentialEquation の instance では %n エンティティー は AttrFn Equation and DifferentialAttribute の 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 |
(<=>
(larger ?OBJ1 ?OBJ2)
(forall (?QUANT1 ?QUANT2 ?UNIT)
(=>
(and
(measure ?OBJ1
(MeasureFn ?QUANT1 ?UNIT))
(measure ?OBJ2
(MeasureFn ?QUANT2 ?UNIT))
(instance ?UNIT UnitOfLength))
(greaterThan ?QUANT1 ?QUANT2)))) |
Merge.kif 7780-7788 |
オブジェクト は オブジェクト よりも larger %n 実数 実数 and 測定単位 |
(<=>
(lengthOfBroadGaugeRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS BroadGaugeRailway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 182-189 |
lengthOfBroadGaugeRailway 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=>
(lengthOfCrudeOilPipeline ?AREA ?LENGTH)
(length
(KappaFn ?PIPELINE
(and
(instance ?PIPELINE CrudeOilPipeline)
(located ?PIPELINE ?AREA))) ?LENGTH)) |
Transportation.kif 712-719 |
lengthOfCrudeOilPipeline 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=>
(lengthOfDualGaugeRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS DualGaugeRailway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 210-217 |
lengthOfDualGaugeRailway 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=>
(lengthOfElectrifiedRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS ElectrifiedRailway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 126-133 |
lengthOfElectrifiedRailway 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=>
(lengthOfExpresswaySystem ?AREA ?LENGTH)
(length
(KappaFn ?HIGHWAYS
(and
(instance ?HIGHWAYS Expressway)
(located ?HIGHWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 568-575 |
lengthOfExpresswaySystem 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=>
(lengthOfMultipleTrackRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS MultipleTrackRailway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 154-161 |
lengthOfMultipleTrackRailway 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=>
(lengthOfNarrowGaugeRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS NarrowGaugeRailway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 237-244 |
lengthOfNarrowGaugeRailway 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=>
(lengthOfNaturalGasPipeline ?AREA ?LENGTH)
(length
(KappaFn ?PIPELINE
(and
(instance ?PIPELINE NaturalGasPipeline)
(located ?PIPELINE ?AREA))) ?LENGTH)) |
Transportation.kif 735-742 |
lengthOfNaturalGasPipeline 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=>
(lengthOfPavedHighway ?AREA ?LENGTH)
(length
(KappaFn ?HIGHWAYS
(and
(instance ?HIGHWAYS SurfacedRoadway)
(located ?HIGHWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 542-549 |
lengthOfPavedHighway 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=>
(lengthOfPetroleumProductPipeline ?AREA ?LENGTH)
(length
(KappaFn ?PIPELINE
(and
(instance ?PIPELINE PetroleumProductPipeline)
(located ?PIPELINE ?AREA))) ?LENGTH)) |
Transportation.kif 758-765 |
lengthOfPetroleumProductPipeline 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=>
(lengthOfStandardGaugeRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS StandardGaugeRailway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 265-272 |
lengthOfStandardGaugeRailway 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=>
(lengthOfUnclassifiedGaugeRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(located ?RAILWAYS ?AREA)
(not
(instance ?RAILWAYS
(UnionFn StandardGaugeRailway
(UnionFn BroadGaugeRailway
(UnionFn DualGaugeRailway NarrowGaugeRailway))))))) ?LENGTH)) |
Transportation.kif 294-306 |
lengthOfUnclassifiedGaugeRailway 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=>
(lengthOfUnpavedHighway ?AREA ?LENGTH)
(length
(KappaFn ?HIGHWAYS
(and
(instance ?HIGHWAYS UnsurfacedRoadway)
(located ?HIGHWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 601-608 |
lengthOfUnpavedHighway 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=>
(lessThanOrEqualTo ?NUMBER1 ?NUMBER2)
(or
(equal ?NUMBER1 ?NUMBER2)
(lessThan ?NUMBER1 ?NUMBER2))) |
Merge.kif 1867-1871 |
実数 は 実数 より less または同等 では %n 実数 は 実数 と equal では %n 実数 は 実数 より less では %n |
(<=>
(locatedAtTime ?OBJ ?TIME ?PLACE)
(holdsDuring ?TIME
(located ?OBJ ?PLACE))) |
Mid-level-ontology.kif 23307-23309 |
locatedAtTime オブジェクト, 時間位置 and オブジェクト オブジェクト は オブジェクト に located して %n は 時間位置 の during holds %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 30284-30298 |
工程 は Harmless の方法で実行され %n 工程 は 損害を与える の instance では 工程2 工程2 は 損害を与える の instance では %n 工程2 は 工程% の subprocess では %n 工程2 工程2 は 損害を与える の instance では %n 工程 は 工程2 を causes %n{ない} |
(<=>
(measure ?O
(MeasureFn ?A MetricTon))
(measure ?O
(MeasureFn
(MultiplicationFn ?A 2205.0) PoundMass))) |
Mid-level-ontology.kif 13604-13610 |
物理 の measure は 実数 の MetricTon(s) では %n 物理 の measure は 実数 + 2205.0 の PoundMass(s) では %n |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |