DivisionFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DivisionFn ChineseLanguage "如果 ?NUMBER1 和 ?NUMBER2 是 Number,那么 (DivisionFn ?NUMBER1 ?NUMBER2)就是 ?NUMBER1 除 ?NUMBER2 的商。注：当 ?NUMBER1 = 1 时， (DivisionFn ?NUMBER1 ?NUMBER2)就是 ?NUMBER2 的倒数。也要注意的是当 ?NUMBER2 = 0 时， (DivisionFn ?NUMBER1?NUMBER2) 会是为定义。")	chinese_format.kif 2220-2223
(documentation DivisionFn EnglishLanguage "If ?NUMBER1 and ?NUMBER2 are Numbers, then (DivisionFn ?NUMBER1 ?NUMBER2) is the result of dividing ?NUMBER1 by ?NUMBER2. Note that when ?NUMBER1 = 1 (DivisionFn ?NUMBER1 ?NUMBER2) is the reciprocal of ?NUMBER2. Note too that (DivisionFn ?NUMBER1 ?NUMBER2) is undefined when ?NUMBER2 = 0.")	Merge.kif 4747-4751
(documentation DivisionFn JapaneseLanguage "?NUMBER1 と ?NUMBER2 が Number の場合、 (DivisionFn ?NUMBER1 ?NUMBER2) は ?NUMBER1を ?NUMBER2で除算した結果である。注１：?NUMBER1 = 1 (DivisionFn ?NUMBER1 ?NUMBER2) が ?NUMBER2 の逆数である場合がある。　注２：?NUMBER2 = 0 の場合、(DivisionFn ?NUMBER1 ?NUMBER2) は未定義である。")	japanese_format.kif 884-887
(domain DivisionFn 1 RealNumber)	Merge.kif 4743-4743	Die Zahl 1 Argument von DivisionFn ist ein fall von RealNumber %n{nicht}
(domain DivisionFn 2 RealNumber)	Merge.kif 4744-4744	Die Zahl 2 Argument von DivisionFn ist ein fall von RealNumber %n{nicht}
(identityElement DivisionFn 1)	Merge.kif 5298-5298	1 ist ein identitaetsElement von DivisionFn
(instance DivisionFn BinaryFunction)	Merge.kif 4740-4740	DivisionFn ist ein fall von BinaryFunction %n{nicht}
(instance DivisionFn PartialValuedRelation)	Merge.kif 4742-4742	DivisionFn ist ein fall von PartialValuedRelation %n{nicht}
(range DivisionFn RealNumber)	Merge.kif 4745-4745	bildbereich von DivisionFn ist ein fall von RealNumber {nicht}

appearance as argument number 2

(format ChineseLanguage DivisionFn "%*[/]")	chinese_format.kif 686-686
(format EnglishLanguage DivisionFn "%*[/]")	english_format.kif 688-688
(format FrenchLanguage DivisionFn "%*[/]")	french_format.kif 416-416
(format ItalianLanguage DivisionFn "%*[/]")	relations-it.txt 80-80
(format JapaneseLanguage DivisionFn "%*[/]")	japanese_format.kif 2133-2133
(format PortugueseLanguage DivisionFn "%*[/]")	portuguese_format.kif 368-368
(format cz DivisionFn "%*[/]")	relations-cz.txt 425-425
(format de DivisionFn "%*[/]")	relations-de.txt 893-893
(format hi DivisionFn "%*[/]")	relations-hindi.txt 120-120
(format ro DivisionFn "%*[/]")	relations-ro.kif 438-438
(format sv DivisionFn "%*[/]")	relations-sv.txt 460-460
(format tg DivisionFn "%*[/]")	relations-cb.txt 114-114
(termFormat ChineseLanguage DivisionFn "部")	domainEnglishFormat.kif 19992-19992
(termFormat ChineseLanguage DivisionFn "除法函数")	chinese_format.kif 687-687
(termFormat ChineseTraditionalLanguage DivisionFn "部")	domainEnglishFormat.kif 19991-19991
(termFormat EnglishLanguage DivisionFn "division")	domainEnglishFormat.kif 19990-19990
(termFormat tg DivisionFn "tungkulin ng paghahatihati")	relations-tg.txt 176-176

antecedent

(=> (and (approximateDiameter ?O (MeasureFn ?L ?LM)) (sphereRadius ?S (MeasureFn (DivisionFn ?L 2.0) ?LM)) (measure ?S (MeasureFn ?V1 ?VM)) (measure ?O (MeasureFn ?V2 ?VM)) (instance ?LM UnitOfLength) (instance ?VM UnitOfVolume)) (equal ?V1 ?V2))	Mid-level-ontology.kif 17975-17986	Wenn approximateDiameter SelfConnectedObject and RealNumber RealNumberM(s) und sphereRadius Object and RealNumber und 2.0 RealNumberM(s) und das mass von Object ist RealNumber UnitOfMeasure(s) %n{nicht} und das mass von SelfConnectedObject ist RealNumber UnitOfMeasure(s) %n{nicht} und RealNumberM ist ein fall von UnitOfLength %n{nicht} und UnitOfMeasure ist ein fall von UnitOfVolume %n{nicht}, dann RealNumber ist gleich ** RealNumber %n{nicht}
(=> (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 3050-3071	Wenn SymbolicString ist gleich ReverseFn SymbolicString %n{nicht} und NonnegativeInteger ist gleich StringLengthFn SymbolicString %n{nicht} und NonnegativeInteger ist groesserAls 1 %n{nicht} und NonnegativeInteger ist groesserAls 0 %n{nicht} und NonnegativeInteger ist kleinerAls NonnegativeInteger %n{nicht} und Integer ist gleich die oberstegrenze von ( NonnegativeInteger und 1) und 2 %n{nicht} und NonnegativeIntegerEW ist gleich (( Integer und NonnegativeInteger) und Integer) %n{nicht} und SymbolicString ist gleich SubstringFn SymbolicString, NonnegativeInteger and (1 und NonnegativeInteger) %n{nicht}, dann SymbolicString ist gleich SubstringFn SymbolicString, NonnegativeIntegerEW and (1 und ** NonnegativeIntegerEW) %n{nicht}
(=> (and (instance ?C CoffeeArabica) (measure ?C (MeasureFn ?X Gram)) (instance ?CC Caffeine) (part ?CC ?C) (measure ?CC (MeasureFn ?Y Gram)) (equal ?Z (DivisionFn ?Y ?X))) (and (greaterThanOrEqualTo ?Z 0.008) (lessThanOrEqualTo ?Z 0.014)))	Economy.kif 4645-4658	Wenn Object ist ein fall von CoffeeArabica %n{nicht} und das mass von Object ist RealNumber Gram(s) %n{nicht} und ObjectC ist ein fall von Caffeine %n{nicht} und ObjectC ist ein teil von Object %n{nicht} und das mass von ObjectC ist RealNumber Gram(s) %n{nicht} und RealNumber ist gleich RealNumber und RealNumber %n{nicht}, dann RealNumber ist groesserAlsOderGleich 0.008 %n{nicht} und RealNumber ist kleinerAlsOderGleich 0.014 %n{nicht}
(=> (and (instance ?C CoffeeRobusta) (measure ?C (MeasureFn ?X Gram)) (instance ?CC Caffeine) (part ?CC ?C) (measure ?CC (MeasureFn ?Y Gram)) (equal ?Z (DivisionFn ?Y ?X))) (and (greaterThanOrEqualTo ?Z 0.017) (lessThanOrEqualTo ?Z 0.04)))	Economy.kif 4669-4682	Wenn Object ist ein fall von CoffeeRobusta %n{nicht} und das mass von Object ist RealNumber Gram(s) %n{nicht} und ObjectC ist ein fall von Caffeine %n{nicht} und ObjectC ist ein teil von Object %n{nicht} und das mass von ObjectC ist RealNumber Gram(s) %n{nicht} und RealNumber ist gleich RealNumber und RealNumber %n{nicht}, dann RealNumber ist groesserAlsOderGleich 0.017 %n{nicht} und RealNumber ist kleinerAlsOderGleich 0.04 %n{nicht}
(=> (and (irrigatedLandArea ?REGION (MeasureFn ?AMOUNT ?UNIT)) (instance ?UNIT UnitOfArea) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (equal ?FRACTION (DivisionFn ?AMOUNT ?TOTAL))) (irrigatedLandArea ?REGION (MeasureFn ?FRACTION ?UNIT)))	Geography.kif 2215-2225	Wenn irrigatedLandArea GeographicArea and RealNumber UnitOfMeasure(s) und UnitOfMeasure ist ein fall von UnitOfArea %n{nicht} und totalArea GeographicArea and RealNumber UnitOfMeasure(s) und RealNumber ist gleich RealNumber und RealNumber %n{nicht}, dann irrigatedLandArea GeographicArea and RealNumber UnitOfMeasure(s)
(=> (and (irrigatedLandArea ?REGION (MeasureFn ?AMOUNT ?UNIT)) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea) (equal ?FRACTION (DivisionFn ?AMOUNT ?TOTAL))) (irrigatedLandArea ?REGION (MeasureFn ?FRACTION ?UNIT)))	Geography.kif 2227-2237	Wenn irrigatedLandArea GeographicArea and RealNumber UnitOfMeasure(s) 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 irrigatedLandArea GeographicArea and RealNumber UnitOfMeasure(s)
(=> (and (measure ?P1 (MeasureFn ?N1 Lumen)) (measure ?P2 (MeasureFn ?N2 Lumen)) (part ?P1 ?O) (part ?P2 ?O) (not (equal ?P1 ?P2)) (greaterThan ?N1 ?N2) (equal (DivisionFn ?N1 ?N2) ?R) (contrastRatio ?O ?R)) (not (exists (?P3 ?P4 ?N3 ?N4) (and (measure ?P3 (MeasureFn ?N3 Lumen)) (measure ?P4 (MeasureFn ?N4 Lumen)) (part ?P3 ?O) (part ?P4 ?O) (not (equal ?P3 ?P4)) (greaterThan ?N3 ?N4) (greaterThan (DivisionFn ?N3 ?N4) ?R)))))	ComputingBrands.kif 3735-3756	Wenn das mass von Object ist RealNumber Lumen(s) %n{nicht} und das mass von Object ist RealNumber Lumen(s) %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist gleich Object nicht und RealNumber ist groesserAls RealNumber %n{nicht} und RealNumber und RealNumber ist gleich RealNumber %n{nicht} und contrastRatio Object and RealNumber, dann es gibt nicht Object, Object,, , RealNumber, and und RealNumber um das mass von Object ist RealNumber Lumen(s) %n{nicht} und das mass von Object ist RealNumber Lumen(s) %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist gleich Object nicht und RealNumber ist groesserAls RealNumber %n{nicht} und RealNumber und RealNumber ist groesserAls RealNumber %n{nicht}
(=> (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 (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 (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

consequent

(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (BirthsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 82-97	Year ist ein fall von das jahr Integer %n{nicht} und BirthsPerThousandFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn PopulationFn GeopoliticalArea und 1000 ist gleich RealNumber %n{nicht} und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und Integer und RealNumber ist gleich ** RealNumber %n{nicht}
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (DeathsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?DEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?PERSON) (instance ?PERSON Human) (during (WhenFn ?DEATH) ?YEAR) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 118-133	Year ist ein fall von das jahr Integer %n{nicht} und DeathsPerThousandFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn PopulationFn GeopoliticalArea und 1000 ist gleich RealNumber %n{nicht} und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und Integer und RealNumber ist gleich ** RealNumber %n{nicht}
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS) (equal ?INFANTDEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?INFANT) (instance ?INFANT Human) (age ?INFANT (MeasureFn ?AGE YearDuration)) (lessThan ?AGE 1) (during (WhenFn ?DEATH) ?YEAR) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))	People.kif 238-264	Year ist ein fall von das jahr Integer %n{nicht} und DeathsPerThousandLiveBirthsFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und Integer und 1000 ist gleich RealNumber %n{nicht} und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und Integer und RealNumber ist gleich RealNumber %n{nicht}
(<=> (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 ist ein fall von das jahr Integer %n{nicht} und MigrantsPerThousandFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn ( Integer und Integer) ist gleich 1 %n{nicht} und Entity ist ein fall von das jahr Integer %n{nicht} und PopulationFn GeopoliticalArea ist gleich RealNumber %n{nicht} haelt waehrend Year %n{nicht} und RealNumber und 1000 ist gleich RealNumber %n{nicht} und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ( Integer und Integer) ist gleich RealNumber %n{nicht} und RealNumber und RealNumber ist gleich RealNumber %n{nicht}
(<=> (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 ist ein fall von das jahr Integer %n{nicht} und PopulationGrowthFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn ( Integer und IntegerP) ist gleich 1 %n{nicht} und TimePosition ist ein fall von das jahr IntegerP %n{nicht} und PopulationFn GeopoliticalArea ist gleich RealNumber %n{nicht} haelt waehrend Year %n{nicht} und PopulationFn GeopoliticalArea ist gleich RealNumber %n{nicht} haelt waehrend TimePosition %n{nicht} und RealNumber und RealNumber ist gleich RealNumber %n{nicht} und ( RealNumber und 1) ist gleich RealNumber %n{nicht}
(<=> (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 List and RealNumber genau dann wenn es gibt List und PositiveInteger um Laenge von List ist gleich Laenge von List %n{nicht} und 1te mitglied von List ist gleich 1te mitglied von List %n{nicht} und fuer alle PositiveInteger wenn PositiveInteger ist ein Mitglied von List, dann es gibt RealNumber, RealNumberMINUSONE,, , PositiveInteger, and und PositiveInteger um RealNumber ist groesserAls 1 %n{nicht} und RealNumber ist kleinerAlsOderGleich Laenge von List %n{nicht} und PositiveIntegerte mitglied von List ist gleich RealNumber %n{nicht} und PositiveInteger ist ein Mitglied von List und RealNumber ist gleich PositiveIntegerte mitglied von List %n{nicht} und PositiveInteger ist ein Mitglied von List und RealNumberMINUSONE ist gleich ( RealNumber und 1) %n{nicht} und RealNumberMINUSONE ist gleich PositiveIntegerte mitglied von List %n{nicht} und PositiveInteger ist gleich ( PositiveInteger und PositiveInteger) %n{nicht} und PositiveInteger ist gleich Laenge von List %n{nicht} und RealNumber ist gleich PositiveIntegerte mitglied von List und ** PositiveInteger %n{nicht}
(<=> (beliefGroupPercentInRegion ?BG ?N ?R) (exists (?G1 ?G2 ?P ?P2 ?N1 ?N2) (and (located ?P ?R) (member ?P ?BG) (member ?P ?G1) (memberCount ?G1 ?N1) (located ?P2 ?R) (member ?P2 ?G2) (memberCount ?G2 ?N2) (equal (DivisionFn ?N 100) (DivisionFn ?N1 ?N2)))))	People.kif 1528-1539	beliefGroupPercentInRegion BeliefGroup, RealNumber and GeographicArea genau dann wenn es gibt Collection, Collection,, , Physical,, , Physical2,, , RealNumber1, and und RealNumber2 um Physical befindet sich an %n{nicht} und Physical ist ein Mitglied von BeliefGroup %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht} und memberCount Collection and RealNumber1 und Physical2 befindet sich an %n{nicht} und Physical2 ist ein Mitglied von Collection %n{nicht} und memberCount Collection and RealNumber2 und RealNumber und 100 ist gleich RealNumber1 und ** RealNumber2 %n{nicht}
(<=> (compressionRatio ?E ?R) (and (minCylinderVolume ?E (MeasureFn ?MIN ?M)) (maxCylinderVolume ?E (MeasureFn ?MAX ?M)) (equal ?R (DivisionFn ?MIN ?MAX))))	Cars.kif 1911-1916	compressionRatio Engine and RealNumber genau dann wenn minCylinderVolume Engine and RealNumber UnitOfMeasure(s) und maxCylinderVolume Engine and UnitOfMeasureAX UnitOfMeasure(s) und RealNumber ist gleich RealNumber und ** UnitOfMeasureAX %n{nicht}
(<=> (equal (MaleToFemaleRatioFn ?AREA) ?REALNUMBER) (and (equal ?MALECOUNT (CardinalityFn (KappaFn ?MALE (and (instance ?MALE Human) (attribute ?MALE Male) (inhabits ?MALE ?AREA))))) (equal ?FEMALECOUNT (CardinalityFn (KappaFn ?FEMALE (and (instance ?FEMALE Human) (attribute ?FEMALE Female) (inhabits ?FEMALE ?AREA))))) (equal (DivisionFn ?MALECOUNT ?FEMALECOUNT) ?REALNUMBER)))	People.kif 206-223	MaleToFemaleRatioFn GeopoliticalArea ist gleich RealNumber %n{nicht} genau dann wenn Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und Integer und Integer ist gleich RealNumber %n{nicht}
(<=> (ethnicityPercentInRegion ?BG ?N ?R) (exists (?G1 ?G2 ?P ?P2 ?N1 ?N2) (and (located ?P ?R) (member ?P ?BG) (member ?P ?G1) (memberCount ?G1 ?N1) (located ?P2 ?R) (member ?P2 ?G2) (memberCount ?G2 ?N2) (equal (DivisionFn ?N 100) (DivisionFn ?N1 ?N2)))))	People.kif 1547-1558	ethnicityPercentInRegion EthnicGroup, RealNumber and GeographicArea genau dann wenn es gibt Collection, Collection,, , Physical,, , Physical2,, , RealNumber1, and und RealNumber2 um Physical befindet sich an %n{nicht} und Physical ist ein Mitglied von EthnicGroup %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht} und memberCount Collection and RealNumber1 und Physical2 befindet sich an %n{nicht} und Physical2 ist ein Mitglied von Collection %n{nicht} und memberCount Collection and RealNumber2 und RealNumber und 100 ist gleich RealNumber1 und ** RealNumber2 %n{nicht}
(<=> (languagePercentInRegion ?L ?N ?R) (exists (?G1 ?G2 ?P ?P2 ?N1 ?N2) (and (located ?P ?R) (member ?P ?G1) (speaksLanguage ?P ?L) (memberCount ?G1 ?N1) (located ?P2 ?R) (member ?P2 ?G2) (memberCount ?G2 ?N2) (equal (DivisionFn ?N 100) (DivisionFn ?N1 ?N2)))))	People.kif 1566-1577	languagePercentInRegion Language, RealNumber and GeographicArea genau dann wenn es gibt Collection, Collection,, , SentientAgent,, , SentientAgent2,, , RealNumber1, and und RealNumber2 um SentientAgent befindet sich an %n{nicht} und SentientAgent ist ein Mitglied von Collection %n{nicht} und speaksLanguage SentientAgent and Language und memberCount Collection and RealNumber1 und SentientAgent2 befindet sich an %n{nicht} und SentientAgent2 ist ein Mitglied von Collection %n{nicht} und memberCount Collection and RealNumber2 und RealNumber und 100 ist gleich RealNumber1 und ** RealNumber2 %n{nicht}
(<=> (measure ?OBJECT (MeasureFn ?NUMBER OunceMass)) (measure ?OBJECT (MeasureFn (DivisionFn ?NUMBER 16.0) PoundMass)))	Mid-level-ontology.kif 13353-13358	Das mass von Physical ist RealNumber OunceMass(s) %n{nicht} genau dann wenn das mass von Physical ist RealNumber und 16.0 PoundMass(s) %n{nicht}
(=> (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 ?A (AverageFn ?L)) (greaterThan (ListLengthFn ?L) 0)) (equal ?A (DivisionFn (ListSumFn ?L) (ListLengthFn ?L))))	Merge.kif 3278-3285	Wenn RealNumber ist gleich AverageFn List %n{nicht} und Laenge von List ist groesserAls 0 %n{nicht}, dann RealNumber ist gleich ListSumFn List und Laenge von List %n{nicht}
(=> (and (equal ?V (VarianceFn ?L)) (equal ?M (AverageFn ?L))) (equal ?V (DivisionFn (VarianceAverageFn ?M ?L) (ListLengthFn ?L))))	Weather.kif 1459-1468	Wenn RealNumber ist gleich VarianceFn List %n{nicht} und RealNumber ist gleich AverageFn List %n{nicht}, dann RealNumber ist gleich VarianceAverageFn RealNumber and List und Laenge von ** List %n{nicht}
(=> (and (instance ?BTS BimetalTemperatureSensor) (instance ?M1 Metal) (instance ?M2 Metal) (not (equal ?M1 ?M2)) (part ?M1 ?BTS) (part ?M2 ?BTS) (instance ?T1 TemperatureMeasure) (instance ?T2 TemperatureMeasure) (instance ?L1 LengthMeasure) (instance ?L2 LengthMeasure) (instance ?L3 LengthMeasure) (instance ?L4 LengthMeasure) (not (equal ?T1 ?T2)) (not (equal ?TM1 ?TM2)) (holdsDuring ?TM1 (and (measure ?BTS ?T1) (measure ?M1 ?L1) (measure ?M2 ?L2))) (holdsDuring ?TM2 (and (measure ?BTS ?T2) (measure ?M1 ?L3) (measure ?M2 ?L4)))) (not (equal (DivisionFn ?L1 ?L2) (DivisionFn ?L3 ?L4))))	Cars.kif 4066-4098	Wenn Object ist ein fall von BimetalTemperatureSensor %n{nicht} und Object ist ein fall von Metal %n{nicht} und Object ist ein fall von Metal %n{nicht} und Object ist gleich Object nicht und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Entity ist ein fall von TemperatureMeasure %n{nicht} und Entity ist ein fall von TemperatureMeasure %n{nicht} und RealNumber ist ein fall von LengthMeasure %n{nicht} und RealNumber ist ein fall von LengthMeasure %n{nicht} und RealNumber ist ein fall von LengthMeasure %n{nicht} und RealNumber ist ein fall von LengthMeasure %n{nicht} und Entity ist gleich Entity nicht und TimePosition ist gleich TimePosition nicht und das mass von Object ist Entity %n{nicht} und das mass von Object ist RealNumber %n{nicht} und das mass von Object ist RealNumber %n{nicht} haelt waehrend TimePosition %n{nicht} und das mass von Object ist Entity %n{nicht} und das mass von Object ist RealNumber %n{nicht} und das mass von Object ist RealNumber %n{nicht} haelt waehrend TimePosition %n{nicht}, dann RealNumber und RealNumber ist gleich RealNumber und RealNumber nicht
(=> (and (instance ?BUYINGS Collection) (instance ?GMB CurrencyMeasure) (instance ?TOTAL RealNumber) (equal ?GMB (GMBFn ?BUYINGS)) (equal ?TOTAL (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Object) (exists (?BUYING) (and (member ?BUYING ?BUYINGS) (patient ?BUYING ?ITEM)))))))) (equal (ABPFn ?BUYINGS) (DivisionFn ?GMB ?TOTAL)))	UXExperimentalTerms.kif 3239-3259	Wenn Collection ist ein fall von Collection %n{nicht} und RealNumber ist ein fall von CurrencyMeasure %n{nicht} und Integer ist ein fall von RealNumber %n{nicht} und RealNumber ist gleich GMBFn Collection %n{nicht} und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht}, dann ABPFn Collection ist gleich RealNumber und Integer %n{nicht}
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (equal (DivisionFn (CardinalityFn (exists (?LISTING ?SITE ?ITEM) (KappaFn ?LISTING (and (instance ?LISTING WebListing) (instance ?SITE WebSite) (instance ?ITEM Physical) (member ?LISTING ?COLL) (patient ?LISTING ?ITEM) (hostedOn ?LISTING ?SITE) (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?ITEM) (eCommerceSite ?BUYING ?SITE))))))) (CardinalityFn ?COLL)) (BidCountFn ?COLL)))	UXExperimentalTerms.kif 2845-2870	Wenn Collection ist ein fall von Collection %n{nicht} und fuer alle Physical wenn Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein fall von WebListing %n{nicht} , dann die Zahl Faellen in es gibt entity, entity, and und entity um die kategorie die entity beschreibt und die Zahl Faellen in Collection ist gleich BidCountFn Collection %n{nicht}
(=> (and (instance ?EC EngineChoke) (holdsDuring ?FSC1 (attribute ?EC DeviceOn)) (holdsDuring ?FSC2 (attribute ?EC DeviceOff)) (instance ?C EngineCylinder) (capacity ?C ?M) (instance ?FSC1 FourStrokeCompression) (instance ?FSC2 FourStrokeCompression) (eventLocated ?FSC1 ?C) (eventLocated ?FSC2 ?C) (instance ?A1 Air) (instance ?F1 Fuel) (part ?A1 ?MIX1) (part ?F1 ?MIX1) (measure ?MIX1 ?M) (instance ?A2 Air) (instance ?F2 Fuel) (part ?A2 ?MIX2) (part ?F2 ?MIX2) (measure ?MIX2 ?M) (instance ?U UnitOfMeasure) (measure ?A1 (MeasureFn ?A1M ?U)) (measure ?A2 (MeasureFn ?A2M ?U)) (measure ?F1 (MeasureFn ?F1M ?U)) (measure ?F2 (MeasureFn ?F2M ?U))) (greaterThan (DivisionFn ?A2M ?F2M) (DivisionFn ?A1M ?F1M)))	Cars.kif 1314-1348	Wenn Entity ist ein fall von EngineChoke %n{nicht} und DeviceOn ist ein attribut von Entity %n{nicht} haelt waehrend Process %n{nicht} und DeviceOff ist ein attribut von Entity %n{nicht} haelt waehrend Process %n{nicht} und SelfConnectedObject ist ein fall von EngineCylinder %n{nicht} und capacity SelfConnectedObject and ConstantQuantity und Process ist ein fall von FourStrokeCompression %n{nicht} und Process ist ein fall von FourStrokeCompression %n{nicht} und eventLocated Process and SelfConnectedObject und eventLocated Process and SelfConnectedObject und Object ist ein fall von Air %n{nicht} und Object ist ein fall von Fuel %n{nicht} und Object ist ein teil von ConstantQuantityIX1 %n{nicht} und Object ist ein teil von ConstantQuantityIX1 %n{nicht} und das mass von ConstantQuantityIX1 ist ConstantQuantity %n{nicht} und Object ist ein fall von Air %n{nicht} und Object ist ein fall von Fuel %n{nicht} und Object ist ein teil von ConstantQuantityIX2 %n{nicht} und Object ist ein teil von ConstantQuantityIX2 %n{nicht} und das mass von ConstantQuantityIX2 ist ConstantQuantity %n{nicht} und UnitOfMeasure ist ein fall von UnitOfMeasure %n{nicht} und das mass von Object ist ObjectM UnitOfMeasure(s) %n{nicht} und das mass von Object ist ObjectM UnitOfMeasure(s) %n{nicht} und das mass von Object ist ObjectM UnitOfMeasure(s) %n{nicht} und das mass von Object ist ObjectM UnitOfMeasure(s) %n{nicht}, dann ObjectM und ObjectM ist groesserAls ObjectM und ** ObjectM %n{nicht}
(=> (and (instance ?EXPERIMENT Experimenting) (instance ?INTERVAL TimeInterval)) (equal (DivisionFn (CardinalityFn (KappaFn ?PURCHASE (and (instance ?PURCHASE Buying) (member ?PURCHASE (QualifyingPurchasesFn ?EXPERIMENT)) (during (WhenFn ?PURCHASE) ?INTERVAL)))) (CardinalityFn (KappaFn ?USER (and (member ?USER (TreatedUsersFn ?EXPERIMENT)) (instance ?ACCESSING AccessingWebPage) (during (WhenFn ?ACCESSING) ?INTERVAL) (agent ?ACCESSING ?USER))))) (PPIFn ?EXPERIMENT ?INTERVAL)))	UXExperimentalTerms.kif 3095-3114	Wenn Experimenting ist ein fall von Experimenting %n{nicht} und TimeInterval ist ein fall von TimeInterval %n{nicht}, dann die Zahl Faellen in die kategorie die SymbolicString beschreibt und die Zahl Faellen in die kategorie die SymbolicString beschreibt ist gleich PPIFn Experimenting and ** TimeInterval %n{nicht}
(=> (and (instance ?EXPERIMENT Experimenting) (instance ?INTERVAL TimeInterval)) (equal (DivisionFn (CardinalityFn (KappaFn ?PURCHASE (and (instance ?PURCHASE Buying) (member ?PURCHASE (QualifyingPurchasesFn ?EXPERIMENT))))) (CardinalityFn (KappaFn ?USER (and (member ?USER (TreatedUsersFn ?EXPERIMENT)) (instance ?ACCESSING AccessingWebPage) (agent ?ACCESSING ?USER))))) (PPSFn ?EXPERIMENT)))	UXExperimentalTerms.kif 3056-3073	Wenn Experimenting ist ein fall von Experimenting %n{nicht} und Entity ist ein fall von TimeInterval %n{nicht}, dann die Zahl Faellen in die kategorie die SymbolicString beschreibt und die Zahl Faellen in die kategorie die SymbolicString beschreibt ist gleich PPSFn Experimenting %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 ?PAGE SearchResultsPage) (instance ?RESULTS SRPResults) (component ?RESULTS ?PAGE)) (equal (DivisionFn (CardinalityFn (KappaFn ?CLICK (and (instance ?CLICK RequestingHyperlink) (patient ?CLICK ?ELEMENT) (destination ?CLICK ?LINKEDPAGE) (instance ?ELEMENT HypertextLink) (component ?ELEMENT ?PAGE) (or (instance ?LINKEDPAGE ProductDescriptionPage) (instance ?LINKEDPAGE ViewItemPage))))) (ListLengthFn ?RESULTS)) (SRPEngagementFn ?PAGE)))	UXExperimentalTerms.kif 3721-3739	Wenn SearchResultsPage ist ein fall von SearchResultsPage %n{nicht} und List ist ein fall von SRPResults %n{nicht} und List ist ein bestandteil von SearchResultsPage %n{nicht}, dann die Zahl Faellen in die kategorie die SymbolicString beschreibt und Laenge von List ist gleich SRPEngagementFn SearchResultsPage %n{nicht}
(=> (and (instance ?QUANTITY1 Quantity) (instance ?QUANTITY2 Quantity)) (equal (LiftFn ?QUANTITY1 ?QUANTITY2) (DivisionFn (SubtractionFn ?QUANTITY1 ?QUANTITY2) ?QUANTITY2)))	UXExperimentalTerms.kif 4563-4571	Wenn RealNumber ist ein fall von Quantity %n{nicht} und RealNumber ist ein fall von Quantity %n{nicht}, dann LiftFn RealNumber and RealNumber ist gleich ( RealNumber und RealNumber) und ** RealNumber %n{nicht}
(=> (and (instance ?R RadiatingElectromagnetic) (carrierFrequency ?R (MeasureFn ?HZ Hertz)) (wavelength ?R (MeasureFn ?L Meter))) (equal (MeasureFn ?L Meter) (MeasureFn (DivisionFn 299792458 ?HZ) Meter)))	ComputingBrands.kif 1570-1577	Wenn Radiating ist ein fall von RadiatingElectromagnetic %n{nicht} und carrierFrequency Radiating and RealNumber Hertz(s) und wavelength Radiating and RealNumber Meter(s), dann RealNumber Meter(s) ist gleich 299792458 und RealNumber Meter(s) %n{nicht}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(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 CelsiusDegree) (MeasureFn (DivisionFn (SubtractionFn ?NUMBER 32.0) 1.8) FahrenheitDegree))	Merge.kif 7013-7015	RealNumber CelsiusDegree(s) ist gleich (** RealNumber und 32.0) und 1.8 FahrenheitDegree(s) %n{nicht}
(equal (MeasureFn ?NUMBER Cup) (MeasureFn (DivisionFn ?NUMBER 2) Pint))	Merge.kif 7240-7242	RealNumber Cup(s) ist gleich ** RealNumber und 2 Pint(s) %n{nicht}
(equal (MeasureFn ?NUMBER Ounce) (MeasureFn (DivisionFn ?NUMBER 8) Cup))	Merge.kif 7249-7251	RealNumber Ounce(s) ist gleich ** RealNumber und 8 Cup(s) %n{nicht}
(equal (MeasureFn ?NUMBER Pint) (MeasureFn (DivisionFn ?NUMBER 2) Quart))	Merge.kif 7231-7233	RealNumber Pint(s) ist gleich ** RealNumber und 2 Quart(s) %n{nicht}
(equal (MeasureFn ?NUMBER Quart) (MeasureFn (DivisionFn ?NUMBER 4) UnitedStatesGallon))	Merge.kif 7222-7224	RealNumber Quart(s) ist gleich ** RealNumber und 4 UnitedStatesGallon(s) %n{nicht}
(forall (?NUMBER) (equal (MeasureFn ?NUMBER OunceMass) (MeasureFn (DivisionFn ?NUMBER 16.0) PoundMass)))	Mid-level-ontology.kif 13360-13363	Fuer alle RealNumber RealNumber OunceMass(s) ist gleich RealNumber und 16.0 PoundMass(s) %n{nicht}

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: