SubtractionFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SubtractionFn ChineseLanguage "如果 ?NUMBER1 和 ?NUMBER2 是 Number,那么 (SubtractionFn ?NUMBER1 ?NUMBER2) 就是 ?NUMBER1 和 ?NUMBER2 的算术差，即使 ?NUMBER1 减 ?NUMBER2，除了在 ?NUMBER1 等于0时，那么(SubtractionFn ?NUMBER1 ?NUMBER2)就是 ?NUMBER2 的负数。")	chinese_format.kif 2216-2219
(documentation SubtractionFn EnglishLanguage "If ?NUMBER1 and ?NUMBER2 are Numbers, then (SubtractionFn ?NUMBER1 ?NUMBER2) is the arithmetical difference between ?NUMBER1 and ?NUMBER2, i.e. ?NUMBER1 minus ?NUMBER2. An exception occurs when ?NUMBER1 is equal to 0, in which case (SubtractionFn ?NUMBER1 ?NUMBER2) is the negation of ?NUMBER2.")	Merge.kif 4758-4762
(documentation SubtractionFn JapaneseLanguage "?NUMBER1 と ?NUMBER2 が Number の場合、 (SubtractionFn ?NUMBER1 ?NUMBER2) は ?NUMBER1 と ?NUMBER2 の算術差です。すなわち、?NUMBER1 マイナス ?NUMBER2。例外は、?NUMBER1 が 0 に等しい場合に発生し、その場合 (SubtractionFn ?NUMBER1 ?NUMBER2) は　?NUMBER2の否定である。")	japanese_format.kif 880-883
(domain SubtractionFn 1 RealNumber)	Merge.kif 4754-4754	SubtractionFn の数値 1 引数は実数の instance では
(domain SubtractionFn 2 RealNumber)	Merge.kif 4755-4755	SubtractionFn の数値 2 引数は実数の instance では
(identityElement SubtractionFn 0)	Merge.kif 5324-5324	0 は SubtractionFn の identity 要素では
(instance SubtractionFn BinaryFunction)	Merge.kif 4751-4751	SubtractionFn は 2変数関数の instance では
(instance SubtractionFn TotalValuedRelation)	Merge.kif 4753-4753	SubtractionFn は合計値関係の instance では
(range SubtractionFn RealNumber)	Merge.kif 4756-4756	SubtractionFn の range は実数のインスタンスでは

appearance as argument number 2

(format ChineseLanguage SubtractionFn "(%*[-])")	chinese_format.kif 684-684
(format EnglishLanguage SubtractionFn "(%*[-])")	english_format.kif 686-686
(format FrenchLanguage SubtractionFn "(%*[-])")	french_format.kif 415-415
(format ItalianLanguage SubtractionFn "(%*[-]")	relations-it.txt 285-285
(format JapaneseLanguage SubtractionFn "(%*[-])")	japanese_format.kif 2132-2132
(format PortugueseLanguage SubtractionFn "(%*[-])")	portuguese_format.kif 367-367
(format cz SubtractionFn "(%*[-])")	relations-cz.txt 424-424
(format de SubtractionFn "(%*[-])")	relations-de.txt 891-891
(format hi SubtractionFn "(%*[-]")	relations-hindi.txt 322-322
(format ro SubtractionFn "(%*[-])")	relations-ro.kif 437-437
(format sv SubtractionFn "(%*[-])")	relations-sv.txt 459-459
(format tg SubtractionFn "(%*[-]")	relations-tg.txt 477-477
(termFormat ChineseLanguage SubtractionFn "减法")	domainEnglishFormat.kif 55858-55858
(termFormat ChineseLanguage SubtractionFn "减法函数")	chinese_format.kif 685-685
(termFormat ChineseTraditionalLanguage SubtractionFn "減法")	domainEnglishFormat.kif 55857-55857
(termFormat EnglishLanguage SubtractionFn "subtraction")	domainEnglishFormat.kif 55856-55856
(termFormat de SubtractionFn "SubtraktionFn")	terms-de.txt 264-264

antecedent

(=> (and (currentAccountBalance ?Account ?Date (MeasureFn ?Balance UnitedStatesDollar)) (lessThan ?Balance 0) (equal ?Overdraft (SubtractionFn 0 ?Balance))) (overdraft ?Account (MeasureFn ?Overdraft UnitedStatesDollar) ?Date))	FinancialOntology.kif 785-790	currentAccountBalance FinancialAccount, 日 and 実数の UnitedStatesDollar(s) 実数は 0 より less では equal 実数 and (0 + 実数) overdraft FinancialAccount, 実数の UnitedStatesDollar(s) and 日
(=> (and (downPayment ?Loan (MeasureFn ?Amount ?CUNIT)) (loanForPurchase ?Loan ?Purchase) (monetaryValue ?Purchase (MeasureFn ?Value ?CUNIT)) (equal ?Balance (SubtractionFn ?Value ?Amount))) (originalBalance ?Loan (MeasureFn ?Balance ?CUNIT)))	FinancialOntology.kif 820-830	downPayment Loan and 実数の測定単位(s) loanForPurchase Loan and オブジェクトオブジェクトの value は実数の測定単位(s) では equal 実数 and ( 実数 + 実数) originalBalance Loan and 実数の測定単位(s)
(=> (and (equal ?OUT (ReverseFn ?IN)) (equal ?LEN (StringLengthFn ?IN)) (greaterThan ?LEN 1) (greaterThan ?N 0) (lessThan ?N ?LEN) (equal ?PIVOT (CeilingFn (DivisionFn (SubtractionFn ?LEN 1) 2))) (equal ?NEW (AdditionFn (SubtractionFn ?PIVOT ?N) ?PIVOT)) (equal ?S (SubstringFn ?IN ?N (AdditionFn 1 ?N)))) (equal ?S (SubstringFn ?OUT ?NEW (AdditionFn 1 ?NEW))))	Media.kif 3052-3073	equal 記号文字列 and ReverseFn 記号文字列 equal 非負整数 and StringLengthFn 記号文字列非負整数は 1 より greater では　非負整数は 0 より greater では　非負整数は非負整数より less では equal 整数 and ( 非負整数 + 1) + 2 の ceiling equal 非負整数EW and (( 整数 + 非負整数) + 整数) equal 記号文字列 and SubstringFn 記号文字列, 非負整数 and (1 + 非負整数) equal 記号文字列 and SubstringFn 記号文字列, 非負整数EW and (1 + 非負整数EW)
(=> (and (equal ?R (SubListFn ?S ?E ?L)) (equal (SubtractionFn ?E ?S) 0)) (equal ?R NullList))	Merge.kif 3183-3190	equal リスト and SubListFn 整数, 整数 and リスト equal ( 整数 + 整数) and 0 equal リスト and NullList
(=> (and (equal ?R (SubListFn ?S ?E ?L)) (equal (SubtractionFn ?E ?S) 1)) (equal ?R (ListFn (ListOrderFn ?L ?S))))	Merge.kif 3192-3201	equal リスト and SubListFn 正の整数, 整数 and リスト equal ( 整数 + 正の整数) and 1 equal リスト and ( リストの正の整数th element)
(=> (and (equal ?R (SubListFn ?S ?E ?L)) (greaterThan (SubtractionFn ?E ?S) 1)) (equal ?R (ListConcatenateFn (ListFn (ListOrderFn ?L ?S)) (SubListFn (AdditionFn 1 ?S) ?E ?L))))	Merge.kif 3203-3215	equal リスト and SubListFn 正の整数, 整数 and リスト ( 整数 + 正の整数) は 1 より greater では　 equal リスト and ( リストの正の整数th element) と SubListFn (1 + 正の整数), 整数 and リストで構成される list
(=> (and (holdsDuring ?T1 (attribute ?F Menopausal)) (equal ?BEFORE (SubtractionFn (MeasureFn 1 YearDuration) (BeginFn ?T1))) (equal ?YBEFORE (TimeIntervalFn ?YBEFORE (BeginFn ?T1)))) (not (exists (?M) (and (instance ?M Menstruation) (experiencer ?M ?F)))))	Mid-level-ontology.kif 25535-25549	Menopausal は AutonomousAgent の attribute ではは時間間隔の during holds equal 実数 and (1 の YearDuration(s) + 時間間隔の beginning) equal 時間間隔 and 時間間隔と時間間隔の beginning の interval 工程工程は Menstruation の instance では AutonomousAgent が工程を experiences
(=> (and (incomeEarned ?Agent (MeasureFn ?Income ?CU) ?Activity) (amountCharged ?Tax (MeasureFn ?TaxAmount ?CU)) (causes ?Activity ?Tax) (equal ?ATIncome (SubtractionFn ?Income ?TaxAmount))) (afterTaxIncome ?Agent (MeasureFn ?ATIncome ?CU) ?Activity))	FinancialOntology.kif 3348-3358	incomeEarned 人［人間］, 実数の測定単位(s) and 組織プロセス amountCharged ChargingAFee and ChargingAFeeAmount の測定単位(s) 組織プロセスは ChargingAFee を causes equal 実数 and ( 実数 + ChargingAFeeAmount) afterTaxIncome 人［人間］, 実数の測定単位(s) and 組織プロセス
(=> (and (instance ?DAY1 (DayFn ?NUMBER1 ?MONTH)) (instance ?DAY2 (DayFn ?NUMBER2 ?MONTH)) (equal (SubtractionFn ?NUMBER2 ?NUMBER1) 1)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 8716-8721	時間間隔は正の整数 day 目の instance では時間間隔は正の整数 day 目の instance では equal ( 正の整数 + 正の整数) and 1 時間間隔は時間間隔に meets
(=> (and (instance ?G StrongGust) (eventLocated ?G ?R) (instance ?R GeographicArea) (equal (ThreeSecondGustSpeedFn ?R (WhenFn ?G)) (MeasureFn ?TOP MilesPerHour)) (earlier ?T (WhenFn ?G)) (holdsDuring ?T (surfaceWindSpeed ?R (MeasureFn ?BASE MilesPerHour))) (equal ?DIFF (SubtractionFn ?TOP ?BASE))) (and (greaterThan ?DIFF 17) (lessThanOrEqualTo ?DIFF 29)))	Weather.kif 1930-1946	工程は StrongGust の instance では eventLocated 工程 and 地理的地域地理的地域は地理的地域の instance では equal ThreeSecondGustSpeedFn 地理的地域 and 工程の time の existence and 実数の MilesPerHour(s) 時間間隔は工程の time の existence より earlier happens surfaceWindSpeed 地理的地域 and 実数の MilesPerHour(s) は時間間隔の during holds equal 実数 and ( 実数 + 実数) 実数は 17 より greater では　実数は 29 より less または同等では
(=> (and (instance ?G ViolentGust) (eventLocated ?G ?R) (instance ?R GeographicArea) (equal (ThreeSecondGustSpeedFn ?R (WhenFn ?G)) (MeasureFn ?TOP MilesPerHour)) (earlier ?T (WhenFn ?G)) (holdsDuring ?T (surfaceWindSpeed ?R (MeasureFn ?BASE MilesPerHour))) (equal ?DIFF (SubtractionFn ?TOP ?BASE))) (greaterThan ?DIFF 29))	Weather.kif 1953-1967	工程は ViolentGust の instance では eventLocated 工程 and 地理的地域地理的地域は地理的地域の instance では equal ThreeSecondGustSpeedFn 地理的地域 and 工程の time の existence and 実数の MilesPerHour(s) 時間間隔は工程の time の existence より earlier happens surfaceWindSpeed 地理的地域 and 実数の MilesPerHour(s) は時間間隔の during holds equal 実数 and ( 実数 + 実数) 実数は 29 より greater では
(=> (and (instance ?G WeakGust) (eventLocated ?G ?R) (instance ?R GeographicArea) (equal (ThreeSecondGustSpeedFn ?R (WhenFn ?G)) (MeasureFn ?TOP MilesPerHour)) (earlier ?T (WhenFn ?G)) (holdsDuring ?T (surfaceWindSpeed ?R (MeasureFn ?BASE MilesPerHour))) (equal ?DIFF (SubtractionFn ?TOP ?BASE))) (and (greaterThanOrEqualTo ?DIFF 12) (lessThanOrEqualTo ?DIFF 17)))	Weather.kif 1907-1923	工程は WeakGust の instance では eventLocated 工程 and 地理的地域地理的地域は地理的地域の instance では equal ThreeSecondGustSpeedFn 地理的地域 and 工程の time の existence and 実数の MilesPerHour(s) 時間間隔は工程の time の existence より earlier happens surfaceWindSpeed 地理的地域 and 実数の MilesPerHour(s) は時間間隔の during holds equal 実数 and ( 実数 + 実数) 実数は 12 greater では　実数は 17 より less または同等では
(=> (and (instance ?G WindGust) (eventLocated ?G ?R) (instance ?R GeographicArea) (equal (ThreeSecondGustSpeedFn ?R (WhenFn ?G)) (MeasureFn ?TOP MilesPerHour)) (earlier (WhenFn ?G) ?T) (holdsDuring ?T (surfaceWindSpeed ?R (MeasureFn ?BASE MilesPerHour))) (equal ?DIFF (SubtractionFn ?TOP ?BASE))) (greaterThanOrEqualTo ?DIFF 10))	Weather.kif 1886-1900	工程は WindGust の instance では eventLocated 工程 and 地理的地域地理的地域は地理的地域の instance では equal ThreeSecondGustSpeedFn 地理的地域 and 工程の time の existence and 実数の MilesPerHour(s) 工程の time の existence は時間間隔より earlier happens surfaceWindSpeed 地理的地域 and 実数の MilesPerHour(s) は時間間隔の during holds equal 実数 and ( 実数 + 実数) 実数は 10 greater では
(=> (and (instance ?G WindGust) (eventLocated ?G ?R) (instance ?R GeographicArea) (equal (ThreeSecondGustSpeedFn ?R (WhenFn ?G)) (MeasureFn ?TOP MilesPerHour)) (earlier ?T (WhenFn ?G)) (holdsDuring ?T (surfaceWindSpeed ?R (MeasureFn ?BASE MilesPerHour))) (equal ?DIFF (SubtractionFn ?TOP ?BASE))) (and (greaterThanOrEqualTo ?TOP 18) (greaterThanOrEqualTo ?DIFF 10)))	Weather.kif 1868-1884	工程は WindGust の instance では eventLocated 工程 and 地理的地域地理的地域は地理的地域の instance では equal ThreeSecondGustSpeedFn 地理的地域 and 工程の time の existence and 実数の MilesPerHour(s) 時間間隔は工程の time の existence より earlier happens surfaceWindSpeed 地理的地域 and 実数の MilesPerHour(s) は時間間隔の during holds equal 実数 and ( 実数 + 実数) 実数は 18 greater では　実数は 10 greater では
(=> (and (instance ?HOUR1 (HourFn ?NUMBER1 ?DAY)) (instance ?HOUR2 (HourFn ?NUMBER2 ?DAY)) (equal (SubtractionFn ?NUMBER2 ?NUMBER1) 1)) (meetsTemporally ?HOUR1 ?HOUR2))	Merge.kif 8742-8747	時間間隔は非負整数 hour 目の instance では時間間隔は非負整数 hour 目の instance では equal ( 非負整数 + 非負整数) and 1 時間間隔は時間間隔に meets
(=> (and (instance ?MINUTE1 (MinuteFn ?NUMBER1 ?HOUR)) (instance ?MINUTE2 (MinuteFn ?NUMBER2 ?HOUR)) (equal (SubtractionFn ?NUMBER2 ?NUMBER1) 1)) (meetsTemporally ?MINUTE1 ?MINUTE2))	Merge.kif 8769-8774	時間間隔は非負整数 minute 目の instance では時間間隔は非負整数 minute 目の instance では equal ( 非負整数 + 非負整数) and 1 時間間隔は時間間隔に meets
(=> (and (instance ?Payment Payment) (origin ?Payment (CurrencyFn ?Account)) (instance ?Account FinancialAccount) (transactionAmount ?Payment (MeasureFn ?Amount ?CUNIT)) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Payment)) (MeasureFn ?Balance1 ?CUNIT)) (equal ?Balance2 (SubtractionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (WhenFn ?Payment)) (MeasureFn ?Balance2 ?CUNIT)))	FinancialOntology.kif 410-426	金融取引は Payment の instance では金融取引は CurrencyFn FinancialAccount から originates FinancialAccount は FinancialAccount の instance では transactionAmount 金融取引 and 実数の測定単位(s) currentAccountBalance FinancialAccount, 金融取引の time の existence の immediately before and 実数の測定単位(s) equal 実数 and ( 実数 + 実数) currentAccountBalance FinancialAccount, 金融取引の time の existence のすぐ after and 実数の測定単位(s)
(=> (and (instance ?S Squall) (eventLocated ?S ?R) (instance ?R GeographicArea) (holdsDuring (WhenFn ?S) (surfaceWindSpeed ?R (MeasureFn ?TOP MilesPerHour))) (earlier ?T (WhenFn ?S)) (holdsDuring ?T (surfaceWindSpeed ?R (MeasureFn ?BASE MilesPerHour))) (equal ?DIFF (SubtractionFn ?TOP ?BASE))) (and (greaterThanOrEqualTo ?TOP 25) (greaterThanOrEqualTo ?DIFF 18)))	Weather.kif 1820-1837	工程は Squall の instance では eventLocated 工程 and オブジェクトオブジェクトは地理的地域の instance では surfaceWindSpeed オブジェクト and 実数の MilesPerHour(s) は工程の time の existence の during holds 時間間隔は工程の time の existence より earlier happens surfaceWindSpeed オブジェクト and 実数の MilesPerHour(s) は時間間隔の during holds equal 実数 and ( 実数 + 実数) 実数は 25 greater では　実数は 18 greater では
(=> (and (instance ?SECOND1 (SecondFn ?NUMBER1 ?MINUTE)) (instance ?SECOND2 (SecondFn ?NUMBER2 ?MINUTE)) (equal (SubtractionFn ?NUMBER2 ?NUMBER1) 1)) (meetsTemporally ?SECOND1 ?SECOND2))	Merge.kif 8796-8801	時間間隔は正の整数 second 目の instance では時間間隔は正の整数 second 目の instance では equal ( 正の整数 + 正の整数) and 1 時間間隔は時間間隔に meets
(=> (and (instance ?Withdrawal Withdrawal) (instance ?Account FinancialAccount) (origin ?Withdrawal ?Account) (transactionAmount ?Withdrawal (MeasureFn ?Amount ?CUNIT)) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Withdrawal)) (MeasureFn ?Balance1 ?CUNIT)) (equal ?Balance2 (SubtractionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (FutureFn ?Withdrawal)) (MeasureFn ?Balance2 ?CUNIT)))	FinancialOntology.kif 468-483	金融取引は Withdrawal の instance では FinancialAccount は FinancialAccount の instance では金融取引は FinancialAccount から originates transactionAmount 金融取引 and 実数の測定単位(s) currentAccountBalance FinancialAccount, 金融取引の time の existence の immediately before and 実数の測定単位(s) equal 実数 and ( 実数 + 実数) currentAccountBalance FinancialAccount, 金融取引の after のすぐ after and 実数の測定単位(s)
(=> (and (instance ?Y1 (YearFn ?N1)) (instance ?Y2 (YearFn ?N2)) (equal (SubtractionFn ?N2 ?N1) 1)) (meetsTemporally ?Y1 ?Y2))	Merge.kif 8861-8866	時間間隔は整数 year 目の instance では時間間隔は整数 year 目の instance では equal ( 整数 + 整数) and 1 時間間隔は時間間隔に meets
(=> (and (orientation ?OBJ ?REGION Outside) (instance ?ZONE (PerimeterAreaFn ?REGION)) (instance ?ZONE UniformPerimeterArea) (width ?ZONE (MeasureFn ?LIMIT ?UNIT)) (distance ?OBJ ?REGION (MeasureFn ?FAR ?UNIT)) (instance ?UNIT UnitOfMeasure) (greaterThan (SubtractionFn ?FAR ?LIMIT) 0.0)) (not (located ?OBJ ?ZONE)))	Geography.kif 1028-1037	オブジェクトは Outside 対地域ではオブジェクトは PerimeterAreaFn 地域の instance ではオブジェクトは UniformPerimeterArea の instance ではオブジェクトの width は実数の測定単位(s) ではオブジェクトと地域の distance は実数の測定単位(s) では測定単位は測定単位の instance では ( 実数 + 実数) は 0.0 より greater では　オブジェクトはオブジェクトに located して
(=> (and (orientation ?OBJ ?REGION Outside) (instance ?ZONE (PerimeterAreaFn ?REGION)) (instance ?ZONE UniformPerimeterArea) (width ?ZONE (MeasureFn ?LIMIT ?UNIT)) (distance ?OBJ ?REGION (MeasureFn ?FAR ?UNIT)) (instance ?UNIT UnitOfMeasure) (lessThanOrEqualTo (SubtractionFn ?FAR ?LIMIT) 0.0)) (located ?OBJ ?ZONE))	Geography.kif 1017-1026	オブジェクトは Outside 対地域ではオブジェクトは PerimeterAreaFn 地域の instance ではオブジェクトは UniformPerimeterArea の instance ではオブジェクトの width は実数の測定単位(s) ではオブジェクトと地域の distance は実数の測定単位(s) では測定単位は測定単位の instance では ( 実数 + 実数) は 0.0 より less または同等ではオブジェクトはオブジェクトに located して

consequent

(<=> (and (equal (AbsoluteValueFn ?NUMBER1) ?NUMBER2) (instance ?NUMBER1 RealNumber) (instance ?NUMBER2 RealNumber)) (or (and (instance ?NUMBER1 NonnegativeRealNumber) (equal ?NUMBER1 ?NUMBER2)) (and (instance ?NUMBER1 NegativeRealNumber) (equal ?NUMBER2 (SubtractionFn 0.0 ?NUMBER1)))))	Merge.kif 4796-4807	equal 実数の absolute value and 非負実数実数は実数の instance では非負実数は実数の instance では実数は非負実数の instance では equal 実数 and 非負実数実数は負の実数の instance では equal 非負実数 and (0.0 + 実数)
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (MigrantsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (SubtractionFn ?Y ?PY) 1) (instance ?PREVIOUSYEAR (YearFn ?PY)) (holdsDuring ?YEAR (equal (PopulationFn ?AREA) ?POPULATION)) (equal (DivisionFn ?POPULATION 1000) ?THOUSANDS) (equal ?IMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring ?PREVIOUSYEAR (not (inhabits ?PERSON ?AREA))) (holdsDuring ?YEAR (inhabits ?PERSON ?AREA)))))) (equal ?EMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring ?PREVIOUSYEAR (inhabits ?PERSON ?AREA)) (holdsDuring ?YEAR (not (inhabits ?PERSON ?AREA))))))) (equal (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT) (equal (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 156-187	年は整数 year 目の instance では equal MigrantsPerThousandFn 地政学的地域 and 年 and 実数 equal ( 整数 + 整数) and 1 エンティティーは整数 year 目の instance では equal PopulationFn 地政学的地域 and 実数は年の during holds equal 実数 + 1000 and 実数 equal 整数 and エンティティー class の instances の数 equal 整数 and エンティティー class の instances の数 equal ( 整数 + 整数) and 実数 equal 実数 + 実数 and 実数
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (PopulationGrowthFn ?AREA ?YEAR) ?ADJUSTEDPERCENT)) (and (equal (SubtractionFn ?Y ?YP) 1) (instance ?PREVIOUSYEAR (YearFn ?YP)) (holdsDuring ?YEAR (equal (PopulationFn ?AREA) ?POPULATION)) (holdsDuring ?PREVIOUSYEAR (equal (PopulationFn ?AREA) ?PREVIOUSPOPULATION)) (equal (DivisionFn ?POPULATION ?PREVIOUSPOPULATION) ?PERCENT) (equal (SubtractionFn ?PERCENT 1) ?ADJUSTEDPERCENT)))	People.kif 52-64	年は整数 year 目の instance では equal PopulationGrowthFn 地政学的地域 and 年 and 実数 equal ( 整数 + 整数P) and 1 時間位置は整数P year 目の instance では equal PopulationFn 地政学的地域 and 実数は年の during holds equal PopulationFn 地政学的地域 and 実数は時間位置の during holds equal 実数 + 実数 and 実数 equal ( 実数 + 1) and 実数
(<=> (average ?LIST1 ?AVERAGE) (exists (?LIST2 ?LASTPLACE) (and (equal (ListLengthFn ?LIST2) (ListLengthFn ?LIST1)) (equal (ListOrderFn ?LIST2 1) (ListOrderFn ?LIST1 1)) (forall (?ITEMFROM2) (=> (inList ?ITEMFROM2 ?LIST2) (exists (?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2) (and (greaterThan ?POSITION 1) (lessThanOrEqualTo ?POSITION (ListLengthFn ?LIST2)) (equal (ListOrderFn ?LIST2 ?ITEMFROM2) ?POSITION) (inList ?ITEMFROM1 ?LIST1) (equal ?POSITION (ListOrderFn ?LIST1 ?ITEMFROM1)) (inList ?PRIORFROM2 ?LIST2) (equal ?POSITIONMINUSONE (SubtractionFn ?POSITION 1)) (equal ?POSITIONMINUSONE (ListOrderFn ?LIST2 ?PRIORFROM2)) (equal ?ITEMFROM2 (AdditionFn ?ITEMFROM1 ?PRIORFROM2)))))) (equal ?LASTPLACE (ListLengthFn ?LIST2)) (equal ?AVERAGE (DivisionFn (ListOrderFn ?LIST2 ?LASTPLACE) ?LASTPLACE)))))	People.kif 272-293	average リスト and 実数リスト正の整数 equal リストの length and リストの length equal リストの 1th element and リストの 1th element 正の整数正の整数はリストの member では実数実数MINUSONE, 正の整数 and 正の整数実数は 1 より greater では　実数はリストの length より less または同等では equal リストの正の整数th element and 実数正の整数はリストの member では equal 実数 and リストの正の整数th element 正の整数はリストの member では equal 実数MINUSONE and ( 実数 + 1) equal 実数MINUSONE and リストの正の整数th element equal 正の整数 and ( 正の整数 + 正の整数) equal 正の整数 and リストの length equal 実数 and リストの正の整数th element + 正の整数
(=> (and (equal ?VA (VarianceAverageFn ?M ?L)) (equal 1 (ListLengthFn ?L))) (equal ?VA (MultiplicationFn (SubtractionFn ?M (ListOrderFn ?L 1)) (SubtractionFn ?M (ListOrderFn ?L 1)))))	Weather.kif 2316-2327	equal 実数 and VarianceAverageFn 実数 and リスト equal 1 and リストの length equal 実数 and ( 実数 + リストの 1th element) + ( 実数 + リストの 1th element)
(=> (and (instance ?AREA GeographicArea) (objectGeographicCoordinates ?AREA ?LAT ?LONG) (equal (MeasureFn ?DEG AngularDegree) (MagneticDeclinationFn ?LAT ?LONG))) (exists (?TN) (and (headingWRTTrueNorth ?AREA (MeasureFn ?TN AngularDegree)) (headingWRTMagneticNorth ?AREA (MeasureFn (SubtractionFn ?TN ?DEG) AngularDegree)))))	Geography.kif 3966-3978	オブジェクトは地理的地域の instance では objectGeographicCoordinates オブジェクト, Latitude and Longitude equal 実数の AngularDegree(s) and MagneticDeclinationFn Latitude and Longitude 実数 headingWRTTrueNorth オブジェクト and 実数の AngularDegree(s) headingWRTMagneticNorth オブジェクト and ( 実数 + 実数) の AngularDegree(s)
(=> (and (instance ?D2 (DayFn ?N2 (MonthFn ?M (YearFn ?Y)))) (temporalPart ?D1 (WeekBeforeFn ?D2)) (temporalPart ?D2 (WeekAfterFn ?D1))) (exists (?N1) (and (instance ?D1 (DayFn ?N1 (MonthFn ?M (YearFn ?Y)))) (equal ?N1 (SubtractionFn ?N2 7)))))	Mid-level-ontology.kif 16210-16219	時間位置は正の整数 day 目の instance では時間位置は WeekBeforeFn 時間位置の part では時間位置は WeekAfterFn 時間位置の part では正の整数時間位置は正の整数 day 目の instance では equal 正の整数 and ( 正の整数 + 7)
(=> (and (instance ?QUANTITY1 Quantity) (instance ?QUANTITY2 Quantity)) (equal (LiftFn ?QUANTITY1 ?QUANTITY2) (DivisionFn (SubtractionFn ?QUANTITY1 ?QUANTITY2) ?QUANTITY2)))	UXExperimentalTerms.kif 4563-4571	実数は量の instance では実数は量の instance では equal LiftFn 実数 and 実数 and ( 実数 + 実数) + 実数
(=> (and (relativeAngle ?O1 ?O2 ?N) (physicalEnd ?E1 ?O1) (physicalEnd ?E2 ?O1) (not (equal ?E1 ?E2)) (length ?O1 (MeasureFn ?N1 ?U)) (length ?O2 (MeasureFn ?N2 ?U)) (distance ?E1 ?E3 (MeasureFn ?N3 ?U)) (physicalEnd ?E3 ?O2) (physicalEnd ?E4 ?O2) (not (equal ?E3 ?E4)) (not (meetsSpatially ?E1 ?E3))) (equal ?N (ArcCosineFn (DivisionFn (SubtractionFn (SubtractionFn (MultiplicationFn ?N3 ?N3) (MultiplicationFn ?N1 ?N1)) (MultiplicationFn ?N2 ?N2)) (MultiplicationFn 2.0 (MultiplicationFn ?N1 ?N2))))))	Merge.kif 18089-18114	relativeAngle オブジェクト, オブジェクト and 実数 physicalEnd オブジェクト and オブジェクト physicalEnd オブジェクト and オブジェクト equal オブジェクト and オブジェクトオブジェクトの length は実数の測定単位(s) ではオブジェクトの length は実数の測定単位(s) ではオブジェクトとオブジェクトの distance は実数の測定単位(s) では physicalEnd オブジェクト and オブジェクト physicalEnd オブジェクト and オブジェクト equal オブジェクト and オブジェクトオブジェクトはオブジェクトと meet ない equal 実数 and ArcCosineFn (( 実数 + 実数 + 実数 + 実数) + 実数 + 実数) + 2.0 + 実数 + 実数
(=> (and (resourceConsumption ?PROC ?QUANT) (instance ?QUANT ConstantQuantity) (resource ?PROC ?RES) (holdsDuring (BeginFn (WhenFn ?PROC)) (measure ?RES (MeasureFn ?X ?U))) (holdsDuring (EndFn (WhenFn ?PROC)) (measure ?RES (MeasureFn ?Y ?U)))) (equal ?QUANT (MeasureFn (SubtractionFn ?X ?Y) ?U)))	Mid-level-ontology.kif 18692-18708	resourceConsumption 工程 and 物理量物理量は一定量の instance ではオブジェクトは工程の resource ではオブジェクトの measure は実数の測定単位(s) ではは工程の time の existence の beginning の during holds オブジェクトの measure は実数の測定単位(s) ではは工程の time の existence の end の during holds equal 物理量 and ( 実数 + 実数) の測定単位(s)
(=> (and (resourceConsumption ?PROC ?QUANT) (instance ?QUANT FunctionQuantity) (resource ?PROC ?RES) (equal ?QUANT (PerFn (MeasureFn ?Q ?U) (MeasureFn ?DC ?DU))) (duration (WhenFn ?PROC) (MeasureFn ?T ?DU)) (holdsDuring (BeginFn (WhenFn ?PROC)) (measure ?RES (MeasureFn ?X ?U))) (holdsDuring (EndFn (WhenFn ?PROC)) (measure ?RES (MeasureFn ?Y ?U)))) (equal ?Y (MeasureFn (SubtractionFn ?X (MultiplicationFn ?T (DivisionFn ?Q ?DC))) ?U)))	Mid-level-ontology.kif 18748-18774	resourceConsumption 工程 and 関数量関数量は関数量の instance ではオブジェクトは工程の resource では equal 関数量 and PerFn 実数の測定単位(s) and 実数の測定単位(s) 工程の time の existence の duration は実数の測定単位(s) ではオブジェクトの measure は実数の測定単位(s) ではは工程の time の existence の beginning の during holds オブジェクトの measure は物理量の測定単位(s) ではは工程の time の existence の end の during holds equal 物理量 and ( 実数 + 実数 + 実数 + 実数) の測定単位(s)

statement

(equal (MeasureFn ?NUMBER CelsiusDegree) (MeasureFn (DivisionFn (SubtractionFn ?NUMBER 32.0) 1.8) FahrenheitDegree))	Merge.kif 7037-7039	equal 実数の CelsiusDegree(s) and ( 実数 + 32.0) + 1.8 の FahrenheitDegree(s)
(equal (MeasureFn ?NUMBER CelsiusDegree) (MeasureFn (SubtractionFn ?NUMBER 273.15) KelvinDegree))	Merge.kif 7033-7035	equal 実数の CelsiusDegree(s) and ( 実数 + 273.15) の KelvinDegree(s)
(equal (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (equal ?AGEMINUSONE (SubtractionFn ?AGE 1)) (holdsDuring ?YEAR (or (age ?PERSON ?AGEMINUSONE) (age ?PERSON ?AGE))) (equal ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA)))))	Military.kif 1001-1014	equal ReachingMilitaryAgeAnnuallyMaleFn 地政学的地域 and 年 and エンティティー class の instances の数
(forall (?NUMBER) (equal (PredecessorFn ?NUMBER) (SubtractionFn ?NUMBER 1)))	Merge.kif 4764-4765	整数 equal ( 整数+2) and ( 整数 + 1)

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: