|
| (<=> (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 7758-7766 | オブジェクト は オブジェクト よりも 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 は 長さ測定 では |
| (<=> (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 物 |
| (<=> (orientation ?OBJ1 ?OBJ2 Northeast) (and (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ1 ?OBJ2 East))) |
Geography.kif 3653-3657 | オブジェクト は Northeast 対 オブジェクト では %n オブジェクト は North 対 オブジェクト では %n オブジェクト は East 対 オブジェクト では %n |
| (<=> (orientation ?OBJ1 ?OBJ2 Northwest) (and (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ1 ?OBJ2 West))) |
Geography.kif 3688-3692 | オブジェクト は Northwest 対 オブジェクト では %n オブジェクト は North 対 オブジェクト では %n オブジェクト は West 対 オブジェクト では %n |
| (<=> (orientation ?OBJ1 ?OBJ2 Southeast) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 East))) |
Geography.kif 3664-3668 | オブジェクト は Southeast 対 オブジェクト では %n オブジェクト は South 対 オブジェクト では %n オブジェクト は East 対 オブジェクト では %n |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners