<=> |
![]() |
(<=> (measure ?OBJ (MeasureFn ?DEG AngularDegree)) (measure ?OBJ (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcMinute))) |
Geography.kif 378-380 | 物理 の measure は 実数 の AngularDegree(s) では %n 物理 の measure は 60.0 + 実数 の ArcMinute(s) では %n |
(<=> (measure ?OBJ (MeasureFn ?DEG ArcMinute)) (measure ?OBJ (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcSecond))) |
Geography.kif 397-399 | 物理 の measure は 実数 の ArcMinute(s) では %n 物理 の measure は 60.0 + 実数 の ArcSecond(s) では %n |
(<=> (measure ?OBJECT (MeasureFn ?NUMBER OunceMass)) (measure ?OBJECT (MeasureFn (DivisionFn ?NUMBER 16.0) PoundMass))) |
Mid-level-ontology.kif 13325-13330 | 物理 の measure は 実数 の OunceMass(s) では %n 物理 の measure は 実数 + 16.0 の PoundMass(s) では %n |
(<=> (measure ?SOLUTION (MeasureFn ?PH PHValue)) (potentialOfHydrogen ?SOLUTION ?PH)) |
Geography.kif 2548-2551 | 溶液 の measure は 実数 の PHValue(s) では %n potentialOfHydrogen 溶液 and 実数 |
(<=> (member ?PART InternationalRedCrossAndRedCrescentMovement) (member ?PART InternationalFederationOfRedCrossAndRedCrescentSocieties)) |
Government.kif 3603-3605 | 物理 は InternationalRedCrossAndRedCrescentMovement の member では %n 物理 は InternationalFederationOfRedCrossAndRedCrescentSocieties の member では %n |
(<=> (memberAtTime ?OBJ ?COLLECTION ?TIME) (holdsDuring ?TIME (member ?OBJ ?COLLECTION))) |
Mid-level-ontology.kif 22702-22704 | 自己接続オブジェクト は 時間位置 の最中 コレクション の member では %n 自己接続オブジェクト は コレクション の member では %n は 時間位置 の during holds %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 13849-13856 | ステートメント 公式 には Legal の modal force が ある 公式 ステートメント 公式 には Law の modal force が ある consistent 公式 and 公式 |
(<=> (modalAttribute ?FORMULA Necessity) (not (modalAttribute (not ?FORMULA) Possibility))) |
Merge.kif 17438-17440 | ステートメント 公式 には Necessity の modal force が ある ステートメント 公式 には Possibility の modal force が ない %p{ある} |
(<=> (modalAttribute ?FORMULA Obligation) (not (modalAttribute (not ?FORMULA) Permission))) |
Merge.kif 17501-17503 | ステートメント 公式 には Obligation の modal force が ある ステートメント 公式 には Permission の modal force が ない %p{ある} |
(<=> (modalAttribute ?FORMULA Prohibition) (not (modalAttribute ?FORMULA Permission))) |
Merge.kif 17537-17539 | ステートメント 公式 には Prohibition の modal force が ある ステートメント 公式 には Permission の modal force が ない %p{ある} |
(<=> (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 23108-23113 | nephew Man and 人[人間] 物 物 は 人[人間] の father では %n son Man and 物 |
(<=> (niece ?N ?H) (exists (?S) (and (sibling ?S ?H) (daughter ?N ?S)))) |
Mid-level-ontology.kif 23122-23127 | niece Woman and 人[人間] 物 物 は 人[人間] の father では %n daughter Woman and 物 |
(<=> (orientation ?OBJ ?REGION Outside) (not (partlyLocated ?OBJ ?REGION))) |
Mid-level-ontology.kif 9118-9121 | オブジェクト は Outside 対 オブジェクト では %n オブジェクト は partly に オブジェクト に 位置して |
(<=> (orientation ?OBJ1 ?OBJ2 Adjacent) (or (orientation ?OBJ1 ?OBJ2 Near) (connected ?OBJ1 ?OBJ2))) |
Merge.kif 17125-17129 | オブジェクト は Adjacent 対 オブジェクト では %n オブジェクト は Near 対 オブジェクト では %n オブジェクト は オブジェクト と connected して |
(<=> (orientation ?OBJ1 ?OBJ2 Below) (or (orientation ?OBJ2 ?OBJ1 On) (orientation ?OBJ2 ?OBJ1 Above))) |
Merge.kif 17113-17117 | オブジェクト は Below 対 オブジェクト では %n オブジェクト は On 対 オブジェクト では %n オブジェクト は Above 対 オブジェクト では %n |
(<=> (orientation ?OBJ1 ?OBJ2 East) (orientation ?OBJ2 ?OBJ1 West)) |
Merge.kif 17050-17052 | オブジェクト は East 対 オブジェクト では %n オブジェクト は West 対 オブジェクト では %n |
(<=> (orientation ?OBJ1 ?OBJ2 Horizontal) (orientation ?OBJ2 ?OBJ1 Horizontal)) |
Merge.kif 17067-17069 | オブジェクト は Horizontal 対 オブジェクト では %n オブジェクト は Horizontal 対 オブジェクト では %n |
(<=> (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ2 ?OBJ1 South)) |
Merge.kif 17040-17042 | オブジェクト は North 対 オブジェクト では %n オブジェクト は South 対 オブジェクト では %n |
(<=> (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 Right) (orientation ?OBJ2 ?OBJ1 Left)) |
Merge.kif 17146-17148 | オブジェクト は Right 対 オブジェクト では %n オブジェクト は Left 対 オブジェクト では %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 |
![]() |