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) 会是为定义。")	Merge.kif 4902-4905
(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 4897-4901
(domain DivisionFn 1 Quantity)	Merge.kif 4894-4894	domain DivisionFn, 1 and 量
(domain DivisionFn 2 Quantity)	Merge.kif 4895-4895	domain DivisionFn, 2 and 量
(identityElement DivisionFn 1)	Merge.kif 5388-5388	identityElement DivisionFn and 1
(instance DivisionFn AssociativeFunction)	Merge.kif 4891-4891	instance DivisionFn and 結合関数
(instance DivisionFn BinaryFunction)	Merge.kif 4890-4890	instance DivisionFn and 2変数関数
(instance DivisionFn PartialValuedRelation)	Merge.kif 4893-4893	instance DivisionFn and 部分的価値関係
(range DivisionFn Quantity)	Merge.kif 4896-4896	range DivisionFn and 量

appearance as argument number 2

(format ChineseLanguage DivisionFn "%*[/]")	chinese_format.kif 686-686
(format EnglishLanguage DivisionFn "%*[/]")	english_format.kif 427-427
(termFormat ChineseLanguage DivisionFn "除法函数")	chinese_format.kif 687-687	termFormat ChineseLanguage, DivisionFn and "除法函数"
(termFormat EnglishLanguage DivisionFn "division")	domainEnglishFormat.kif 3753-3753	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 自己接続オブジェクト and MeasureFn 実数 and 実数M sphereRadius オブジェクト and MeasureFn DivisionFn 実数 and 2 and 実数M measure オブジェクト and MeasureFn 実数 and 測定単位 measure 自己接続オブジェクト and MeasureFn 実数 and 測定単位 instance 実数M and 長さ測定 instance 測定単位 and 容積測定 equal 実数 and 実数
(=> (and (irrigatedLandArea ?REGION (MeasureFn ?AMOUNT ?UNIT)) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea) (equal ?FRACTION (DivisionFn ?AMOUNT ?TOTAL))) (irrigatedLandArea ?REGION ?FRACTION))	Geography.kif 2168-2174	irrigatedLandArea 地理的地域 and MeasureFn 実数 and 測定単位 totalArea 地理的地域 and MeasureFn 実数 and 測定単位 instance 測定単位 and UnitOfArea equal 一定量 and DivisionFn 実数 and 実数 irrigatedLandArea 地理的地域 and 一定量
(=> (and (irrigatedLandArea ?REGION ?AMOUNT) (instance ?AMOUNT AreaMeasure) (totalArea ?REGION ?TOTAL) (instance ?TOTAL AreaMeasure) (equal ?FRACTION (DivisionFn ?AMOUNT ?TOTAL))) (irrigatedLandArea ?REGION ?FRACTION))	Geography.kif 2159-2166	irrigatedLandArea 地理的地域 and 一定量 instance 一定量 and 面積測定 totalArea 地理的地域 and 面積測定 instance 面積測定 and 面積測定 equal 一定量 and DivisionFn 一定量 and 面積測定 irrigatedLandArea 地理的地域 and 一定量
(=> (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 3524-3543	measure オブジェクト and MeasureFn 実数 and Lumen measure オブジェクト and MeasureFn 実数 and Lumen part オブジェクト and オブジェクト part オブジェクト and オブジェクト equal オブジェクト and オブジェクト greaterThan 実数 and 実数 equal DivisionFn 実数 and 実数 and 有理数 contrastRatio オブジェクト and 有理数オブジェクトオブジェクト, 実数 and 実数 measure オブジェクト and MeasureFn 実数 and Lumen measure オブジェクト and MeasureFn 実数 and Lumen part オブジェクト and オブジェクト part オブジェクト and オブジェクト equal オブジェクト and オブジェクト greaterThan 実数 and 実数 greaterThan DivisionFn 実数 and 実数 and 有理数
(=> (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 532-541	principalAmount FinancialAccount and 通貨測定 fixedInterestRate FinancialAccount and InterestRate compoundInterest FinancialAccount, Interest and 時間間隔 equal InterestRate-Decimal and DivisionFn InterestRate and 100 equal 実数 and AdditionFn 1 and InterestRate-Decimal equal 実数 and ExponentiationFn 実数 and MagnitudeFn 時間間隔 equal 量 and MultiplicationFn 実数 and 通貨測定 equal Interest and SubtractionFn 量 and 通貨測定
(=> (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 514-520	principalAmount FinancialAccount and 通貨測定 fixedInterestRate FinancialAccount and InterestRate simpleInterest FinancialAccount, Interest and 時間間隔 equal InterestRate-Decimal and DivisionFn MagnitudeFn InterestRate and 100 equal Interest and MultiplicationFn MultiplicationFn MagnitudeFn 時間間隔 and 通貨測定 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 551-557	simpleInterest FinancialAccount, Interest and 時間間隔 principalAmount FinancialAccount and 通貨測定 equal InterestRate-Decimal and DivisionFn Interest and 通貨測定 equal InterestRate and MultiplicationFn InterestRate-Decimal and 100 interestRatePerPeriod FinancialAccount, InterestRate and 時間間隔

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 リスト and 実数リスト equal ListLengthFn リスト and ListLengthFn リスト equal ListOrderFn リスト and 1 and ListOrderFn リスト and 1 正の整数 inList 正の整数 and リスト量量MINUSONE, 正の整数 and 正の整数 greaterThan 量 and 1 lessThanOrEqualTo 量 and ListLengthFn リスト equal ListOrderFn リスト and 正の整数 and 量 inList 正の整数 and リスト equal 量 and ListOrderFn リスト and 正の整数 inList 正の整数 and リスト equal 量MINUSONE and SubtractionFn 量 and 1 equal 量MINUSONE and ListOrderFn リスト and 正の整数 equal 正の整数 and AdditionFn 正の整数 and 正の整数 equal 正の整数 and ListLengthFn リスト equal 実数 and DivisionFn ListOrderFn リスト and 正の整数 and 正の整数
(<=> (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 1526-1537	beliefGroupPercentInRegion BeliefGroup, 実数 and 地理的地域コレクションコレクション located オブジェクト and 地理的地域 member オブジェクト and BeliefGroup member オブジェクト and コレクション memberCount コレクション and 実数 located オブジェクト and 地理的地域 member オブジェクト and コレクション memberCount コレクション and 実数 equal DivisionFn 実数 and 100 and DivisionFn 実数 and 実数
(<=> (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 実数 minCylinderVolume Engine and MeasureFn 実数 and 測定単位 maxCylinderVolume Engine and MeasureFn 測定単位AX and 測定単位 equal 実数 and DivisionFn 実数 and 測定単位AX
(<=> (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 地政学的地域 and YearFn 整数 and 実数 equal DivisionFn PopulationFn 地政学的地域 and 1000 and 量 equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 出生 experiencer 記号文字列 and エンティティー instance エンティティー and 人［人間］ during WhenFn 記号文字列 and YearFn 整数 equal WhereFn 記号文字列 and WhenFn 記号文字列 and 地政学的地域 equal DivisionFn 整数 and 量 and 実数
(<=> (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 地政学的地域 and YearFn 整数 and 実数 equal DivisionFn PopulationFn 地政学的地域 and 1000 and 量 equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 死 experiencer 記号文字列 and エンティティー instance エンティティー and 人［人間］ during WhenFn 記号文字列 and YearFn 整数 equal WhereFn 記号文字列 and WhenFn 記号文字列 and 地政学的地域 equal DivisionFn 整数 and 量 and 実数
(<=> (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 地政学的地域 and YearFn 整数 and 実数 equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 出生 experiencer 記号文字列 and エンティティー instance エンティティー and 人［人間］ during WhenFn 記号文字列 and YearFn 整数 equal WhereFn 記号文字列 and WhenFn 記号文字列 and 地政学的地域 equal DivisionFn 整数 and 1000 and 量 equal エンティティーDEATHCOUNT and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 死 experiencer 記号文字列 and エンティティー instance エンティティー and 人［人間］ age エンティティー and MeasureFn エンティティー and YearDuration lessThan エンティティー and 1 during WhenFn 記号文字列 and YearFn 整数 equal WhereFn 記号文字列 and WhenFn 記号文字列 and 地政学的地域 equal DivisionFn エンティティーDEATHCOUNT and 量 and 実数
(<=> (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 地政学的地域 and 実数 equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人［人間］ attribute 記号文字列 and Male inhabits 記号文字列 and 地政学的地域 equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人［人間］ attribute 記号文字列 and Female inhabits 記号文字列 and 地政学的地域 equal DivisionFn 整数 and 整数 and 実数
(<=> (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 地政学的地域 and YearFn 整数 and 実数 equal SubtractionFn 整数 and 量 and 1 holdsDuring YearFn 整数 and equal PopulationFn 地政学的地域 and 量 equal DivisionFn 量 and 1000 and 量 equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人［人間］ holdsDuring YearFn 量 and inhabits 記号文字列 and 地政学的地域 holdsDuring YearFn 整数 and inhabits 記号文字列 and 地政学的地域 equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人［人間］ holdsDuring YearFn 量 and inhabits 記号文字列 and 地政学的地域 holdsDuring YearFn 整数 and inhabits 記号文字列 and 地政学的地域 equal SubtractionFn 整数 and 整数 and 量 equal DivisionFn 量 and 量 and 実数
(<=> (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 地政学的地域 and YearFn 整数 and 実数 equal SubtractionFn 整数 and 整数 and 1 holdsDuring YearFn 整数 and equal PopulationFn 地政学的地域 and 量 holdsDuring YearFn 整数 and equal PopulationFn 地政学的地域 and 量 equal DivisionFn 量 and 量 and 量 equal SubtractionFn 量 and 1 and 実数
(<=> (equal (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER) (equal (AdditionFn (MultiplicationFn (FloorFn (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))	Merge.kif 5261-5263	equal RemainderFn 整数 and 整数 and 整数 equal AdditionFn MultiplicationFn FloorFn DivisionFn 整数 and 整数 and 整数 and 整数 and 整数
(<=> (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 1545-1556	ethnicityPercentInRegion 民族, 実数 and 地理的地域コレクションコレクション located オブジェクト and 地理的地域 member オブジェクト and 民族 member オブジェクト and コレクション memberCount コレクション and 実数 located オブジェクト and 地理的地域 member オブジェクト and コレクション memberCount コレクション and 実数 equal DivisionFn 実数 and 100 and DivisionFn 実数 and 実数
(<=> (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 1564-1575	languagePercentInRegion 言語, 実数 and 地理的地域コレクションコレクション located 意識［知覚］を持つ代理(人) and 地理的地域 member 意識［知覚］を持つ代理(人) and コレクション speaksLanguage 意識［知覚］を持つ代理(人) and 言語 memberCount コレクション and 実数 located 意識［知覚］を持つ代理(人) and 地理的地域 member 意識［知覚］を持つ代理(人) and コレクション memberCount コレクション and 実数 equal DivisionFn 実数 and 100 and DivisionFn 実数 and 実数
(<=> (measure ?OBJECT (MeasureFn ?NUMBER OunceMass)) (measure ?OBJECT (MeasureFn (DivisionFn ?NUMBER 16) PoundMass)))	Mid-level-ontology.kif 10939-10944	measure オブジェクト and MeasureFn 実数 and OunceMass measure オブジェクト and MeasureFn DivisionFn 実数 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)) (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 4047-4077	instance オブジェクト and BimetalTemperatureSensor instance オブジェクト and 金属 instance オブジェクト and 金属 equal オブジェクト and オブジェクト part オブジェクト and オブジェクト part オブジェクト and オブジェクト instance エンティティー and 温度測定 instance エンティティー and 温度測定 instance 量 and 長さ測定 instance 量 and 長さ測定 instance 量 and 長さ測定 instance 量 and 長さ測定 equal エンティティー and エンティティー holdsDuring 時間位置 and measure オブジェクト and エンティティー measure オブジェクト and 量 measure オブジェクト and 量 holdsDuring 時間位置 and measure オブジェクト and エンティティー measure オブジェクト and 量 measure オブジェクト and 量 equal DivisionFn 量 and 量 and DivisionFn 量 and 量
(=> (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 3444-3464	instance コレクション and コレクション instance 通貨測定 and 通貨測定 instance 整数 and 実数 equal 通貨測定 and GMBFn コレクション equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and オブジェクトエンティティー member エンティティー and コレクション patient 記号文字列 and エンティティー equal ABPFn コレクション and DivisionFn 通貨測定 and 整数
(=> (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 3052-3076	instance コレクション and コレクションオブジェクト member オブジェクト and コレクション instance オブジェクト and WebListing equal DivisionFn CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and WebListing instance エンティティー and WebSite instance エンティティー and 物理 member 記号文字列 and コレクション patient 記号文字列 and エンティティー hostedOn 記号文字列 and エンティティーエンティティー instance エンティティー and 購買 patient エンティティー and エンティティー eCommerceSite エンティティー and エンティティー and CardinalityFn コレクション and BidCountFn コレクション
(=> (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 エンティティー and EngineChoke holdsDuring 工程 and attribute エンティティー and DeviceOn holdsDuring 工程 and attribute エンティティー and DeviceOff instance 自己接続オブジェクト and EngineCylinder capacity 自己接続オブジェクト and 一定量 instance 工程 and FourStrokeCompression instance 工程 and FourStrokeCompression eventLocated 工程 and 自己接続オブジェクト eventLocated 工程 and 自己接続オブジェクト instance オブジェクト and Air instance オブジェクト and Fuel part オブジェクト and 一定量IX1 part オブジェクト and 一定量IX1 measure 一定量IX1 and 一定量 instance オブジェクト and Air instance オブジェクト and Fuel part オブジェクト and 一定量IX2 part オブジェクト and 一定量IX2 measure 一定量IX2 and 一定量 measure オブジェクト and オブジェクトM measure オブジェクト and オブジェクトM measure オブジェクト and オブジェクトM measure オブジェクト and オブジェクトM greaterThan DivisionFn オブジェクトM and オブジェクトM and DivisionFn オブジェクトM and オブジェクトM
(=> (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 3299-3318	instance Experimenting and Experimenting instance 時間間隔 and 時間間隔 equal DivisionFn CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 購買 member 記号文字列 and QualifyingPurchasesFn Experimenting during WhenFn 記号文字列 and 時間間隔 and CardinalityFn KappaFn 記号文字列 and member 記号文字列 and TreatedUsersFn Experimenting instance エンティティー and AccessingWebPage during WhenFn エンティティー and 時間間隔 agent エンティティー and 記号文字列 and PPIFn Experimenting and 時間間隔
(=> (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 3260-3277	instance Experimenting and Experimenting instance エンティティー and 時間間隔 equal DivisionFn CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 購買 member 記号文字列 and QualifyingPurchasesFn Experimenting and CardinalityFn KappaFn 記号文字列 and member 記号文字列 and TreatedUsersFn Experimenting instance エンティティー and AccessingWebPage agent エンティティー and 記号文字列 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 3916-3934	instance SRP and SearchResultsPage instance リスト and SRPResults component リスト and SRP equal DivisionFn CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and RequestingHyperlink patient 記号文字列 and エンティティー destination 記号文字列 and エンティティー instance エンティティー and HypertextLink component エンティティー and SRP instance エンティティー and ProductDescriptionPage instance エンティティー and ViewItemPage and ListLengthFn リスト and SRPEngagementFn SRP
(=> (and (instance ?QUANTITY1 Quantity) (instance ?QUANTITY2 Quantity)) (equal (LiftFn ?QUANTITY1 ?QUANTITY2) (DivisionFn (SubtractionFn ?QUANTITY1 ?QUANTITY2) ?QUANTITY2)))	UXExperimentalTerms.kif 4754-4762	instance 量 and 量 instance 量 and 量 equal LiftFn 量 and 量 and DivisionFn SubtractionFn 量 and 量 and 量
(=> (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 1462-1469	instance 放射 and RadiatingElectromagnetic 放射の搬送波周波数は MeasureFn Hertz and 測定単位 wavelength 放射 and MeasureFn Meter and 測定単位 equal MeasureFn Meter and 測定単位 and MeasureFn Meter and DivisionFn 299792458 and 測定単位
(=> (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 ?ITEM ?BUYING)))))))) (equal (ASPFn ?SELLINGS) (DivisionFn ?GMV ?TOTAL)))	UXExperimentalTerms.kif 3487-3507	instance コレクション and コレクション instance 通貨測定 and 通貨測定 instance 整数 and 実数 equal 通貨測定 and GMVFn コレクション equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and オブジェクトエンティティー member エンティティー and コレクション patient 記号文字列 and エンティティー equal ASPFn コレクション and DivisionFn 通貨測定 and 整数
(=> (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 3066-3080	instance 時間位置 and ElectricalTransformer instance WireCoil and WireCoil instance WireCoil and WireCoil coilCount WireCoil and 整数 coilCount WireCoil and 整数 holdsDuring 時間位置 and measure WireCoil and MeasureFn Volt and 量 holdsDuring 時間位置 and measure WireCoil and MeasureFn Volt and 量 equal 量 and MultiplicationFn 量 and DivisionFn 整数 and 整数
(=> (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 3527-3550	instance コレクション and コレクション instance 微粒子オブジェクト and HypertextLink オブジェクト member オブジェクト and コレクション instance オブジェクト and AccessingWebPage component コレクション and 微粒子オブジェクトコレクション instance コレクション and コレクション工程 instance 工程 and RequestingHyperlink patient 工程 and 微粒子オブジェクト member 工程 and コレクション equal ClickThroughRateFn コレクション and 微粒子オブジェクト and DivisionFn CardinalityFn コレクション and CardinalityFn コレクション

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 7647-7649	equal MeasureFn 実数 and AngularDegree and MeasureFn MultiplicationFn 実数 and DivisionFn パイ and 180.0 and Radian
(equal (MeasureFn ?NUMBER CelsiusDegree) (MeasureFn (DivisionFn (SubtractionFn ?NUMBER 32) 1.8) FahrenheitDegree))	Merge.kif 7270-7272	equal MeasureFn 実数 and CelsiusDegree and MeasureFn DivisionFn SubtractionFn 実数 and 32 and 1.8 and FahrenheitDegree
(equal (MeasureFn ?NUMBER Cup) (MeasureFn (DivisionFn ?NUMBER 2) Pint))	Merge.kif 7510-7512	equal MeasureFn 実数 and Cup and MeasureFn DivisionFn 実数 and 2 and Pint
(equal (MeasureFn ?NUMBER Ounce) (MeasureFn (DivisionFn ?NUMBER 8) Cup))	Merge.kif 7519-7521	equal MeasureFn 実数 and Ounce and MeasureFn DivisionFn 実数 and 8 and Cup
(equal (MeasureFn ?NUMBER Pint) (MeasureFn (DivisionFn ?NUMBER 2) Quart))	Merge.kif 7501-7503	equal MeasureFn 実数 and Pint and MeasureFn DivisionFn 実数 and 2 and Quart
(equal (MeasureFn ?NUMBER Quart) (MeasureFn (DivisionFn ?NUMBER 4) UnitedStatesGallon))	Merge.kif 7492-7494	equal MeasureFn 実数 and Quart and MeasureFn DivisionFn 実数 and 4 and UnitedStatesGallon
(forall (?NUMBER) (equal (MeasureFn ?NUMBER OunceMass) (MeasureFn (DivisionFn ?NUMBER 16) PoundMass)))	Mid-level-ontology.kif 10946-10949	実数 equal MeasureFn 実数 and OunceMass and MeasureFn DivisionFn 実数 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: