MultiplicationFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MultiplicationFn ChineseLanguage "如果 ?NUMBER1 和 ?NUMBER2 是 Number，那么 (MultiplicationFn ?NUMBER1 ?NUMBER2)就是这些数字的算术积。")	chinese_format.kif 2212-2213
(documentation MultiplicationFn EnglishLanguage "If ?NUMBER1 and ?NUMBER2 are Numbers, then (MultiplicationFn ?NUMBER1 ?NUMBER2) is the arithmetical product of these numbers.")	Merge.kif 4731-4733
(documentation MultiplicationFn JapaneseLanguage "?NUMBER1 と ?NUMBER2 が Number の場合、 (MultiplicationFn ?NUMBER1 ?NUMBER2) はこれらの数値の算術積である。")	japanese_format.kif 876-877
(domain MultiplicationFn 1 RealNumber)	Merge.kif 4727-4727	MultiplicationFn の数値 1 引数は実数の instance では
(domain MultiplicationFn 2 RealNumber)	Merge.kif 4728-4728	MultiplicationFn の数値 2 引数は実数の instance では
(identityElement MultiplicationFn 1)	Merge.kif 5322-5322	1 は MultiplicationFn の identity 要素では
(instance MultiplicationFn AssociativeFunction)	Merge.kif 4723-4723	MultiplicationFn は結合関数の instance では
(instance MultiplicationFn BinaryFunction)	Merge.kif 4722-4722	MultiplicationFn は 2変数関数の instance では
(instance MultiplicationFn CommutativeFunction)	Merge.kif 4724-4724	MultiplicationFn は可換関数の instance では
(instance MultiplicationFn TotalValuedRelation)	Merge.kif 4726-4726	MultiplicationFn は合計値関係の instance では
(range MultiplicationFn RealNumber)	Merge.kif 4729-4729	MultiplicationFn の range は実数のインスタンスでは

appearance as argument number 2

(format ChineseLanguage MultiplicationFn "%[]")	chinese_format.kif 680-680
(format EnglishLanguage MultiplicationFn "%[]")	english_format.kif 682-682
(format FrenchLanguage MultiplicationFn "%[]")	french_format.kif 413-413
(format ItalianLanguage MultiplicationFn "%[]")	relations-it.txt 196-196
(format JapaneseLanguage MultiplicationFn "%[]")	japanese_format.kif 2130-2130
(format PortugueseLanguage MultiplicationFn "%[]")	portuguese_format.kif 365-365
(format cz MultiplicationFn "%[]")	relations-cz.txt 422-422
(format de MultiplicationFn "%[]")	relations-de.txt 887-887
(format hi MultiplicationFn "%[]")	relations-hindi.txt 234-234
(format ro MultiplicationFn "%[]")	relations-ro.kif 435-435
(format sv MultiplicationFn "%[]")	relations-sv.txt 457-457
(format tg MultiplicationFn "%[]")	relations-tg.txt 377-377
(termFormat ChineseLanguage MultiplicationFn "乘法")	domainEnglishFormat.kif 39196-39196
(termFormat ChineseLanguage MultiplicationFn "乘法函数")	chinese_format.kif 681-681
(termFormat ChineseTraditionalLanguage MultiplicationFn "乘法")	domainEnglishFormat.kif 39195-39195
(termFormat EnglishLanguage MultiplicationFn "multiplication")	domainEnglishFormat.kif 39194-39194
(termFormat de MultiplicationFn "MultiplikationFn")	terms-de.txt 262-262
(termFormat tg MultiplicationFn "tungkulin ng pagpaparami")	relations-tg.txt 378-378

antecedent

(=> (and (arableLandArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?TOTAL AreaMeasure) (equal ?AMOUNT (MultiplicationFn ?FRACTION ?TOTAL))) (arableLandArea ?REGION (MeasureFn ?AMOUNT ?UNIT)))	Geography.kif 2238-2248	arableLandArea 地理的地域 and 実数の測定単位(s) 実数は 0.0 greater では　 totalArea 地理的地域 and 実数の測定単位(s) 実数は面積測定の instance では equal 実数 and 実数 + 実数 arableLandArea 地理的地域 and 実数の測定単位(s)
(=> (and (not (equal ?NUMBER2 0)) (equal (AdditionFn (MultiplicationFn (FloorFn (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1)) (equal (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER))	Merge.kif 5145-5156	equal 整数 and 0 equal ( 整数 + 整数以下の largest 整数 + 整数 + 整数) and 整数 equal 整数を整数で割った剰余数 and 整数
(=> (and (otherLandUseArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea) (equal ?AMOUNT (MultiplicationFn ?FRACTION ?TOTAL))) (otherLandUseArea ?REGION (MeasureFn ?AMOUNT ?UNIT)))	Geography.kif 2323-2334	otherLandUseArea 地理的地域 and 実数の測定単位(s) 実数は 0.0 greater では　 totalArea 地理的地域 and 実数の測定単位(s) 測定単位は UnitOfArea の instance では equal 実数 and 実数 + 実数 otherLandUseArea 地理的地域 and 実数の測定単位(s)
(=> (and (permanentCropLandArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea) (equal ?AMOUNT (MultiplicationFn ?FRACTION ?TOTAL))) (permanentCropLandArea ?REGION (MeasureFn ?AMOUNT ?UNIT)))	Geography.kif 2283-2294	permanentCropLandArea 地理的地域 and 実数の測定単位(s) 実数は 0.0 greater では　 totalArea 地理的地域 and 実数の測定単位(s) 測定単位は UnitOfArea の instance では equal 実数 and 実数 + 実数 permanentCropLandArea 地理的地域 and 実数の測定単位(s)
(=> (and (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD) (totalGDPInPeriod ?AREA (MeasureFn ?GDPAMOUNT ?CUNIT) ?PERIOD) (equal ?AMOUNT (MultiplicationFn ?FRACTION ?GDPAMOUNT))) (sectorValueOfGDPInPeriod ?AREA ?SECTOR (MeasureFn ?AMOUNT ?CUNIT) ?PERIOD))	Economy.kif 1198-1206	sectorCompositionOfGDPInPeriod 地政学的地域, IndustryAttribute, 実数 and 時間間隔 totalGDPInPeriod 地政学的地域, 実数の測定単位(s) and 時間間隔 equal 実数 and 実数 + 実数 sectorValueOfGDPInPeriod 地政学的地域, IndustryAttribute, 実数の測定単位(s) and 時間間隔
(=> (and (simpleInterest ?Account (MeasureFn ?Interest ?CUNIT) ?Period) (principalAmount ?Account (MeasureFn ?Principal ?CUNIT)) (equal ?Rate_Decimal (DivisionFn ?Interest ?Principal)) (equal ?Rate (MultiplicationFn ?Rate_Decimal 100.0))) (interestRatePerPeriod ?Account ?Rate ?Period))	FinancialOntology.kif 589-599	simpleInterest FinancialAccount, 実数の測定単位(s) and 時間間隔 principalAmount FinancialAccount and 実数の測定単位(s) equal 実数_Decimal and 実数 + 実数 equal 実数 and 実数_Decimal + 100.0 interestRatePerPeriod FinancialAccount, 実数 and 時間間隔
(=> (and (typicalBloodVolume ?M (MeasureFn ?N ?U)) (holdsDuring ?T (bloodVolume ?H (MeasureFn ?N2 ?U))) (instance ?H ?M) (greaterThan (MultiplicationFn ?N2 2.0) ?N) (lessThan ?N2 (MultiplicationFn 0.8 ?N))) (holdsDuring ?T (attribute ?H SevereBloodLoss)))	Medicine.kif 5985-5999	typicalBloodVolume 哺乳動物 and 実数の測定単位(s) bloodVolume エンティティー and 実数2 の測定単位(s) は時間位置の during holds エンティティーは哺乳動物の instance では実数2 + 2.0 は実数より greater では　実数2 は 0.8 + 実数より less では SevereBloodLoss はエンティティーの attribute ではは時間位置の during holds
(=> (and (typicalBloodVolume ?M (MeasureFn ?N ?U)) (holdsDuring ?T (bloodVolume ?H (MeasureFn ?N2 ?U))) (instance ?H ?M) (lessThan (MultiplicationFn ?N2 2.0) ?N)) (holdsDuring ?T (attribute ?H CatastrophicBloodLoss)))	Medicine.kif 5967-5979	typicalBloodVolume 哺乳動物 and 実数の測定単位(s) bloodVolume エンティティー and 実数2 の測定単位(s) は時間位置の during holds エンティティーは哺乳動物の instance では実数2 + 2.0 は実数より less では CatastrophicBloodLoss はエンティティーの attribute ではは時間位置の during holds
(=> (equal ?N (MultiplicationFn 1 ?N)) (equal (MeasureFn ?N MillenniumDuration) (MeasureFn (MultiplicationFn ?N 1000) YearDuration)))	Mid-level-ontology.kif 15054-15058	equal 実数 and 1 + 実数 equal 実数の MillenniumDuration(s) and 実数 + 1000 の YearDuration(s)
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1.151) Mile)))	Geography.kif 4163-4170	equal 実数 and 1.0 + 実数 equal 実数の NauticalMile(s) and 実数 + 1.151 の Mile(s)
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1.852) (KiloFn Meter))))	Geography.kif 4145-4152	equal 実数 and 1.0 + 実数 equal 実数の NauticalMile(s) and 実数 + 1.852 の 1 の thousand Meters(s)
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1852.0) Meter)))	Geography.kif 4136-4143	equal 実数 and 1.0 + 実数 equal 実数の NauticalMile(s) and 実数 + 1852.0 の Meter(s)
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 6076.1) FootLength)))	Geography.kif 4154-4161	equal 実数 and 1.0 + 実数 equal 実数の NauticalMile(s) and 実数 + 6076.1 の FootLength(s)
(=> (equal ?NUMBER (MultiplicationFn 1 ?NUMBER)) (equal (MeasureFn ?NUMBER CenturyDuration) (MeasureFn (MultiplicationFn ?NUMBER 100) YearDuration)))	Mid-level-ontology.kif 20635-20639	equal 実数 and 1 + 実数 equal 実数の CenturyDuration(s) and 実数 + 100 の YearDuration(s)
(=> (equal ?NUMBER (MultiplicationFn 1 ?NUMBER)) (equal (MeasureFn ?NUMBER DecadeDuration) (MeasureFn (MultiplicationFn ?NUMBER 10) YearDuration)))	Merge.kif 8872-8876	equal 実数 and 1 + 実数 equal 実数の DecadeDuration(s) and 実数 + 10 の YearDuration(s)
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER Acre) (MeasureFn (MultiplicationFn 4840.0 ?NUMBER) SquareYard)))	Mid-level-ontology.kif 15063-15069	equal 実数 and 1.0 + 実数 equal 実数の Acre(s) and 4840.0 + 実数の SquareYard(s)
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER CubicFoot) (MeasureFn (MultiplicationFn ?NUMBER (MultiplicationFn ?NUMBER ?NUMBER)) FootLength)))	Mid-level-ontology.kif 15001-15008	equal 実数 and 1.0 + 実数 equal 実数の CubicFoot(s) and 実数 + 実数 + 実数の FootLength(s)
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER Fathom) (MeasureFn (MultiplicationFn ?NUMBER 6.0) FootLength)))	Geography.kif 4095-4099	equal 実数 and 1.0 + 実数 equal 実数の Fathom(s) and 実数 + 6.0 の FootLength(s)
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER LongTon) (MeasureFn (MultiplicationFn ?NUMBER 2240.0) PoundMass)))	Mid-level-ontology.kif 14957-14961	equal 実数 and 1.0 + 実数 equal 実数の LongTon(s) and 実数 + 2240.0 の PoundMass(s)
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER Nanometer) (MeasureFn (MultiplicationFn ?NUMBER 0.000000001) Meter)))	Mid-level-ontology.kif 20654-20660	equal 実数 and 1.0 + 実数 equal 実数の Nanometer(s) and 実数 + 0.000000001 の Meter(s)
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER RegistryTon) (MeasureFn (MultiplicationFn ?NUMBER 100.0) CubicFoot)))	Mid-level-ontology.kif 15039-15043	equal 実数 and 1.0 + 実数 equal 実数の RegistryTon(s) and 実数 + 100.0 の CubicFoot(s)
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER TonMass) (MeasureFn (MultiplicationFn ?NUMBER 2205.0) PoundMass)))	Mid-level-ontology.kif 14930-14934	equal 実数 and 1.0 + 実数 equal 実数の TonMass(s) and 実数 + 2205.0 の PoundMass(s)
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER YardLength) (MeasureFn (MultiplicationFn 3.0 ?NUMBER) FootLength)))	Mid-level-ontology.kif 20644-20648	equal 実数 and 1.0 + 実数 equal 実数の YardLength(s) and 3.0 + 実数の FootLength(s)

consequent

(<=> (measure ?O (MeasureFn ?A MetricTon)) (measure ?O (MeasureFn (MultiplicationFn ?A 2205.0) PoundMass)))	Mid-level-ontology.kif 14944-14950	物理の measure は実数の MetricTon(s) では物理の measure は実数 + 2205.0 の PoundMass(s) では
(<=> (measure ?OBJ (MeasureFn ?DEG AngularDegree)) (measure ?OBJ (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcMinute)))	Geography.kif 548-550	物理の measure は実数の AngularDegree(s) では物理の measure は 60.0 + 実数の ArcMinute(s) では
(<=> (measure ?OBJ (MeasureFn ?DEG ArcMinute)) (measure ?OBJ (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcSecond)))	Geography.kif 567-569	物理の measure は実数の ArcMinute(s) では物理の measure は 60.0 + 実数の ArcSecond(s) では
(=> (and (arableLandArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea)) (exists (?ARABLE) (and (instance ?ARABLE ArableLand) (geographicSubregion ?ARABLE ?REGION) (measure ?ARABLE (MeasureFn (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))	Geography.kif 2250-2264	arableLandArea 地理的地域 and 実数の測定単位(s) 実数は 0.0 greater では　 totalArea 地理的地域 and 実数の測定単位(s) 測定単位は UnitOfArea の instance では地理的地域地理的地域は ArableLand の instance では geographicSubregion 地理的地域 and 地理的地域地理的地域の measure は実数 + 実数の測定単位(s) では
(=> (and (attribute ?H Muslim) (equal (WealthFn ?H) ?W)) (modalAttribute (exists (?Z ?T ?U ?Y ?C) (and (instance ?Z Zakat) (instance ?Y Year) (during ?Y (WhenFn ?H)) (holdsDuring ?Y (attribute ?H FullyFormed)) (agent ?Z ?H) (patient ?Z ?T) (monetaryValue ?T (MeasureFn ?C ?U)) (instance ?U UnitOfCurrency) (greaterThan ?C (MultiplicationFn ?W 0.025)))) Obligation))	ArabicCulture.kif 204-223	Muslim は AutonomousAgent の attribute では equal AutonomousAgent の所有物の value and 通貨測定ステートメントエンティティーエンティティー, エンティティー, エンティティー and エンティティーエンティティーは Zakat の instance ではエンティティーは年の instance ではエンティティーは AutonomousAgent の time の existence の during に takes FullyFormed は AutonomousAgent の attribute でははエンティティーの during holds AutonomousAgent はエンティティーの agent ではエンティティーはエンティティーの patient ではエンティティーの value はエンティティーのエンティティー(s) ではエンティティーは UnitOfCurrency の instance ではエンティティーは通貨測定 + 0.025 より greater では　には Obligation の modal force がある
(=> (and (comparativeArea ?REGION1 ?RELATION ?FACTOR ?REGION2) (instance ?UNIT UnitOfArea) (measure ?REGION1 (MeasureFn ?NUM1 ?UNIT)) (measure ?REGION2 (MeasureFn ?NUM2 ?UNIT))) (?RELATION (MeasureFn ?NUM1 ?UNIT) (MeasureFn (MultiplicationFn ?FACTOR ?NUM2) ?UNIT)))	Geography.kif 825-835	comparativeArea 地理的地域, BinaryRelationExtendedToQuantities, 正の実数 and 地理的地域測定単位は UnitOfArea の instance では地理的地域の measure は実数の測定単位(s) では地理的地域の measure は実数の測定単位(s) では BinaryRelationExtendedToQuantities 実数の測定単位(s) and 正の実数 + 実数の測定単位(s)
(=> (and (defaultMeasure ?OBJECT (MeasureFn ?Q ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (modalAttribute (exists (?INST ?QUANTITY) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT)) (greaterThan ?QUANTITY (MultiplicationFn ?Q 1.5)))) Unlikely))	Mid-level-ontology.kif 14905-14914	defaultMeasure オブジェクト and 実数の測定単位(s) 測定単位は CompositeUnitOfMeasure の instance ではステートメントエンティティー実数UANTITY エンティティーはオブジェクトの instance ではエンティティーの measure は実数UANTITY の測定単位(s) では実数UANTITY は実数 + 1.5 より greater では　には Unlikely の modal force がある
(=> (and (defaultMeasure ?OBJECT (MeasureFn ?Q ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (modalAttribute (exists (?INST ?QUANTITY) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT)) (lessThan ?QUANTITY (MultiplicationFn ?Q 0.5)))) Unlikely))	Mid-level-ontology.kif 14916-14925	defaultMeasure オブジェクト and 実数の測定単位(s) 測定単位は CompositeUnitOfMeasure の instance ではステートメントエンティティー実数UANTITY エンティティーはオブジェクトの instance ではエンティティーの measure は実数UANTITY の測定単位(s) では実数UANTITY は実数 + 0.5 より less ではには Unlikely の modal force がある
(=> (and (equal (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER) (not (equal ?NUMBER2 0))) (equal (AdditionFn (MultiplicationFn (FloorFn (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))	Merge.kif 5132-5143	equal 整数を整数で割った剰余数 and 整数 equal 整数 and 0 equal ( 整数 + 整数以下の largest 整数 + 整数 + 整数) and 整数
(=> (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 2211-2222	equal 実数 and VarianceAverageFn 実数 and リスト equal 1 and リストの length equal 実数 and ( 実数 + リストの 1th element) + ( 実数 + リストの 1th element)
(=> (and (instance ?H HumanAdult) (measure ?H (MeasureFn ?N Pounds))) (and (bloodVolume ?H (MeasureFn ?N2 Liter)) (equal ?N2 (DivisionFn (MultiplicationFn ?N 0.07) 2.33))))	Medicine.kif 5931-5940	人［人間］は HumanAdult の instance では人［人間］の measure は実数の Pounds(s) では bloodVolume 人［人間］ and 実数2 の Liter(s) equal 実数2 and 実数 + 0.07 + 2.33
(=> (and (instance ?M OnePercentMilk) (measure ?M (MeasureFn ?N ?U)) (instance ?U UnitOfVolume)) (exists (?BF ?N2) (and (instance ?BF ButterFat) (part ?BF ?M) (not (exists (?F2) (and (instance ?F2 ButterFat) (not (equal ?BF ?F2)) (part ?F2 ?M)))) (measure ?BF (MeasureFn ?N2 ?U)) (equal ?N2 (MultiplicationFn 0.01 ?N)))))	Food.kif 2976-2993	オブジェクトは OnePercentMilk の instance ではオブジェクトの measure は実数の測定単位(s) では測定単位は UnitOfVolume の instance ではオブジェクト実数2 オブジェクトは ButterFat の instance ではオブジェクトはオブジェクトの part ではオブジェクトオブジェクトは ButterFat の instance では equal オブジェクト and オブジェクトオブジェクトはオブジェクトの part ではオブジェクトの measure は実数2 の測定単位(s) では equal 実数2 and 0.01 + 実数
(=> (and (instance ?M SemiSkimmedMilk) (measure ?M (MeasureFn ?N ?U)) (instance ?U UnitOfVolume)) (exists (?BF ?N2) (and (instance ?BF ButterFat) (part ?BF ?M) (not (exists (?F2) (and (instance ?F2 ButterFat) (not (equal ?BF ?F2)) (part ?F2 ?M)))) (measure ?BF (MeasureFn ?N2 ?U)) (greaterThanOrEqualTo ?N2 (MultiplicationFn 0.015 ?N)) (lessThanOrEqualTo ?N2 (MultiplicationFn 0.02 ?N)))))	Food.kif 3000-3018	オブジェクトは SemiSkimmedMilk の instance ではオブジェクトの measure は実数の測定単位(s) では測定単位は UnitOfVolume の instance ではオブジェクト実数2 オブジェクトは ButterFat の instance ではオブジェクトはオブジェクトの part ではオブジェクトオブジェクトは ButterFat の instance では equal オブジェクト and オブジェクトオブジェクトはオブジェクトの part ではオブジェクトの measure は実数2 の測定単位(s) では実数2 は 0.015 + 実数 greater では　実数2 は 0.02 + 実数より less または同等では
(=> (and (instance ?M SkimmedMilk) (measure ?M (MeasureFn ?N ?U)) (instance ?U UnitOfVolume)) (exists (?BF ?N2) (and (instance ?BF ButterFat) (part ?BF ?M) (not (exists (?F2) (and (instance ?F2 ButterFat) (not (equal ?BF ?F2)) (part ?F2 ?M)))) (measure ?BF (MeasureFn ?N2 ?U)) (greaterThanOrEqualTo ?N2 (MultiplicationFn 0.0 ?N)) (lessThanOrEqualTo ?N2 (MultiplicationFn 0.005 ?N)))))	Food.kif 3025-3043	オブジェクトは SkimmedMilk の instance ではオブジェクトの measure は実数の測定単位(s) では測定単位は UnitOfVolume の instance ではオブジェクト実数2 オブジェクトは ButterFat の instance ではオブジェクトはオブジェクトの part ではオブジェクトオブジェクトは ButterFat の instance では equal オブジェクト and オブジェクトオブジェクトはオブジェクトの part ではオブジェクトの measure は実数2 の測定単位(s) では実数2 は 0.0 + 実数 greater では　実数2 は 0.005 + 実数より less または同等では
(=> (and (instance ?M TwoPercentMilk) (measure ?M (MeasureFn ?N ?U)) (instance ?U UnitOfVolume)) (exists (?BF ?N2) (and (instance ?BF ButterFat) (part ?BF ?M) (not (exists (?F2) (and (instance ?F2 ButterFat) (not (equal ?BF ?F2)) (part ?F2 ?M)))) (measure ?BF (MeasureFn ?N2 ?U)) (equal ?N2 (MultiplicationFn 0.02 ?N)))))	Food.kif 2952-2969	オブジェクトは TwoPercentMilk の instance ではオブジェクトの measure は実数の測定単位(s) では測定単位は UnitOfVolume の instance ではオブジェクト実数2 オブジェクトは ButterFat の instance ではオブジェクトはオブジェクトの part ではオブジェクトオブジェクトは ButterFat の instance では equal オブジェクト and オブジェクトオブジェクトはオブジェクトの part ではオブジェクトの measure は実数2 の測定単位(s) では equal 実数2 and 0.02 + 実数
(=> (and (instance ?M WholeMilk) (measure ?M (MeasureFn ?N ?U)) (instance ?U UnitOfVolume)) (exists (?BF ?N2) (and (instance ?BF ButterFat) (part ?BF ?M) (not (exists (?F2) (and (instance ?F2 ButterFat) (not (equal ?BF ?F2)) (part ?F2 ?M)))) (measure ?BF (MeasureFn ?N2 ?U)) (greaterThanOrEqualTo ?N2 (MultiplicationFn 0.0325 ?N)) (lessThanOrEqualTo ?N2 (MultiplicationFn 0.05 ?N)))))	Food.kif 2858-2876	オブジェクトは WholeMilk の instance ではオブジェクトの measure は実数の測定単位(s) では測定単位は UnitOfVolume の instance ではオブジェクト実数2 オブジェクトは ButterFat の instance ではオブジェクトはオブジェクトの part ではオブジェクトオブジェクトは ButterFat の instance では equal オブジェクト and オブジェクトオブジェクトはオブジェクトの part ではオブジェクトの measure は実数2 の測定単位(s) では実数2 は 0.0325 + 実数 greater では　実数2 は 0.05 + 実数より less または同等では
(=> (and (instance ?NUMBER Integer) (not (equal ?NUMBER 0))) (equal 1 (MultiplicationFn ?NUMBER (ReciprocalFn ?NUMBER))))	Merge.kif 5114-5119	実数は整数の instance では equal 実数 and 0 equal 1 and 実数 + 実数の reciprocal
(=> (and (instance ?T ElectricalTransformer) (instance ?WC1 WireCoil) (instance ?WC2 WireCoil) (coilCount ?WC1 ?N1) (coilCount ?WC2 ?N2) (holdsDuring ?T (measure ?WC1 (MeasureFn Volt ?V1)))) (and (holdsDuring ?T (measure ?WC2 (MeasureFn Volt ?V2))) (equal ?V2 (MultiplicationFn ?V1 (DivisionFn ?N2 ?N1)))))	Cars.kif 3155-3169	時間位置は ElectricalTransformer の instance では WireCoil は WireCoil の instance では WireCoil は WireCoil の instance では coilCount WireCoil and 整数 coilCount WireCoil and 整数 WireCoil の measure は Volt の実数(s) ではは時間位置の during holds WireCoil の measure は Volt の実数(s) ではは時間位置の during holds equal 実数 and 実数 + 整数 + 整数
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?SQUAREUNIT (SquareUnitFn ?UNIT))) (exists (?NUM) (and (instance ?NUM RealNumber) (equal (MeasureFn ?NUM ?SQUAREUNIT) (MeasureFn (MultiplicationFn ?NUM ?NUM) ?UNIT)))))	Mid-level-ontology.kif 14971-14982	測定単位は測定単位の instance では equal 測定単位 and SquareUnitFn 測定単位実数実数は実数の instance では equal 実数の測定単位(s) and 実数 + 実数の測定単位(s)
(=> (and (instance ?WW WaterWave) (waveHeight ?WW ?WH)) (exists (?LIST ?WA ?U ?SWH) (and (inList ?WH ?LIST) (instance ?WA WaterArea) (eventLocated ?WW ?WA) (instance ?U UnitOfLength) (significantWaveHeight ?WA (WhenFn ?WW) (MeasureFn ?SWH ?U)) (equal ?SWH (MultiplicationFn 4.0 (StandardDeviationFn ?LIST))))))	Weather.kif 2256-2271	WaterWave は WaterWave の instance では waveHeight WaterWave and 長さ測定リスト水域, 測定単位 and 実数長さ測定はリストの member では水域は水域の instance では eventLocated WaterWave and 水域測定単位は UnitOfLength の instance では significantWaveHeight 水域, WaterWave の time の existence and 実数の測定単位(s) equal 実数 and 4.0 + StandardDeviationFn リスト
(=> (and (otherLandUseArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea)) (exists (?OTHER) (and (instance ?OTHER LandArea) (not (instance ?OTHER ArableLand)) (not (instance ?OTHER PermanentCropLand)) (geographicSubregion ?OTHER ?REGION) (measure ?OTHER (MeasureFn (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))	Geography.kif 2336-2354	otherLandUseArea 地理的地域 and 実数の測定単位(s) 実数は 0.0 greater では　 totalArea 地理的地域 and 実数の測定単位(s) 測定単位は UnitOfArea の instance では地理的地域地理的地域は土地面積の instance では地理的地域は ArableLand の instance では地理的地域は PermanentCropLand の instance では geographicSubregion 地理的地域 and 地理的地域地理的地域の measure は実数 + 実数の測定単位(s) では
(=> (and (permanentCropLandArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea)) (exists (?PERMCROP) (and (instance ?PERMCROP PermanentCropLand) (geographicSubregion ?PERMCROP ?REGION) (measure ?PERMCROP (MeasureFn (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))	Geography.kif 2296-2310	permanentCropLandArea 地理的地域 and 実数の測定単位(s) 実数は 0.0 greater では　 totalArea 地理的地域 and 実数の測定単位(s) 測定単位は UnitOfArea の instance では地理的地域地理的地域は PermanentCropLand の instance では geographicSubregion 地理的地域 and 地理的地域地理的地域の measure は実数 + 実数の測定単位(s) では
(=> (and (possesses ?Agent ?Stocks) (measure ?Stocks (MeasureFn ?Number ShareUnit)) (splitFor ?Event ?N1 ?N2)) (holdsDuring (ImmediateFutureFn (WhenFn ?Event)) (and (equal ?N3 (MultiplicationFn ?Number ?N2)) (equal ?NewNumber (DivisionFn ?N3 ?N1)) (measure ?Stocks (MeasureFn ?NewNumber ShareUnit)))))	FinancialOntology.kif 2246-2256	AutonomousAgent はオブジェクトを possesses オブジェクトの measure は実数の ShareUnit(s) では splitFor StockSplit, 整数 and 整数 equal エンティティー and 実数 + 整数 equal エンティティー and エンティティー + 整数オブジェクトの measure はエンティティーの ShareUnit(s) ではは StockSplit の time の existence のすぐ after の during holds
(=> (and (principalAmount ?Account (MeasureFn ?Balance ?CUNIT)) (fixedInterestRate ?Account ?Rate) (simpleInterest ?Account (MeasureFn ?Amount ?CUNIT) ?Period) (equal ?Rate_Decimal (DivisionFn ?Rate 100))) (equal ?Amount (MultiplicationFn ?Balance ?Rate_Decimal)))	FinancialOntology.kif 540-550	principalAmount FinancialAccount and 実数の測定単位(s) fixedInterestRate FinancialAccount and 実数 simpleInterest FinancialAccount, 実数の測定単位(s) and 時間間隔 equal 実数_Decimal and 実数 + 100 equal 実数 and 実数 + 実数_Decimal
(=> (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 + 実数 + 実数

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(equal (MeasureFn ?DEG ArcMinute) (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcSecond))	Geography.kif 572-572	equal 実数の ArcMinute(s) and 60.0 + 実数の ArcSecond(s)
(equal (MeasureFn ?NUM AngularDegree) (MeasureFn (MultiplicationFn 60.0 ?NUM) ArcMinute))	Geography.kif 553-553	equal 実数の AngularDegree(s) and 60.0 + 実数の ArcMinute(s)
(equal (MeasureFn ?NUMBER Amu) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn (DivisionFn (DivisionFn (DivisionFn 1.6605402 1000000.0) 1000000.0) 1000000.0) 1000000.0)) Gram))	Merge.kif 7177-7187	equal 実数の Amu(s) and 実数 + 1.6605402 + 1000000.0 + 1000000.0 + 1000000.0 + 1000000.0 の Gram(s)
(equal (MeasureFn ?NUMBER Angstrom) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn (DivisionFn 1.0 100000.0) 100000.0)) Meter))	Merge.kif 7213-7219	equal 実数の Angstrom(s) and 実数 + 1.0 + 100000.0 + 100000.0 の Meter(s)
(equal (MeasureFn ?NUMBER AngularDegree) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180.0)) Radian))	Merge.kif 7411-7413	equal 実数の AngularDegree(s) and 実数 + パイ + 180.0 の Radian(s)
(equal (MeasureFn ?NUMBER BritishThermalUnit) (MeasureFn (MultiplicationFn ?NUMBER 1055.05585262) Joule))	Merge.kif 7397-7399	equal 実数の BritishThermalUnit(s) and 実数 + 1055.05585262 の Joule(s)
(equal (MeasureFn ?NUMBER Byte) (MeasureFn (MultiplicationFn ?NUMBER 8) Bit))	Merge.kif 7469-7471	equal 実数の Byte(s) and 実数 + 8 の Bit(s)
(equal (MeasureFn ?NUMBER Calorie) (MeasureFn (MultiplicationFn ?NUMBER 4.1868) Joule))	Merge.kif 7389-7391	equal 実数の Calorie(s) and 実数 + 4.1868 の Joule(s)
(equal (MeasureFn ?NUMBER Centimeter) (MeasureFn (MultiplicationFn ?NUMBER 0.01) Meter))	Merge.kif 6805-6807	equal 実数の Centimeter(s) and 実数 + 0.01 の Meter(s)
(equal (MeasureFn ?NUMBER DayDuration) (MeasureFn (MultiplicationFn ?NUMBER 24) HourDuration))	Merge.kif 7112-7114	equal 実数の DayDuration(s) and 実数 + 24 の HourDuration(s)
(equal (MeasureFn ?NUMBER ElectronVolt) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn (DivisionFn (DivisionFn 1.60217733 1000000.0) 1000000.0) 10000000.0)) Joule))	Merge.kif 7195-7203	equal 実数の ElectronVolt(s) and 実数 + 1.60217733 + 1000000.0 + 1000000.0 + 10000000.0 の Joule(s)
(equal (MeasureFn ?NUMBER EuroCent) (MeasureFn (MultiplicationFn ?NUMBER 0.01) EuroDollar))	Merge.kif 7449-7451	equal 実数の EuroCent(s) and 実数 + 0.01 の EuroDollar(s)
(equal (MeasureFn ?NUMBER FootLength) (MeasureFn (MultiplicationFn ?NUMBER 0.3048) Meter))	Merge.kif 7230-7232	equal 実数の FootLength(s) and 実数 + 0.3048 の Meter(s)
(equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration))	Merge.kif 7120-7122	equal 実数の HourDuration(s) and 実数 + 60 の MinuteDuration(s)
(equal (MeasureFn ?NUMBER Inch) (MeasureFn (MultiplicationFn ?NUMBER 0.0254) Meter))	Merge.kif 7237-7239	equal 実数の Inch(s) and 実数 + 0.0254 の Meter(s)
(equal (MeasureFn ?NUMBER KiloByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) Byte))	Merge.kif 7479-7481	equal 実数の KiloByte(s) and 実数 + 1024 の Byte(s)
(equal (MeasureFn ?NUMBER Kilogram) (MeasureFn (MultiplicationFn ?NUMBER 1000) Gram))	Merge.kif 7323-7326	equal 実数の Kilogram(s) and 実数 + 1000 の Gram(s)
(equal (MeasureFn ?NUMBER KilogramForce) (MeasureFn (MultiplicationFn ?NUMBER 9.80665) Newton))	Mid-level-ontology.kif 5298-5301	equal 実数の KilogramForce(s) and 実数 + 9.80665 の Newton(s)
(equal (MeasureFn ?NUMBER Kilometer) (MeasureFn (MultiplicationFn ?NUMBER 1000) Meter))	Merge.kif 6824-6827	equal 実数の Kilometer(s) and 実数 + 1000 の Meter(s)
(equal (MeasureFn ?NUMBER MegaByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) KiloByte))	Merge.kif 7489-7491	equal 実数の MegaByte(s) and 実数 + 1024 の KiloByte(s)
(equal (MeasureFn ?NUMBER Micrometer) (MeasureFn (MultiplicationFn ?NUMBER 0.0000001) Meter))	Geography.kif 7434-7437	equal 実数の Micrometer(s) and 実数 + 0.0000001 の Meter(s)
(equal (MeasureFn ?NUMBER Mile) (MeasureFn (MultiplicationFn ?NUMBER 1609.344) Meter))	Merge.kif 7244-7246	equal 実数の Mile(s) and 実数 + 1609.344 の Meter(s)
(equal (MeasureFn ?NUMBER Millimeter) (MeasureFn (MultiplicationFn ?NUMBER 0.001) Meter))	Merge.kif 6814-6817	equal 実数の Millimeter(s) and 実数 + 0.001 の Meter(s)
(equal (MeasureFn ?NUMBER MinuteDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) SecondDuration))	Merge.kif 7128-7130	equal 実数の MinuteDuration(s) and 実数 + 60 の SecondDuration(s)
(equal (MeasureFn ?NUMBER PoundForce) (MeasureFn (MultiplicationFn ?NUMBER 4.448222) Newton))	Merge.kif 7379-7381	equal 実数の PoundForce(s) and 実数 + 4.448222 の Newton(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: