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 4704-4706
(documentation MultiplicationFn JapaneseLanguage "?NUMBER1 と ?NUMBER2 が Number の場合、 (MultiplicationFn ?NUMBER1 ?NUMBER2) はこれらの数値の算術積である。")	japanese_format.kif 876-877
(domain MultiplicationFn 1 RealNumber)	Merge.kif 4700-4700	Die Zahl 1 Argument von MultiplicationFn ist ein fall von RealNumber %n{nicht}
(domain MultiplicationFn 2 RealNumber)	Merge.kif 4701-4701	Die Zahl 2 Argument von MultiplicationFn ist ein fall von RealNumber %n{nicht}
(identityElement MultiplicationFn 1)	Merge.kif 5295-5295	1 ist ein identitaetsElement von MultiplicationFn
(instance MultiplicationFn AssociativeFunction)	Merge.kif 4696-4696	MultiplicationFn ist ein fall von AssociativeFunction %n{nicht}
(instance MultiplicationFn BinaryFunction)	Merge.kif 4695-4695	MultiplicationFn ist ein fall von BinaryFunction %n{nicht}
(instance MultiplicationFn CommutativeFunction)	Merge.kif 4697-4697	MultiplicationFn ist ein fall von CommutativeFunction %n{nicht}
(instance MultiplicationFn TotalValuedRelation)	Merge.kif 4699-4699	MultiplicationFn ist ein fall von TotalValuedRelation %n{nicht}
(range MultiplicationFn RealNumber)	Merge.kif 4702-4702	bildbereich von MultiplicationFn ist ein fall von RealNumber {nicht}

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 39185-39185
(termFormat ChineseLanguage MultiplicationFn "乘法函数")	chinese_format.kif 681-681
(termFormat ChineseTraditionalLanguage MultiplicationFn "乘法")	domainEnglishFormat.kif 39184-39184
(termFormat EnglishLanguage MultiplicationFn "multiplication")	domainEnglishFormat.kif 39183-39183
(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 2080-2090	Wenn arableLandArea GeographicArea and RealNumber UnitOfMeasure(s) und RealNumber ist groesserAlsOderGleich 0.0 %n{nicht} und totalArea GeographicArea and RealNumber UnitOfMeasure(s) und RealNumber ist ein fall von AreaMeasure %n{nicht} und RealNumber ist gleich RealNumber und RealNumber %n{nicht}, dann arableLandArea GeographicArea and RealNumber UnitOfMeasure(s)
(=> (and (not (equal ?NUMBER2 0)) (equal (AdditionFn (MultiplicationFn (FloorFn (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1)) (equal (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER))	Merge.kif 5118-5129	Wenn Integer ist gleich 0 nicht und (die groesste Ganzzahl kleiner als oder Gleichgestelltes zu Integer und Integer und Integer und Integer) ist gleich Integer %n{nicht}, dann Integer betrag Integer ist gleich ** Integer %n{nicht}
(=> (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 2165-2176	Wenn otherLandUseArea GeographicArea and RealNumber UnitOfMeasure(s) und RealNumber ist groesserAlsOderGleich 0.0 %n{nicht} und totalArea GeographicArea and RealNumber UnitOfMeasure(s) und UnitOfMeasure ist ein fall von UnitOfArea %n{nicht} und RealNumber ist gleich RealNumber und RealNumber %n{nicht}, dann otherLandUseArea GeographicArea and RealNumber ** UnitOfMeasure(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 2125-2136	Wenn permanentCropLandArea GeographicArea and RealNumber UnitOfMeasure(s) und RealNumber ist groesserAlsOderGleich 0.0 %n{nicht} und totalArea GeographicArea and RealNumber UnitOfMeasure(s) und UnitOfMeasure ist ein fall von UnitOfArea %n{nicht} und RealNumber ist gleich RealNumber und RealNumber %n{nicht}, dann permanentCropLandArea GeographicArea and RealNumber ** UnitOfMeasure(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 1107-1115	Wenn sectorCompositionOfGDPInPeriod GeopoliticalArea, IndustryAttribute, RealNumber and TimeInterval und totalGDPInPeriod GeopoliticalArea, RealNumber UnitOfMeasure(s) and TimeInterval und RealNumber ist gleich RealNumber und RealNumber %n{nicht}, dann sectorValueOfGDPInPeriod GeopoliticalArea, IndustryAttribute, RealNumber UnitOfMeasure(s) and ** TimeInterval
(=> (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 587-597	Wenn simpleInterest FinancialAccount, RealNumber UnitOfMeasure(s) and TimeInterval und principalAmount FinancialAccount and RealNumber UnitOfMeasure(s) und RealNumber-Decimal ist gleich RealNumber und RealNumber %n{nicht} und RealNumber ist gleich RealNumber-Decimal und 100.0 %n{nicht}, dann interestRatePerPeriod FinancialAccount, RealNumber and ** TimeInterval
(=> (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 5968-5982	Wenn typicalBloodVolume Mammal and RealNumber UnitOfMeasure(s) und bloodVolume Entity and RealNumber2 UnitOfMeasure(s) haelt waehrend TimePosition %n{nicht} und Entity ist ein fall von Mammal %n{nicht} und RealNumber2 und 2.0 ist groesserAls RealNumber %n{nicht} und RealNumber2 ist kleinerAls 0.8 und RealNumber %n{nicht}, dann SevereBloodLoss ist ein attribut von Entity %n{nicht} haelt waehrend ** TimePosition %n{nicht}
(=> (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 5950-5962	Wenn typicalBloodVolume Mammal and RealNumber UnitOfMeasure(s) und bloodVolume Entity and RealNumber2 UnitOfMeasure(s) haelt waehrend TimePosition %n{nicht} und Entity ist ein fall von Mammal %n{nicht} und RealNumber2 und 2.0 ist kleinerAls RealNumber %n{nicht}, dann CatastrophicBloodLoss ist ein attribut von Entity %n{nicht} haelt waehrend ** TimePosition %n{nicht}
(=> (equal ?N (MultiplicationFn 1 ?N)) (equal (MeasureFn ?N MillenniumDuration) (MeasureFn (MultiplicationFn ?N 1000) YearDuration)))	Mid-level-ontology.kif 13710-13714	Wenn RealNumber ist gleich 1 und RealNumber %n{nicht}, dann RealNumber MillenniumDuration(s) ist gleich ** RealNumber und 1000 YearDuration(s) %n{nicht}
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1.151) Mile)))	Geography.kif 3912-3919	Wenn RealNumber ist gleich 1.0 und RealNumber %n{nicht}, dann RealNumber NauticalMile(s) ist gleich ** RealNumber und 1.151 Mile(s) %n{nicht}
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1.852) (KiloFn Meter))))	Geography.kif 3894-3901	Wenn RealNumber ist gleich 1.0 und RealNumber %n{nicht}, dann RealNumber NauticalMile(s) ist gleich ** RealNumber und 1.852 1 tausend Meter(s) %n{nicht}
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1852.0) Meter)))	Geography.kif 3885-3892	Wenn RealNumber ist gleich 1.0 und RealNumber %n{nicht}, dann RealNumber NauticalMile(s) ist gleich ** RealNumber und 1852.0 Meter(s) %n{nicht}
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 6076.1) FootLength)))	Geography.kif 3903-3910	Wenn RealNumber ist gleich 1.0 und RealNumber %n{nicht}, dann RealNumber NauticalMile(s) ist gleich ** RealNumber und 6076.1 FootLength(s) %n{nicht}
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM SquareKilometer) (MeasureFn (MultiplicationFn ?NUM 1000000.0) SquareMeter)))	Geography.kif 625-631	Wenn RealNumber ist gleich 1.0 und RealNumber %n{nicht}, dann RealNumber SquareKilometer(s) ist gleich ** RealNumber und 1000000.0 SquareMeter(s) %n{nicht}
(=> (equal ?NUMBER (MultiplicationFn 1 ?NUMBER)) (equal (MeasureFn ?NUMBER CenturyDuration) (MeasureFn (MultiplicationFn ?NUMBER 100) YearDuration)))	Mid-level-ontology.kif 19091-19095	Wenn RealNumber ist gleich 1 und RealNumber %n{nicht}, dann RealNumber CenturyDuration(s) ist gleich ** RealNumber und 100 YearDuration(s) %n{nicht}
(=> (equal ?NUMBER (MultiplicationFn 1 ?NUMBER)) (equal (MeasureFn ?NUMBER DecadeDuration) (MeasureFn (MultiplicationFn ?NUMBER 10) YearDuration)))	Merge.kif 8795-8799	Wenn RealNumber ist gleich 1 und RealNumber %n{nicht}, dann RealNumber DecadeDuration(s) ist gleich ** RealNumber und 10 YearDuration(s) %n{nicht}
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER Fathom) (MeasureFn (MultiplicationFn ?NUMBER 6.0) FootLength)))	Geography.kif 3844-3848	Wenn RealNumber ist gleich 1.0 und RealNumber %n{nicht}, dann RealNumber Fathom(s) ist gleich ** RealNumber und 6.0 FootLength(s) %n{nicht}
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER LongTon) (MeasureFn (MultiplicationFn ?NUMBER 2240.0) PoundMass)))	Mid-level-ontology.kif 13645-13649	Wenn RealNumber ist gleich 1.0 und RealNumber %n{nicht}, dann RealNumber LongTon(s) ist gleich ** RealNumber und 2240.0 PoundMass(s) %n{nicht}
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER Nanometer) (MeasureFn (MultiplicationFn ?NUMBER 0.000000001) Meter)))	Mid-level-ontology.kif 19110-19116	Wenn RealNumber ist gleich 1.0 und RealNumber %n{nicht}, dann RealNumber Nanometer(s) ist gleich ** RealNumber und 0.000000001 Meter(s) %n{nicht}
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER RegistryTon) (MeasureFn (MultiplicationFn ?NUMBER 100.0) CubicFoot)))	Mid-level-ontology.kif 13695-13699	Wenn RealNumber ist gleich 1.0 und RealNumber %n{nicht}, dann RealNumber RegistryTon(s) ist gleich ** RealNumber und 100.0 CubicFoot(s) %n{nicht}
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER TonMass) (MeasureFn (MultiplicationFn ?NUMBER 2205.0) PoundMass)))	Mid-level-ontology.kif 13618-13622	Wenn RealNumber ist gleich 1.0 und RealNumber %n{nicht}, dann RealNumber TonMass(s) ist gleich ** RealNumber und 2205.0 PoundMass(s) %n{nicht}
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER YardLength) (MeasureFn (MultiplicationFn 3.0 ?NUMBER) FootLength)))	Mid-level-ontology.kif 19100-19104	Wenn RealNumber ist gleich 1.0 und RealNumber %n{nicht}, dann RealNumber YardLength(s) ist gleich 3.0 und ** RealNumber FootLength(s) %n{nicht}

consequent

(<=> (measure ?O (MeasureFn ?A MetricTon)) (measure ?O (MeasureFn (MultiplicationFn ?A 2205.0) PoundMass)))	Mid-level-ontology.kif 13632-13638	Das mass von Physical ist RealNumber MetricTon(s) %n{nicht} genau dann wenn das mass von Physical ist RealNumber und 2205.0 PoundMass(s) %n{nicht}
(<=> (measure ?OBJ (MeasureFn ?DEG AngularDegree)) (measure ?OBJ (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcMinute)))	Geography.kif 378-380	Das mass von Physical ist RealNumber AngularDegree(s) %n{nicht} genau dann wenn das mass von Physical ist 60.0 und RealNumber ArcMinute(s) %n{nicht}
(<=> (measure ?OBJ (MeasureFn ?DEG ArcMinute)) (measure ?OBJ (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcSecond)))	Geography.kif 397-399	Das mass von Physical ist RealNumber ArcMinute(s) %n{nicht} genau dann wenn das mass von Physical ist 60.0 und RealNumber ArcSecond(s) %n{nicht}
(=> (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 2092-2106	Wenn arableLandArea GeographicArea and RealNumber UnitOfMeasure(s) und RealNumber ist groesserAlsOderGleich 0.0 %n{nicht} und totalArea GeographicArea and RealNumber UnitOfMeasure(s) und UnitOfMeasure ist ein fall von UnitOfArea %n{nicht}, dann es gibt GeographicArea um GeographicArea ist ein fall von ArableLand %n{nicht} und geographicSubregion GeographicArea and GeographicArea und das mass von GeographicArea ist RealNumber und RealNumber ** UnitOfMeasure(s) %n{nicht}
(=> (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	Wenn Muslim ist ein attribut von AutonomousAgent %n{nicht} und wert von dem Eigentum von AutonomousAgent ist gleich CurrencyMeasure %n{nicht}, dann die Aussage es gibt entity, entity,, , entity,, , entity, and und entity um entity ist ein fall von Zakat %n{nicht} und entity ist ein fall von Year %n{nicht} und entity geschieht waehrend die zeit des Bestehens von AutonomousAgent %n{nicht} und FullyFormed ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend entity %n{nicht} und entity ist der agent von AutonomousAgent %n{nicht} und entity ist ein patient von entity %n{nicht} und wert von entity ist entity entity(s) und entity ist ein fall von UnitOfCurrency %n{nicht} und entity ist groesserAls CurrencyMeasure und 0.025 %n{nicht} hat die modale Kraft von Obligation
(=> (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 659-669	Wenn comparativeArea GeographicArea, BinaryRelationExtendedToQuantities, PositiveRealNumber and GeographicArea und UnitOfMeasure ist ein fall von UnitOfArea %n{nicht} und das mass von GeographicArea ist RealNumber UnitOfMeasure(s) %n{nicht} und das mass von GeographicArea ist RealNumber UnitOfMeasure(s) %n{nicht}, dann BinaryRelationExtendedToQuantities RealNumber UnitOfMeasure(s) and PositiveRealNumber und RealNumber UnitOfMeasure(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 13593-13602	Wenn defaultMeasure Object and RealNumber UnitOfMeasure(s) und UnitOfMeasure ist ein fall von CompositeUnitOfMeasure %n{nicht}, dann die Aussage es gibt entity und RealNumberUANTITY um entity ist ein fall von Object %n{nicht} und das mass von entity ist RealNumberUANTITY UnitOfMeasure(s) %n{nicht} und RealNumberUANTITY ist groesserAls RealNumber und 1.5 %n{nicht} hat die modale Kraft von Unlikely
(=> (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 .5)))) Unlikely))	Mid-level-ontology.kif 13604-13613	Wenn defaultMeasure Object and RealNumber UnitOfMeasure(s) und UnitOfMeasure ist ein fall von CompositeUnitOfMeasure %n{nicht}, dann die Aussage es gibt entity und RealNumberUANTITY um entity ist ein fall von Object %n{nicht} und das mass von entity ist RealNumberUANTITY UnitOfMeasure(s) %n{nicht} und RealNumberUANTITY ist kleinerAls RealNumber und .5 %n{nicht} hat die modale Kraft von Unlikely
(=> (and (equal (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER) (not (equal ?NUMBER2 0))) (equal (AdditionFn (MultiplicationFn (FloorFn (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))	Merge.kif 5105-5116	Wenn Integer betrag Integer ist gleich Integer %n{nicht} und Integer ist gleich 0 nicht, dann (die groesste Ganzzahl kleiner als oder Gleichgestelltes zu Integer und Integer und Integer und Integer) ist gleich Integer %n{nicht}
(=> (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 1470-1481	Wenn RealNumber ist gleich VarianceAverageFn RealNumber and List %n{nicht} und 1 ist gleich Laenge von List %n{nicht}, dann RealNumber ist gleich ( RealNumber und 1te mitglied von List) und ( RealNumber und 1te mitglied von ** List) %n{nicht}
(=> (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 5915-5924	Wenn Human ist ein fall von HumanAdult %n{nicht} und das mass von Human ist RealNumber Pounds(s) %n{nicht}, dann bloodVolume Human and RealNumber2 Liter(s) und RealNumber2 ist gleich ** RealNumber und 0.07 und 2.33 %n{nicht}
(=> (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 2969-2986	Wenn Object ist ein fall von OnePercentMilk %n{nicht} und das mass von Object ist RealNumber UnitOfMeasure(s) %n{nicht} und UnitOfMeasure ist ein fall von UnitOfVolume %n{nicht}, dann es gibt Object und RealNumber2 um Object ist ein fall von ButterFat %n{nicht} und Object ist ein teil von Object %n{nicht} und es gibt nicht Object um Object ist ein fall von ButterFat %n{nicht} und Object ist gleich Object nicht und Object ist ein teil von Object %n{nicht} und das mass von Object ist RealNumber2 UnitOfMeasure(s) %n{nicht} und RealNumber2 ist gleich 0.01 und ** RealNumber %n{nicht}
(=> (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 2993-3011	Wenn Object ist ein fall von SemiSkimmedMilk %n{nicht} und das mass von Object ist RealNumber UnitOfMeasure(s) %n{nicht} und UnitOfMeasure ist ein fall von UnitOfVolume %n{nicht}, dann es gibt Object und RealNumber2 um Object ist ein fall von ButterFat %n{nicht} und Object ist ein teil von Object %n{nicht} und es gibt nicht Object um Object ist ein fall von ButterFat %n{nicht} und Object ist gleich Object nicht und Object ist ein teil von Object %n{nicht} und das mass von Object ist RealNumber2 UnitOfMeasure(s) %n{nicht} und RealNumber2 ist groesserAlsOderGleich 0.015 und RealNumber %n{nicht} und RealNumber2 ist kleinerAlsOderGleich 0.02 und ** RealNumber %n{nicht}
(=> (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 3018-3036	Wenn Object ist ein fall von SkimmedMilk %n{nicht} und das mass von Object ist RealNumber UnitOfMeasure(s) %n{nicht} und UnitOfMeasure ist ein fall von UnitOfVolume %n{nicht}, dann es gibt Object und RealNumber2 um Object ist ein fall von ButterFat %n{nicht} und Object ist ein teil von Object %n{nicht} und es gibt nicht Object um Object ist ein fall von ButterFat %n{nicht} und Object ist gleich Object nicht und Object ist ein teil von Object %n{nicht} und das mass von Object ist RealNumber2 UnitOfMeasure(s) %n{nicht} und RealNumber2 ist groesserAlsOderGleich 0.0 und RealNumber %n{nicht} und RealNumber2 ist kleinerAlsOderGleich 0.005 und ** RealNumber %n{nicht}
(=> (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 2945-2962	Wenn Object ist ein fall von TwoPercentMilk %n{nicht} und das mass von Object ist RealNumber UnitOfMeasure(s) %n{nicht} und UnitOfMeasure ist ein fall von UnitOfVolume %n{nicht}, dann es gibt Object und RealNumber2 um Object ist ein fall von ButterFat %n{nicht} und Object ist ein teil von Object %n{nicht} und es gibt nicht Object um Object ist ein fall von ButterFat %n{nicht} und Object ist gleich Object nicht und Object ist ein teil von Object %n{nicht} und das mass von Object ist RealNumber2 UnitOfMeasure(s) %n{nicht} und RealNumber2 ist gleich 0.02 und ** RealNumber %n{nicht}
(=> (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 2851-2869	Wenn Object ist ein fall von WholeMilk %n{nicht} und das mass von Object ist RealNumber UnitOfMeasure(s) %n{nicht} und UnitOfMeasure ist ein fall von UnitOfVolume %n{nicht}, dann es gibt Object und RealNumber2 um Object ist ein fall von ButterFat %n{nicht} und Object ist ein teil von Object %n{nicht} und es gibt nicht Object um Object ist ein fall von ButterFat %n{nicht} und Object ist gleich Object nicht und Object ist ein teil von Object %n{nicht} und das mass von Object ist RealNumber2 UnitOfMeasure(s) %n{nicht} und RealNumber2 ist groesserAlsOderGleich 0.0325 und RealNumber %n{nicht} und RealNumber2 ist kleinerAlsOderGleich 0.05 und ** RealNumber %n{nicht}
(=> (and (instance ?NUMBER Integer) (not (equal ?NUMBER 0))) (equal 1 (MultiplicationFn ?NUMBER (ReciprocalFn ?NUMBER))))	Merge.kif 5087-5092	Wenn RealNumber ist ein fall von Integer %n{nicht} und RealNumber ist gleich 0 nicht, dann 1 ist gleich RealNumber und der reziprokerwert von ** RealNumber %n{nicht}
(=> (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 3079-3093	Wenn TimePosition ist ein fall von ElectricalTransformer %n{nicht} und WireCoil ist ein fall von WireCoil %n{nicht} und WireCoil ist ein fall von WireCoil %n{nicht} und coilCount WireCoil and Integer und coilCount WireCoil and Integer und das mass von WireCoil ist Volt RealNumber(s) %n{nicht} haelt waehrend TimePosition %n{nicht}, dann das mass von WireCoil ist Volt RealNumber(s) %n{nicht} haelt waehrend TimePosition %n{nicht} und RealNumber ist gleich RealNumber und Integer und ** Integer %n{nicht}
(=> (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 1515-1530	Wenn WaterWave ist ein fall von WaterWave %n{nicht} und waveHeight WaterWave and LengthMeasure, dann es gibt List, WaterArea,, , UnitOfMeasure, and und RealNumber um LengthMeasure ist ein Mitglied von List und WaterArea ist ein fall von WaterArea %n{nicht} und eventLocated WaterWave and WaterArea und UnitOfMeasure ist ein fall von UnitOfLength %n{nicht} und significantWaveHeight WaterArea, die zeit des Bestehens von WaterWave and RealNumber UnitOfMeasure(s) und RealNumber ist gleich 4.0 und StandardDeviationFn ** List %n{nicht}
(=> (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 2178-2196	Wenn otherLandUseArea GeographicArea and RealNumber UnitOfMeasure(s) und RealNumber ist groesserAlsOderGleich 0.0 %n{nicht} und totalArea GeographicArea and RealNumber UnitOfMeasure(s) und UnitOfMeasure ist ein fall von UnitOfArea %n{nicht}, dann es gibt GeographicArea um GeographicArea ist ein fall von LandArea %n{nicht} und GeographicArea ist ein fall von ArableLand nicht und GeographicArea ist ein fall von PermanentCropLand nicht und geographicSubregion GeographicArea and GeographicArea und das mass von GeographicArea ist RealNumber und RealNumber ** UnitOfMeasure(s) %n{nicht}
(=> (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 2138-2152	Wenn permanentCropLandArea GeographicArea and RealNumber UnitOfMeasure(s) und RealNumber ist groesserAlsOderGleich 0.0 %n{nicht} und totalArea GeographicArea and RealNumber UnitOfMeasure(s) und UnitOfMeasure ist ein fall von UnitOfArea %n{nicht}, dann es gibt GeographicArea um GeographicArea ist ein fall von PermanentCropLand %n{nicht} und geographicSubregion GeographicArea and GeographicArea und das mass von GeographicArea ist RealNumber und RealNumber ** UnitOfMeasure(s) %n{nicht}
(=> (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 2229-2239	Wenn AutonomousAgent besitzt Object %n{nicht} und das mass von Object ist RealNumber ShareUnit(s) %n{nicht} und splitFor StockSplit, Integer and Integer, dann entity ist gleich RealNumber und Integer %n{nicht} und entity ist gleich entity und Integer %n{nicht} und das mass von Object ist entity ShareUnit(s) %n{nicht} haelt waehrend sofort nach die zeit des Bestehens von StockSplit %n{nicht}
(=> (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 538-548	Wenn principalAmount FinancialAccount and RealNumber UnitOfMeasure(s) und fixedInterestRate FinancialAccount and RealNumber und simpleInterest FinancialAccount, RealNumber UnitOfMeasure(s) and TimeInterval und RealNumber-Decimal ist gleich RealNumber und 100 %n{nicht}, dann RealNumber ist gleich RealNumber und RealNumber-Decimal %n{nicht}
(=> (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 17985-18010	Wenn relativeAngle Object, Object and RealNumber und physicalEnd Object and Object und physicalEnd Object and Object und Object ist gleich Object nicht und die laenge von Object ist RealNumber1 UnitOfMeasure(s) %n{nicht} und die laenge von Object ist RealNumber2 UnitOfMeasure(s) %n{nicht} und der abstand zwischen Object und Object ist RealNumber3 UnitOfMeasure(s) und physicalEnd Object and Object und physicalEnd Object and Object und Object ist gleich Object nicht und Object schliesst Object raeumlich nicht an, dann RealNumber ist gleich der arcuskosinus von (( RealNumber3 und RealNumber3 und RealNumber1 und RealNumber1) und RealNumber2 und RealNumber2) und 2.0 und RealNumber1 und RealNumber2 %n{nicht}
(=> (attribute ?F Flat) (exists (?S1 ?S2 ?HF ?H1 ?H2 ?U) (and (side ?S1 ?F) (side ?S2 ?F) (meetsSpatially ?S1 ?S2) (not (equal ?S1 ?S2)) (instance ?U UnitOfLength) (height ?F (MeasureFn ?HF ?U)) (height ?S1 (MeasureFn ?H1 ?U)) (height ?S2 (MeasureFn ?H2 ?U)) (greaterThan ?H1 (MultiplicationFn 2.0 ?HF)) (greaterThan ?H2 (MultiplicationFn 2.0 ?HF)))))	Mid-level-ontology.kif 2775-2788	Wenn Flat ist ein attribut von SelfConnectedObject %n{nicht}, dann es gibt SelfConnectedObject, SelfConnectedObject,, , RealNumber,, , RealNumber,, , RealNumber, and und UnitOfMeasure um eine seite von SelfConnectedObject ist SelfConnectedObject und eine seite von SelfConnectedObject ist SelfConnectedObject und SelfConnectedObject schliesst SelfConnectedObject raeumlich an und SelfConnectedObject ist gleich SelfConnectedObject nicht und UnitOfMeasure ist ein fall von UnitOfLength %n{nicht} und die hoehe von SelfConnectedObject ist RealNumber UnitOfMeasure(s) %n{nicht} und die hoehe von SelfConnectedObject ist RealNumber UnitOfMeasure(s) %n{nicht} und die hoehe von SelfConnectedObject ist RealNumber UnitOfMeasure(s) %n{nicht} und RealNumber ist groesserAls 2.0 und RealNumber %n{nicht} und RealNumber ist groesserAls 2.0 und RealNumber %n{nicht}

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 402-402	RealNumber ArcMinute(s) ist gleich 60.0 und ** RealNumber ArcSecond(s) %n{nicht}
(equal (MeasureFn ?NUM AngularDegree) (MeasureFn (MultiplicationFn 60.0 ?NUM) ArcMinute))	Geography.kif 383-383	RealNumber AngularDegree(s) ist gleich 60.0 und ** RealNumber ArcMinute(s) %n{nicht}
(equal (MeasureFn ?NUMBER Amu) (MeasureFn (MultiplicationFn ?NUMBER 1.6605402E-24) Gram))	Merge.kif 7152-7154	RealNumber Amu(s) ist gleich ** RealNumber und 1.6605402E-24 Gram(s) %n{nicht}
(equal (MeasureFn ?NUMBER Angstrom) (MeasureFn (MultiplicationFn ?NUMBER 1.0E-10) Meter))	Merge.kif 7174-7176	RealNumber Angstrom(s) ist gleich ** RealNumber und 1.0E-10 Meter(s) %n{nicht}
(equal (MeasureFn ?NUMBER AngularDegree) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180.0)) Radian))	Merge.kif 7368-7370	RealNumber AngularDegree(s) ist gleich ** RealNumber und Pi und 180.0 Radian(s) %n{nicht}
(equal (MeasureFn ?NUMBER BritishThermalUnit) (MeasureFn (MultiplicationFn ?NUMBER 1055.05585262) Joule))	Merge.kif 7354-7356	RealNumber BritishThermalUnit(s) ist gleich ** RealNumber und 1055.05585262 Joule(s) %n{nicht}
(equal (MeasureFn ?NUMBER Byte) (MeasureFn (MultiplicationFn ?NUMBER 8) Bit))	Merge.kif 7426-7428	RealNumber Byte(s) ist gleich ** RealNumber und 8 Bit(s) %n{nicht}
(equal (MeasureFn ?NUMBER Calorie) (MeasureFn (MultiplicationFn ?NUMBER 4.1868) Joule))	Merge.kif 7346-7348	RealNumber Calorie(s) ist gleich ** RealNumber und 4.1868 Joule(s) %n{nicht}
(equal (MeasureFn ?NUMBER Centimeter) (MeasureFn (MultiplicationFn ?NUMBER 0.01) Meter))	Merge.kif 6781-6783	RealNumber Centimeter(s) ist gleich ** RealNumber und 0.01 Meter(s) %n{nicht}
(equal (MeasureFn ?NUMBER DayDuration) (MeasureFn (MultiplicationFn ?NUMBER 24) HourDuration))	Merge.kif 7088-7090	RealNumber DayDuration(s) ist gleich ** RealNumber und 24 HourDuration(s) %n{nicht}
(equal (MeasureFn ?NUMBER ElectronVolt) (MeasureFn (MultiplicationFn ?NUMBER 1.60217733E-19) Joule))	Merge.kif 7162-7164	RealNumber ElectronVolt(s) ist gleich ** RealNumber und 1.60217733E-19 Joule(s) %n{nicht}
(equal (MeasureFn ?NUMBER EuroCent) (MeasureFn (MultiplicationFn ?NUMBER 0.01) EuroDollar))	Merge.kif 7406-7408	RealNumber EuroCent(s) ist gleich ** RealNumber und 0.01 EuroDollar(s) %n{nicht}
(equal (MeasureFn ?NUMBER FootLength) (MeasureFn (MultiplicationFn ?NUMBER 0.3048) Meter))	Merge.kif 7187-7189	RealNumber FootLength(s) ist gleich ** RealNumber und 0.3048 Meter(s) %n{nicht}
(equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration))	Merge.kif 7096-7098	RealNumber HourDuration(s) ist gleich ** RealNumber und 60 MinuteDuration(s) %n{nicht}
(equal (MeasureFn ?NUMBER Inch) (MeasureFn (MultiplicationFn ?NUMBER 0.0254) Meter))	Merge.kif 7194-7196	RealNumber Inch(s) ist gleich ** RealNumber und 0.0254 Meter(s) %n{nicht}
(equal (MeasureFn ?NUMBER KiloByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) Byte))	Merge.kif 7436-7438	RealNumber KiloByte(s) ist gleich ** RealNumber und 1024 Byte(s) %n{nicht}
(equal (MeasureFn ?NUMBER Kilogram) (MeasureFn (MultiplicationFn ?NUMBER 1000) Gram))	Merge.kif 7280-7283	RealNumber Kilogram(s) ist gleich ** RealNumber und 1000 Gram(s) %n{nicht}
(equal (MeasureFn ?NUMBER Kilometer) (MeasureFn (MultiplicationFn ?NUMBER 1000) Meter))	Merge.kif 6800-6803	RealNumber Kilometer(s) ist gleich ** RealNumber und 1000 Meter(s) %n{nicht}
(equal (MeasureFn ?NUMBER MegaByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) KiloByte))	Merge.kif 7446-7448	RealNumber MegaByte(s) ist gleich ** RealNumber und 1024 KiloByte(s) %n{nicht}
(equal (MeasureFn ?NUMBER Micrometer) (MeasureFn (MultiplicationFn ?NUMBER 0.0000001) Meter))	Geography.kif 7097-7100	RealNumber Micrometer(s) ist gleich ** RealNumber und 0.0000001 Meter(s) %n{nicht}
(equal (MeasureFn ?NUMBER Mile) (MeasureFn (MultiplicationFn ?NUMBER 1609.344) Meter))	Merge.kif 7201-7203	RealNumber Mile(s) ist gleich ** RealNumber und 1609.344 Meter(s) %n{nicht}
(equal (MeasureFn ?NUMBER Millimeter) (MeasureFn (MultiplicationFn ?NUMBER 0.001) Meter))	Merge.kif 6790-6793	RealNumber Millimeter(s) ist gleich ** RealNumber und 0.001 Meter(s) %n{nicht}
(equal (MeasureFn ?NUMBER MinuteDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) SecondDuration))	Merge.kif 7104-7106	RealNumber MinuteDuration(s) ist gleich ** RealNumber und 60 SecondDuration(s) %n{nicht}
(equal (MeasureFn ?NUMBER PoundForce) (MeasureFn (MultiplicationFn ?NUMBER 4.448222) Newton))	Merge.kif 7336-7338	RealNumber PoundForce(s) ist gleich ** RealNumber und 4.448222 Newton(s) %n{nicht}
(equal (MeasureFn ?NUMBER PoundMass) (MeasureFn (MultiplicationFn ?NUMBER 453.59237) Gram))	Merge.kif 7297-7299	RealNumber PoundMass(s) ist gleich ** RealNumber und 453.59237 Gram(s) %n{nicht}

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: