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 4515-4519
(domain DivisionFn 1 Quantity)	Merge.kif 4511-4511	domain DivisionFn, 1 and Quantity
(domain DivisionFn 2 Quantity)	Merge.kif 4512-4512	domain DivisionFn, 2 and Quantity
(identityElement DivisionFn 1)	Merge.kif 4972-4972	identityElement DivisionFn and 1
(instance DivisionFn BinaryFunction)	Merge.kif 4508-4508	instance DivisionFn and BinaryFunction
(instance DivisionFn PartialValuedRelation)	Merge.kif 4510-4510	instance DivisionFn and PartialValuedRelation
(range DivisionFn Quantity)	Merge.kif 4513-4513	range DivisionFn and Quantity

appearance as argument number 2

(format ChineseLanguage DivisionFn "%*[/]")	chinese_format.kif 686-686
(format EnglishLanguage DivisionFn "%*[/]")	english_format.kif 691-691
(termFormat ChineseLanguage DivisionFn "部")	domainEnglishFormat.kif 19915-19915
(termFormat ChineseLanguage DivisionFn "除法函数")	chinese_format.kif 687-687
(termFormat ChineseTraditionalLanguage DivisionFn "部")	domainEnglishFormat.kif 19914-19914
(termFormat EnglishLanguage DivisionFn "division")	domainEnglishFormat.kif 19913-19913

antecedent

(=> (and (approximateDiameter ?O (MeasureFn ?L ?LM)) (sphereRadius ?S (MeasureFn (DivisionFn ?L 2) ?LM)) (measure ?S (MeasureFn ?V1 ?VM)) (measure ?O (MeasureFn ?V2 ?VM)) (instance ?LM LengthMeasure) (instance ?VM VolumeMeasure)) (equal ?V1 ?V2))	Mid-level-ontology.kif 15653-15664	approximateDiameter SelfConnectedObject and MeasureFn RealNumber and RealNumberM sphereRadius Object and MeasureFn DivisionFn RealNumber and 2 and RealNumberM measure Object and MeasureFn RealNumber and UnitOfMeasure measure SelfConnectedObject and MeasureFn RealNumber and UnitOfMeasure instance RealNumberM and LengthMeasure instance UnitOfMeasure and VolumeMeasure equal RealNumber and RealNumber
(=> (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 3036-3057	equal SymbolicString and ReverseFn SymbolicString equal NonnegativeInteger and StringLengthFn SymbolicString greaterThan NonnegativeInteger and 1 greaterThan NonnegativeInteger and 0 lessThan NonnegativeInteger and NonnegativeInteger equal Integer and CeilingFn DivisionFn SubtractionFn NonnegativeInteger and 1 and 2 equal NonnegativeIntegerEW and AdditionFn SubtractionFn Integer and NonnegativeInteger and Integer equal SymbolicString and SubstringFn SymbolicString, NonnegativeInteger and AdditionFn 1 and NonnegativeInteger equal SymbolicString and SubstringFn SymbolicString, NonnegativeIntegerEW and AdditionFn 1 and NonnegativeIntegerEW
(=> (and (irrigatedLandArea ?REGION (MeasureFn ?AMOUNT ?UNIT)) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea) (equal ?FRACTION (DivisionFn ?AMOUNT ?TOTAL))) (irrigatedLandArea ?REGION ?FRACTION))	Geography.kif 2180-2186	irrigatedLandArea GeographicArea and MeasureFn RealNumber and UnitOfMeasure totalArea GeographicArea and MeasureFn RealNumber and UnitOfMeasure instance UnitOfMeasure and UnitOfArea equal ConstantQuantity and DivisionFn RealNumber and RealNumber irrigatedLandArea GeographicArea and ConstantQuantity
(=> (and (irrigatedLandArea ?REGION ?AMOUNT) (instance ?AMOUNT AreaMeasure) (totalArea ?REGION ?TOTAL) (instance ?TOTAL AreaMeasure) (equal ?FRACTION (DivisionFn ?AMOUNT ?TOTAL))) (irrigatedLandArea ?REGION ?FRACTION))	Geography.kif 2171-2178	irrigatedLandArea GeographicArea and ConstantQuantity instance ConstantQuantity and AreaMeasure totalArea GeographicArea and AreaMeasure instance AreaMeasure and AreaMeasure equal ConstantQuantity and DivisionFn ConstantQuantity and AreaMeasure irrigatedLandArea GeographicArea and ConstantQuantity
(=> (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 3715-3734	measure Object and MeasureFn RealNumber and Lumen measure Object and MeasureFn RealNumber and Lumen part Object and Object part Object and Object equal Object and Object greaterThan RealNumber and RealNumber equal DivisionFn RealNumber and RealNumber and RationalNumber contrastRatio Object and RationalNumber Object Object, RealNumber and RealNumber measure Object and MeasureFn RealNumber and Lumen measure Object and MeasureFn RealNumber and Lumen part Object and Object part Object and Object equal Object and Object greaterThan RealNumber and RealNumber greaterThan DivisionFn RealNumber and RealNumber and RationalNumber
(=> (and (principalAmount ?Account ?Balance) (fixedInterestRate ?Account ?Rate) (compoundInterest ?Account ?Interest ?Period) (equal ?Rate-Decimal (DivisionFn ?Rate 100)) (equal ?Add (AdditionFn 1 ?Rate-Decimal)) (equal ?Exponent (ExponentiationFn ?Add (MagnitudeFn ?Period))) (equal ?Multiply (MultiplicationFn ?Exponent ?Balance))) (equal ?Interest (SubtractionFn ?Multiply ?Balance)))	FinancialOntology.kif 531-540	principalAmount FinancialAccount and CurrencyMeasure fixedInterestRate FinancialAccount and InterestRate compoundInterest FinancialAccount, Interest and TimeInterval equal InterestRate-Decimal and DivisionFn InterestRate and 100 equal RealNumber and AdditionFn 1 and InterestRate-Decimal equal RealNumber and ExponentiationFn RealNumber and MagnitudeFn TimeInterval equal Quantity and MultiplicationFn RealNumber and CurrencyMeasure equal Interest and SubtractionFn Quantity and CurrencyMeasure
(=> (and (principalAmount ?Account ?Balance) (fixedInterestRate ?Account ?Rate) (simpleInterest ?Account ?Amount ?Period) (equal ?Rate-Decimal (DivisionFn (MagnitudeFn ?Rate) 100))) (equal ?Amount (MultiplicationFn (MultiplicationFn (MagnitudeFn ?Period) ?Balance) ?Rate-Decimal)))	FinancialOntology.kif 513-519	principalAmount FinancialAccount and CurrencyMeasure fixedInterestRate FinancialAccount and InterestRate simpleInterest FinancialAccount, Interest and TimeInterval equal InterestRate-Decimal and DivisionFn MagnitudeFn InterestRate and 100 equal Interest and MultiplicationFn MultiplicationFn MagnitudeFn TimeInterval and CurrencyMeasure and InterestRate-Decimal
(=> (and (simpleInterest ?Account ?Interest ?Period) (principalAmount ?Account ?Principal) (equal ?Rate-Decimal (DivisionFn ?Interest ?Principal)) (equal ?Rate (MultiplicationFn ?Rate-Decimal 100))) (interestRatePerPeriod ?Account ?Rate ?Period))	FinancialOntology.kif 550-556	simpleInterest FinancialAccount, Interest and TimeInterval principalAmount FinancialAccount and CurrencyMeasure equal InterestRate-Decimal and DivisionFn Interest and CurrencyMeasure equal InterestRate and MultiplicationFn InterestRate-Decimal and 100 interestRatePerPeriod FinancialAccount, InterestRate and TimeInterval

consequent

(<=> (average ?LIST1 ?AVERAGE) (exists (?LIST2) (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 285-306	average List and RealNumber List equal ListLengthFn List and ListLengthFn List equal ListOrderFn List and 1 and ListOrderFn List and 1 PositiveInteger inList PositiveInteger and List Quantity QuantityMINUSONE, PositiveInteger and PositiveInteger greaterThan Quantity and 1 lessThanOrEqualTo Quantity and ListLengthFn List equal ListOrderFn List and PositiveInteger and Quantity inList PositiveInteger and List equal Quantity and ListOrderFn List and PositiveInteger inList PositiveInteger and List equal QuantityMINUSONE and SubtractionFn Quantity and 1 equal QuantityMINUSONE and ListOrderFn List and PositiveInteger equal PositiveInteger and AdditionFn PositiveInteger and PositiveInteger equal PositiveInteger and ListLengthFn List equal RealNumber and DivisionFn ListOrderFn List and PositiveInteger and PositiveInteger
(<=> (beliefGroupPercentInRegion ?BG ?N ?R) (exists (?G1 ?G2) (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 1530-1541	beliefGroupPercentInRegion BeliefGroup, RealNumber and GeographicArea Collection Collection located Object and GeographicArea member Object and BeliefGroup member Object and Collection memberCount Collection and RealNumber located Object and GeographicArea member Object and Collection memberCount Collection and RealNumber equal DivisionFn RealNumber and 100 and DivisionFn RealNumber and RealNumber
(<=> (compressionRatio ?E ?R) (and (minCylinderVolume ?E (MeasureFn ?MIN ?M)) (maxCylinderVolume ?E (MeasureFn ?MAX ?M)) (equal ?R (DivisionFn ?MIN ?MAX))))	Cars.kif 1918-1923	compressionRatio Engine and RealNumber minCylinderVolume Engine and MeasureFn RealNumber and UnitOfMeasure maxCylinderVolume Engine and MeasureFn UnitOfMeasureAX and UnitOfMeasure equal RealNumber and DivisionFn RealNumber and UnitOfMeasureAX
(<=> (equal (BirthsPerThousandFn ?AREA (YearFn ?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) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 104-117	equal BirthsPerThousandFn GeopoliticalArea and YearFn Integer and RealNumber equal DivisionFn PopulationFn GeopoliticalArea and 1000 and Quantity equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Birth experiencer SymbolicString and entity instance entity and Human during WhenFn SymbolicString and YearFn Integer equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn Integer and Quantity and RealNumber
(<=> (equal (DeathsPerThousandFn ?AREA (YearFn ?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) (YearFn ?YEAR)) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 138-151	equal DeathsPerThousandFn GeopoliticalArea and YearFn Integer and RealNumber equal DivisionFn PopulationFn GeopoliticalArea and 1000 and Quantity equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Death experiencer SymbolicString and entity instance entity and Human during WhenFn SymbolicString and YearFn Integer equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn Integer and Quantity and RealNumber
(<=> (equal (DeathsPerThousandLiveBirthsFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) (YearFn ?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) (YearFn ?YEAR)) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))	People.kif 253-277	equal DeathsPerThousandLiveBirthsFn GeopoliticalArea and YearFn Integer and RealNumber equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Birth experiencer SymbolicString and entity instance entity and Human during WhenFn SymbolicString and YearFn Integer equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn Integer and 1000 and Quantity equal entityDEATHCOUNT and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Death experiencer SymbolicString and entity instance entity and Human age entity and MeasureFn entity and YearDuration lessThan entity and 1 during WhenFn SymbolicString and YearFn Integer equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn entityDEATHCOUNT and Quantity and RealNumber
(<=> (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 221-238	equal MaleToFemaleRatioFn GeopoliticalArea and RealNumber equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human attribute SymbolicString and Male inhabits SymbolicString and GeopoliticalArea equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human attribute SymbolicString and Female inhabits SymbolicString and GeopoliticalArea equal DivisionFn Integer and Integer and RealNumber
(<=> (equal (MigrantsPerThousandFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal (SubtractionFn ?YEAR ?PREVIOUSYEAR) 1) (holdsDuring (YearFn ?YEAR) (equal (PopulationFn ?AREA) ?POPULATION)) (equal (DivisionFn ?POPULATION 1000) ?THOUSANDS) (equal ?IMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring (YearFn ?PREVIOUSYEAR) (not (inhabits ?PERSON ?AREA))) (holdsDuring (YearFn ?YEAR) (inhabits ?PERSON ?AREA)))))) (equal ?EMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring (YearFn ?PREVIOUSYEAR) (inhabits ?PERSON ?AREA)) (holdsDuring (YearFn ?YEAR) (not (inhabits ?PERSON ?AREA))))))) (equal (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT) (equal (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 174-202	equal MigrantsPerThousandFn GeopoliticalArea and YearFn Integer and RealNumber equal SubtractionFn Integer and Quantity and 1 holdsDuring YearFn Integer and equal PopulationFn GeopoliticalArea and Quantity equal DivisionFn Quantity and 1000 and Quantity equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human holdsDuring YearFn Quantity and inhabits SymbolicString and GeopoliticalArea holdsDuring YearFn Integer and inhabits SymbolicString and GeopoliticalArea equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human holdsDuring YearFn Quantity and inhabits SymbolicString and GeopoliticalArea holdsDuring YearFn Integer and inhabits SymbolicString and GeopoliticalArea equal SubtractionFn Integer and Integer and Quantity equal DivisionFn Quantity and Quantity and RealNumber
(<=> (equal (PopulationGrowthFn ?AREA (YearFn ?YEAR)) ?ADJUSTEDPERCENT) (and (equal (SubtractionFn ?YEAR ?PREVIOUSYEAR) 1) (holdsDuring (YearFn ?YEAR) (equal (PopulationFn ?AREA) ?POPULATION)) (holdsDuring (YearFn ?PREVIOUSYEAR) (equal (PopulationFn ?AREA) ?PREVIOUSPOPULATION)) (equal (DivisionFn ?POPULATION ?PREVIOUSPOPULATION) ?PERCENT) (equal (SubtractionFn ?PERCENT 1) ?ADJUSTEDPERCENT)))	People.kif 77-86	equal PopulationGrowthFn GeopoliticalArea and YearFn Integer and RealNumber equal SubtractionFn Integer and Integer and 1 holdsDuring YearFn Integer and equal PopulationFn GeopoliticalArea and Quantity holdsDuring YearFn Integer and equal PopulationFn GeopoliticalArea and Quantity equal DivisionFn Quantity and Quantity and Quantity equal SubtractionFn Quantity and 1 and RealNumber
(<=> (equal (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER) (equal (AdditionFn (MultiplicationFn (FloorFn (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))	Merge.kif 4850-4852	equal RemainderFn Integer and Integer and Integer equal AdditionFn MultiplicationFn FloorFn DivisionFn Integer and Integer and Integer and Integer and Integer
(<=> (ethnicityPercentInRegion ?BG ?N ?R) (exists (?G1 ?G2) (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 1549-1560	ethnicityPercentInRegion EthnicGroup, RealNumber and GeographicArea Collection Collection located Object and GeographicArea member Object and EthnicGroup member Object and Collection memberCount Collection and RealNumber located Object and GeographicArea member Object and Collection memberCount Collection and RealNumber equal DivisionFn RealNumber and 100 and DivisionFn RealNumber and RealNumber
(<=> (languagePercentInRegion ?L ?N ?R) (exists (?G1 ?G2) (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 1568-1579	languagePercentInRegion Language, RealNumber and GeographicArea Collection Collection located SentientAgent and GeographicArea member SentientAgent and Collection speaksLanguage SentientAgent and Language memberCount Collection and RealNumber located SentientAgent and GeographicArea member SentientAgent and Collection memberCount Collection and RealNumber equal DivisionFn RealNumber and 100 and DivisionFn RealNumber and RealNumber
(<=> (measure ?OBJECT (MeasureFn ?NUMBER OunceMass)) (measure ?OBJECT (MeasureFn (DivisionFn ?NUMBER 16) PoundMass)))	Mid-level-ontology.kif 10945-10950	measure Object and MeasureFn RealNumber and OunceMass measure Object and MeasureFn DivisionFn RealNumber and 16 and PoundMass
(=> (and (equal ?A (AverageFn ?L)) (greaterThan (ListLengthFn ?L) 0)) (equal ?A (DivisionFn (ListSumFn ?L) (ListLengthFn ?L))))	Merge.kif 3130-3137	equal Number and AverageFn List greaterThan ListLengthFn List and 0 equal Number and DivisionFn ListSumFn List and ListLengthFn List
(=> (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 4054-4086	instance Object and BimetalTemperatureSensor instance Object and Metal instance Object and Metal equal Object and Object part Object and Object part Object and Object instance Entity and TemperatureMeasure instance Entity and TemperatureMeasure instance Quantity and LengthMeasure instance Quantity and LengthMeasure instance Quantity and LengthMeasure instance Quantity and LengthMeasure equal Entity and Entity equal TimePosition and TimePosition holdsDuring TimePosition and measure Object and Entity measure Object and Quantity measure Object and Quantity holdsDuring TimePosition and measure Object and Entity measure Object and Quantity measure Object and Quantity equal DivisionFn Quantity and Quantity and DivisionFn Quantity and Quantity
(=> (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 ?ITEM ?BUYING)))))))) (equal (ABPFn ?BUYINGS) (DivisionFn ?GMB ?TOTAL)))	UXExperimentalTerms.kif 3442-3462	instance Collection and Collection instance CurrencyMeasure and CurrencyMeasure instance Integer and RealNumber equal CurrencyMeasure and GMBFn Collection equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Object entity member entity and Collection patient SymbolicString and entity equal ABPFn Collection and DivisionFn CurrencyMeasure and Integer
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (equal (DivisionFn (CardinalityFn (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 3050-3074	instance Collection and Collection Object member Object and Collection instance Object and WebListing equal DivisionFn CardinalityFn KappaFn SymbolicString and instance SymbolicString and WebListing instance entity and WebSite instance entity and Physical member SymbolicString and Collection patient SymbolicString and entity hostedOn SymbolicString and entity entity instance entity and Buying patient entity and entity eCommerceSite entity and entity and CardinalityFn Collection and BidCountFn Collection
(=> (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) (measure ?A1 ?A1M) (measure ?A2 ?A2M) (measure ?F1 ?F1M) (measure ?F2 ?F2M)) (greaterThan (DivisionFn ?A2M ?F2M) (DivisionFn ?A1M ?F1M)))	Cars.kif 1315-1344	instance Entity and EngineChoke holdsDuring Process and attribute Entity and DeviceOn holdsDuring Process and attribute Entity and DeviceOff instance SelfConnectedObject and EngineCylinder capacity SelfConnectedObject and ConstantQuantity instance Process and FourStrokeCompression instance Process and FourStrokeCompression eventLocated Process and SelfConnectedObject eventLocated Process and SelfConnectedObject instance Object and Air instance Object and Fuel part Object and ConstantQuantityIX1 part Object and ConstantQuantityIX1 measure ConstantQuantityIX1 and ConstantQuantity instance Object and Air instance Object and Fuel part Object and ConstantQuantityIX2 part Object and ConstantQuantityIX2 measure ConstantQuantityIX2 and ConstantQuantity measure Object and ObjectM measure Object and ObjectM measure Object and ObjectM measure Object and ObjectM greaterThan DivisionFn ObjectM and ObjectM and DivisionFn ObjectM and ObjectM
(=> (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 3297-3316	instance Experimenting and Experimenting instance TimeInterval and TimeInterval equal DivisionFn CardinalityFn KappaFn SymbolicString and instance SymbolicString and Buying member SymbolicString and QualifyingPurchasesFn Experimenting during WhenFn SymbolicString and TimeInterval and CardinalityFn KappaFn SymbolicString and member SymbolicString and TreatedUsersFn Experimenting instance entity and AccessingWebPage during WhenFn entity and TimeInterval agent entity and SymbolicString and PPIFn Experimenting and TimeInterval
(=> (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 3258-3275	instance Experimenting and Experimenting instance Entity and TimeInterval equal DivisionFn CardinalityFn KappaFn SymbolicString and instance SymbolicString and Buying member SymbolicString and QualifyingPurchasesFn Experimenting and CardinalityFn KappaFn SymbolicString and member SymbolicString and TreatedUsersFn Experimenting instance entity and AccessingWebPage agent entity and SymbolicString and PPSFn Experimenting
(=> (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 3923-3941	instance SearchResultsPage and SearchResultsPage instance List and SRPResults component List and SearchResultsPage equal DivisionFn CardinalityFn KappaFn SymbolicString and instance SymbolicString and RequestingHyperlink patient SymbolicString and entity destination SymbolicString and entity instance entity and HypertextLink component entity and SearchResultsPage instance entity and ProductDescriptionPage instance entity and ViewItemPage and ListLengthFn List and SRPEngagementFn SearchResultsPage
(=> (and (instance ?QUANTITY1 Quantity) (instance ?QUANTITY2 Quantity)) (equal (LiftFn ?QUANTITY1 ?QUANTITY2) (DivisionFn (SubtractionFn ?QUANTITY1 ?QUANTITY2) ?QUANTITY2)))	UXExperimentalTerms.kif 4761-4769	instance Quantity and Quantity instance Quantity and Quantity equal LiftFn Quantity and Quantity and DivisionFn SubtractionFn Quantity and Quantity and Quantity
(=> (and (instance ?R RadiatingElectromagnetic) (carrierFrequency ?R (MeasureFn Hertz ?HZ)) (wavelength ?R (MeasureFn Meter ?L))) (equal (MeasureFn Meter ?L) (MeasureFn Meter (DivisionFn 299792458 ?HZ))))	ComputingBrands.kif 1548-1555	instance Radiating and RadiatingElectromagnetic Radiating の搬送波周波数は MeasureFn Hertz and UnitOfMeasure wavelength Radiating and MeasureFn Meter and UnitOfMeasure equal MeasureFn Meter and UnitOfMeasure and MeasureFn Meter and DivisionFn 299792458 and UnitOfMeasure
(=> (and (instance ?SELLINGS Collection) (instance ?GMV CurrencyMeasure) (instance ?TOTAL RealNumber) (equal ?GMV (GMVFn ?SELLINGS)) (equal ?TOTAL (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Object) (exists (?SELLING) (and (member ?SELLING ?SELLINGS) (patient ?SELLING ?ITEM)))))))) (equal (ASPFn ?SELLINGS) (DivisionFn ?GMV ?TOTAL)))	UXExperimentalTerms.kif 3485-3505	instance Collection and Collection instance CurrencyMeasure and CurrencyMeasure instance Integer and RealNumber equal CurrencyMeasure and GMVFn Collection equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Object entity member entity and Collection patient entity and SymbolicString equal ASPFn Collection and DivisionFn CurrencyMeasure and Integer
(=> (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 3070-3084	instance TimePosition and ElectricalTransformer instance WireCoil and WireCoil instance WireCoil and WireCoil coilCount WireCoil and Integer coilCount WireCoil and Integer holdsDuring TimePosition and measure WireCoil and MeasureFn Volt and Quantity holdsDuring TimePosition and measure WireCoil and MeasureFn Volt and Quantity equal Quantity and MultiplicationFn Quantity and DivisionFn Integer and Integer

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 7030-7032	equal MeasureFn RealNumber and AngularDegree and MeasureFn MultiplicationFn RealNumber and DivisionFn Pi and 180.0 and Radian
(equal (MeasureFn ?NUMBER CelsiusDegree) (MeasureFn (DivisionFn (SubtractionFn ?NUMBER 32) 1.8) FahrenheitDegree))	Merge.kif 6681-6683	equal MeasureFn RealNumber and CelsiusDegree and MeasureFn DivisionFn SubtractionFn RealNumber and 32 and 1.8 and FahrenheitDegree
(equal (MeasureFn ?NUMBER Cup) (MeasureFn (DivisionFn ?NUMBER 2) Pint))	Merge.kif 6902-6904	equal MeasureFn RealNumber and Cup and MeasureFn DivisionFn RealNumber and 2 and Pint
(equal (MeasureFn ?NUMBER Ounce) (MeasureFn (DivisionFn ?NUMBER 8) Cup))	Merge.kif 6911-6913	equal MeasureFn RealNumber and Ounce and MeasureFn DivisionFn RealNumber and 8 and Cup
(equal (MeasureFn ?NUMBER Pint) (MeasureFn (DivisionFn ?NUMBER 2) Quart))	Merge.kif 6893-6895	equal MeasureFn RealNumber and Pint and MeasureFn DivisionFn RealNumber and 2 and Quart
(equal (MeasureFn ?NUMBER Quart) (MeasureFn (DivisionFn ?NUMBER 4) UnitedStatesGallon))	Merge.kif 6884-6886	equal MeasureFn RealNumber and Quart and MeasureFn DivisionFn RealNumber and 4 and UnitedStatesGallon
(forall (?NUMBER) (equal (MeasureFn ?NUMBER OunceMass) (MeasureFn (DivisionFn ?NUMBER 16) PoundMass)))	Mid-level-ontology.kif 10952-10955	RealNumber equal MeasureFn RealNumber and OunceMass and MeasureFn DivisionFn RealNumber and 16 and PoundMass

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: