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 4427-4431
(domain DivisionFn 1 Quantity)	Merge.kif 4423-4423	domain DivisionFn, 1 and Quantity
(domain DivisionFn 2 Quantity)	Merge.kif 4424-4424	domain DivisionFn, 2 and Quantity
(identityElement DivisionFn 1)	Merge.kif 4884-4884	identityElement DivisionFn and 1
(instance DivisionFn AssociativeFunction)	Merge.kif 4420-4420	instance DivisionFn and AssociativeFunction
(instance DivisionFn BinaryFunction)	Merge.kif 4419-4419	instance DivisionFn and BinaryFunction
(instance DivisionFn PartialValuedRelation)	Merge.kif 4422-4422	instance DivisionFn and PartialValuedRelation
(range DivisionFn Quantity)	Merge.kif 4425-4425	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 19921-19921	termFormat ChineseLanguage, DivisionFn and "部"
(termFormat ChineseLanguage DivisionFn "除法函数")	chinese_format.kif 687-687	termFormat ChineseLanguage, DivisionFn and "除法函数"
(termFormat ChineseTraditionalLanguage DivisionFn "部")	domainEnglishFormat.kif 19920-19920	termFormat ChineseTraditionalLanguage, DivisionFn and "部"
(termFormat EnglishLanguage DivisionFn "division")	domainEnglishFormat.kif 19919-19919	termFormat EnglishLanguage, DivisionFn and "division"

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 15652-15663	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 1917-1922	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 4762-4764	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 10944-10949	measure Object and MeasureFn RealNumber and OunceMass measure Object and MeasureFn DivisionFn RealNumber and 16 and PoundMass
(=> (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 4053-4085	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 1314-1343	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 3069-3083	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
(=> (and (instance ?VISITS Collection) (instance ?HYPERLINK HypertextLink) (forall (?ACCESSING) (and (member ?ACCESSING ?PAGE) (and (instance ?ACCESSING AccessingWebPage) (component ?PAGE ?HYPERLINK))))) (exists (?CLICKS) (and (instance ?CLICKS Collection) (forall (?CLICK) (=> (and (instance ?CLICK RequestingHyperlink) (patient ?CLICK ?HYPERLINK)) (member ?CLICK ?CLICKS))) (equal (ClickThroughRateFn ?VISITS ?HYPERLINK) (DivisionFn (CardinalityFn ?CLICKS) (CardinalityFn ?VISITS))))))	UXExperimentalTerms.kif 3536-3559	instance Collection and Collection instance HypertextLink and HypertextLink Object member Object and Collection instance Object and AccessingWebPage component Collection and HypertextLink Collection instance Collection and Collection Process instance Process and RequestingHyperlink patient Process and HypertextLink member Process and Collection equal ClickThroughRateFn Collection and HypertextLink and DivisionFn CardinalityFn Collection and CardinalityFn Collection

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 6944-6946	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 6595-6597	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 6816-6818	equal MeasureFn RealNumber and Cup and MeasureFn DivisionFn RealNumber and 2 and Pint
(equal (MeasureFn ?NUMBER Ounce) (MeasureFn (DivisionFn ?NUMBER 8) Cup))	Merge.kif 6825-6827	equal MeasureFn RealNumber and Ounce and MeasureFn DivisionFn RealNumber and 8 and Cup
(equal (MeasureFn ?NUMBER Pint) (MeasureFn (DivisionFn ?NUMBER 2) Quart))	Merge.kif 6807-6809	equal MeasureFn RealNumber and Pint and MeasureFn DivisionFn RealNumber and 2 and Quart
(equal (MeasureFn ?NUMBER Quart) (MeasureFn (DivisionFn ?NUMBER 4) UnitedStatesGallon))	Merge.kif 6798-6800	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 10951-10954	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: