Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - equal
equal

appearance as argument number 2
-------------------------


(format ItalianLanguage equal "%1 is %n uguale a %2") relations-it.txt 96-96
(format cz equal "%1 se %n{ne}rovn� %2") relations-cz.txt 179-179
(format de equal "%1 ist gleich %2 %n{nicht}") relations-de.txt 387-387
(format hi equal "%1 %2 ke baraabara %n hai") relations-hindi.txt 136-136
(format sv equal "%1 är %n{inte} lika med %2") relations-sv.txt 178-178
(format tg equal "%1 %n ay pareho sa %2") relations-tg.txt 205-205
(termFormat tg equal "pareho") relations-tg.txt 206-206

antecedent
-------------------------


(<=>
    (and
        (equal
            (AbsoluteValueFn ?NUMBER1) ?NUMBER2)
        (instance ?NUMBER1 RealNumber)
        (instance ?NUMBER2 RealNumber))
    (or
        (and
            (instance ?NUMBER1 NonnegativeRealNumber)
            (equal ?NUMBER1 ?NUMBER2))
        (and
            (instance ?NUMBER1 NegativeRealNumber)
            (equal ?NUMBER2
                (SubtractionFn 0.0 ?NUMBER1)))))		 Merge.kif 4796-4807 equal 実数 の absolute value and 非負実数 実数 は 実数 の instance では 非負実数 は 実数 の instance では 実数 は 非負実数 の instance では equal 実数 and 非負実数 実数 は 負の実数 の instance では equal 非負実数 and (0.0 + 実数)
(<=>
    (and
        (instance ?Account FinancialAccount)
        (possesses ?Agent ?Asset)
        (equal ?Account
            (AccountFn ?Asset)))
    (accountHolder ?Account ?Agent))		 FinancialOntology.kif 2338-2343 FinancialAccount は FinancialAccount の instance では 認識エージェント は FinancialAsset を possesses equal FinancialAccount and AccountFn FinancialAsset accountHolder FinancialAccount and 認識エージェント
(<=>
    (and
        (instance ?Y
            (YearFn ?YEAR))
        (equal
            (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (attribute ?INDIVIDUAL Male)
                                        (during
                                            (WhenFn ?BIRTH) ?Y)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))		 People.kif 357-390 年 は 年EAR year 目 の instance では equal MaleLifeExpectancyAtBirthFn 地政学的地域 and 年 and 実数 リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リスト は リスト の instance では リスト の length は 整数 の instance では リストITEM average リスト and 実数
(<=>
    (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 目 の instance では equal BirthsPerThousandFn 地政学的地域 and 年 and 実数 equal PopulationFn 地政学的地域 + 1000 and 実数 equal 整数 and エンティティー class の instances の数 equal 整数 + 実数 and 実数
(<=>
    (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 目 の instance では equal DeathsPerThousandFn 地政学的地域 and 年 and 実数 equal PopulationFn 地政学的地域 + 1000 and 実数 equal 整数 and エンティティー class の instances の数 equal 整数 + 実数 and 実数
(<=>
    (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 目 の instance では equal DeathsPerThousandLiveBirthsFn 地政学的地域 and 年 and 実数 equal 整数 and エンティティー class の instances の数 equal 整数 + 1000 and 実数 equal 整数 and エンティティー class の instances の数 equal 整数 + 実数 and 実数
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (attribute ?INDIVIDUAL Female)
                                        (during
                                            (WhenFn ?BIRTH) ?YEAR)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))		 People.kif 403-436 年 は 整数 year 目 の instance では equal FemaleLifeExpectancyAtBirthFn 地政学的地域 and 年 and 実数 リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リスト は リスト の instance では リスト の length は 整数 の instance では リストITEM average リスト and 実数
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (LifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (during
                                            (WhenFn ?BIRTH) ?YEAR)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))		 People.kif 310-342 年 は 整数 year 目 の instance では equal LifeExpectancyAtBirthFn 地政学的地域 and 年 and 実数 リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リスト は リスト の instance では リスト の length は 整数 の instance では リストITEM average リスト and 実数
(<=>
    (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 目 の instance では equal MigrantsPerThousandFn 地政学的地域 and 年 and 実数 equal ( 整数 + 整数) and 1 エンティティー は 整数 year 目 の instance では equal PopulationFn 地政学的地域 and 実数 は 年 の during holds equal 実数 + 1000 and 実数 equal 整数 and エンティティー class の instances の数 equal 整数 and エンティティー class の instances の数 equal ( 整数 + 整数) and 実数 equal 実数 + 実数 and 実数
(<=>
    (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 目 の instance では equal PopulationGrowthFn 地政学的地域 and 年 and 実数 equal ( 整数 + 整数P) and 1 時間位置 は 整数P year 目 の instance では equal PopulationFn 地政学的地域 and 実数 は 年 の during holds equal PopulationFn 地政学的地域 and 実数 は 時間位置 の during holds equal 実数 + 実数 and 実数 equal ( 実数 + 1) 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 206-223 equal MaleToFemaleRatioFn 地政学的地域 and 実数 equal 整数 and エンティティー class の instances の数 equal 整数 and エンティティー class の instances の数 equal 整数 + 整数 and 実数
(<=>
    (equal ?ID
        (InfectionFn ?M))
    (biologicalAgentCarrier ?ID ?M))		 Medicine.kif 2003-2005 equal BiologicalAgent and InfectionFn 物 biologicalAgentCarrier BiologicalAgent and 物
(<=>
    (equal ?SD
        (StandardDeviationFn ?L))
    (equal ?SD
        (SquareRootFn
            (VarianceFn ?L))))		 Weather.kif 2338-2343 equal 実数 and StandardDeviationFn リスト equal 実数 and VarianceFn リスト の squareRoot
(<=>
    (equal ?SPEED
        (MeasureFn ?NUM MilesPerHour))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM Mile)
            (MeasureFn 1 HourDuration))))		 Weather.kif 2531-2537 equal 関数量 and 実数 の MilesPerHour(s) equal 関数量 and 1 の HourDuration(s) per 実数 の Mile(s)
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option Option)
            (underlier ?Option ?Stock)
            (price ?Stock ?StockPrice ?Time)
            (strikePrice ?Option ?StrikePrice)
            (equal ?StockPrice ?StrikePrice)))
    (atTheMoney ?Option ?Time))		 FinancialOntology.kif 3051-3059 FinancialInstrument FinancialInstrumentPrice and 通貨測定 Agreement は Option の instance では underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and AutonomousAgent strikePrice Agreement and 通貨測定 equal FinancialInstrumentPrice and 通貨測定 atTheMoney Agreement and AutonomousAgent
(=>
    (and
        (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT)
        (or
            (equal ?ATTR Obligation)
            (equal ?ATTR Promise)))
    (modalAttribute
        (exists (?PROC)
            (and
                (realization ?PROC ?PROP)
                (agent ?PROC ?AGENT))) Likely))		 Mid-level-ontology.kif 15450-15460
(=>
    (and
        (arableLandArea ?REGION
            (MeasureFn ?FRACTION ?UNIT))
        (greaterThanOrEqualTo ?FRACTION 0.0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (arableLandArea ?REGION
        (MeasureFn ?AMOUNT ?UNIT)))		 Geography.kif 2238-2248
(=>
    (and
        (arcLength ?A ?L)
        (equal ?A CircularArc))
    (exists (?P ?P2)
        (and
            (pointOfFigure ?P ?A)
            (pointOfFigure ?P2 ?A)
            (not
                (equal ?P ?P2))
            (geometricDistance ?P ?P2 ?L))))		 Mid-level-ontology.kif 5684-5694
(=>
    (and
        (arcLength ?SEMI
            (MeasureFn ?L ?U))
        (equal ?SEMI SemicircularArc))
    (exists (?CIR ?C)
        (and
            (equal ?CIR Circle)
            (geometricPart ?SEMI ?CIR)
            (circumference ?CIR
                (MeasureFn ?C ?U))
            (equal ?C
                (AdditionFn ?L ?L)))))		 Mid-level-ontology.kif 5700-5710
(=>
    (and
        (attribute ?H Anemia)
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Female)
        (measure ?B
            (MeasureFn 0.1 Liter))
        (instance ?HE Hemoglobin)
        (part ?HE ?B)
        (not
            (instance ?HE2 Hemoglobin))
        (not
            (equal ?HE ?HE2))
        (part ?H2 ?B)
        (measure ?HE
            (MeasureFn ?N Gram)))
    (lessThan ?N 12))		 Medicine.kif 172-187
(=>
    (and
        (attribute ?H Anemia)
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Male)
        (measure ?B
            (MeasureFn 0.1 Liter))
        (instance ?HE Hemoglobin)
        (part ?HE ?B)
        (not
            (instance ?HE2 Hemoglobin))
        (not
            (equal ?HE ?HE2))
        (part ?H2 ?B)
        (measure ?HE
            (MeasureFn ?N Gram)))
    (lessThan ?N 13))		 Medicine.kif 155-170
(=>
    (and
        (attribute ?H Muslim)
        (equal
            (WealthFn ?H) ?W))
    (modalAttribute
        (exists (?Z ?T ?U ?Y ?C)
            (and
                (instance ?Z Zakat)
                (instance ?Y Year)
                (during ?Y
                    (WhenFn ?H))
                (holdsDuring ?Y
                    (attribute ?H FullyFormed))
                (agent ?Z ?H)
                (patient ?Z ?T)
                (monetaryValue ?T
                    (MeasureFn ?C ?U))
                (instance ?U UnitOfCurrency)
                (greaterThan ?C
                    (MultiplicationFn ?W 0.025)))) Obligation))		 ArabicCulture.kif 204-223
(=>
    (and
        (attribute ?H1 ADHD)
        (not
            (attribute ?H2 ADHD))
        (not
            (equal ?H1 ?H2))
        (instance ?I1 ?IC)
        (instance ?I2 ?IC)
        (subclass ?IC IntentionalPsychologicalProcess)
        (agent ?I1 ?H1)
        (agent ?I2 ?H2)
        (duration
            (WhenFn ?I1) ?D1)
        (duration
            (WhenFn ?I2) ?D2))
    (modalAttribute
        (greaterThan ?D2 ?D1) Likely))		 Medicine.kif 3987-4007
(=>
    (and
        (attribute ?O Concave)
        (surface ?O ?S)
        (part ?P1 ?S)
        (part ?P2 ?S)
        (equal ?L
            (LineFn ?P1 ?P2))
        (not
            (equal ?P1 ?P2))
        (part ?PL ?L))
    (orientation ?PL ?O Outside))		 ComputingBrands.kif 2693-2704
(=>
    (and
        (attribute ?O Convex)
        (surface ?O ?S)
        (part ?P1 ?S)
        (part ?P2 ?S)
        (equal ?L
            (LineFn ?P1 ?P2))
        (not
            (equal ?P1 ?P2))
        (part ?PL ?L))
    (orientation ?PL ?O Inside))		 ComputingBrands.kif 2665-2676

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(<=>
    (and
        (equal
            (AbsoluteValueFn ?NUMBER1) ?NUMBER2)
        (instance ?NUMBER1 RealNumber)
        (instance ?NUMBER2 RealNumber))
    (or
        (and
            (instance ?NUMBER1 NonnegativeRealNumber)
            (equal ?NUMBER1 ?NUMBER2))
        (and
            (instance ?NUMBER1 NegativeRealNumber)
            (equal ?NUMBER2
                (SubtractionFn 0.0 ?NUMBER1)))))		 Merge.kif 4796-4807 equal 実数 の absolute value and 非負実数 実数 は 実数 の instance では 非負実数 は 実数 の instance では 実数 は 非負実数 の instance では equal 実数 and 非負実数 実数 は 負の実数 の instance では equal 非負実数 and (0.0 + 実数)
(<=>
    (and
        (instance ?COPY Photocopying)
        (patient ?COPY ?OBJ1)
        (instance ?OBJ1 VisualContentBearingObject)
        (containsInformation ?OBJ1 ?INFO1))
    (exists (?OBJ2 ?INFO2)
        (and
            (result ?COPY ?OBJ2)
            (instance ?OBJ2 VisualContentBearingObject)
            (containsInformation ?OBJ2 ?INFO2)
            (equal ?INFO1 ?INFO2))))		 Mid-level-ontology.kif 28228-28239 工程 は Photocopying の instance では ContentBearingPhysical は 工程 の patient では ContentBearingPhysical は VisualContentBearingObject の instance では ContentBearingPhysical は 命題 の情報を contains ContentBearingPhysical 命題 ContentBearingPhysical は 工程 の result では ContentBearingPhysical は VisualContentBearingObject の instance では ContentBearingPhysical は 命題 の情報を contains equal 命題 and 命題
(<=>
    (and
        (instance ?Y
            (YearFn ?YEAR))
        (equal
            (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (attribute ?INDIVIDUAL Male)
                                        (during
                                            (WhenFn ?BIRTH) ?Y)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))		 People.kif 357-390 年 は 年EAR year 目 の instance では equal MaleLifeExpectancyAtBirthFn 地政学的地域 and 年 and 実数 リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リスト は リスト の instance では リスト の length は 整数 の instance では リストITEM average リスト and 実数
(<=>
    (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 目 の instance では equal BirthsPerThousandFn 地政学的地域 and 年 and 実数 equal PopulationFn 地政学的地域 + 1000 and 実数 equal 整数 and エンティティー class の instances の数 equal 整数 + 実数 and 実数
(<=>
    (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 目 の instance では equal DeathsPerThousandFn 地政学的地域 and 年 and 実数 equal PopulationFn 地政学的地域 + 1000 and 実数 equal 整数 and エンティティー class の instances の数 equal 整数 + 実数 and 実数
(<=>
    (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 目 の instance では equal DeathsPerThousandLiveBirthsFn 地政学的地域 and 年 and 実数 equal 整数 and エンティティー class の instances の数 equal 整数 + 1000 and 実数 equal 整数 and エンティティー class の instances の数 equal 整数 + 実数 and 実数
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (attribute ?INDIVIDUAL Female)
                                        (during
                                            (WhenFn ?BIRTH) ?YEAR)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))		 People.kif 403-436 年 は 整数 year 目 の instance では equal FemaleLifeExpectancyAtBirthFn 地政学的地域 and 年 and 実数 リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リスト は リスト の instance では リスト の length は 整数 の instance では リストITEM average リスト and 実数
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (LifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (during
                                            (WhenFn ?BIRTH) ?YEAR)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))		 People.kif 310-342 年 は 整数 year 目 の instance では equal LifeExpectancyAtBirthFn 地政学的地域 and 年 and 実数 リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リスト は リスト の instance では リスト の length は 整数 の instance では リストITEM average リスト and 実数
(<=>
    (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 目 の instance では equal MigrantsPerThousandFn 地政学的地域 and 年 and 実数 equal ( 整数 + 整数) and 1 エンティティー は 整数 year 目 の instance では equal PopulationFn 地政学的地域 and 実数 は 年 の during holds equal 実数 + 1000 and 実数 equal 整数 and エンティティー class の instances の数 equal 整数 and エンティティー class の instances の数 equal ( 整数 + 整数) and 実数 equal 実数 + 実数 and 実数
(<=>
    (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 目 の instance では equal PopulationGrowthFn 地政学的地域 and 年 and 実数 equal ( 整数 + 整数P) and 1 時間位置 は 整数P year 目 の instance では equal PopulationFn 地政学的地域 and 実数 は 年 の during holds equal PopulationFn 地政学的地域 and 実数 は 時間位置 の during holds equal 実数 + 実数 and 実数 equal ( 実数 + 1) and 実数
(<=>
    (attribute ?MUSIC PolyphonicMusic)
    (exists (?PART1 ?PART2)
        (and
            (instance ?MUSIC MakingMusic)
            (instance ?PART1 MakingMusic)
            (instance ?PART2 MakingMusic)
            (subProcess ?PART1 ?MUSIC)
            (subProcess ?PART2 ?MUSIC)
            (not
                (equal ?PART1 ?PART2))
            (cooccur ?PART1 ?MUSIC)
            (cooccur ?PART2 ?MUSIC))))		 Mid-level-ontology.kif 744-755 PolyphonicMusic は オブジェクト の attribute では 工程 工程 オブジェクト は MakingMusic の instance では 工程 は MakingMusic の instance では 工程 は MakingMusic の instance では 工程 は オブジェクト% の subprocess では 工程 は オブジェクト% の subprocess では equal 工程 and 工程 工程 は オブジェクト と同時に occurs 工程 は オブジェクト と同時に occurs
(<=>
    (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 リスト and 実数 リスト 正の整数 equal リスト の length and リスト の length equal リスト の 1th element and リスト の 1th element 正の整数 equal 正の整数 and リスト の length equal 実数 and リスト の 正の整数th element + 正の整数
(<=>
    (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 1529-1540 beliefGroupPercentInRegion BeliefGroup, 実数 and 地理的地域 コレクション コレクション, 物理, 物理2, 実数1 and 実数2 物理 は 地理的地域 に located して 物理 は BeliefGroup の member では 物理 は コレクション の member では memberCount コレクション and 実数1 物理2 は 地理的地域 に located して 物理2 は コレクション の member では memberCount コレクション and 実数2 equal 実数 + 100 and 実数1 + 実数2
(<=>
    (compressionRatio ?E ?R)
    (and
        (minCylinderVolume ?E
            (MeasureFn ?MIN ?M))
        (maxCylinderVolume ?E
            (MeasureFn ?MAX ?M))
        (equal ?R
            (DivisionFn ?MIN ?MAX))))		 Cars.kif 1912-1917 compressionRatio Engine and 実数 minCylinderVolume Engine and 実数 の 測定単位(s) maxCylinderVolume Engine and 測定単位AX の 測定単位(s) equal 実数 and 実数 + 測定単位AX
(<=>
    (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 equal MaleToFemaleRatioFn 地政学的地域 and 実数 equal 整数 and エンティティー class の instances の数 equal 整数 and エンティティー class の instances の数 equal 整数 + 整数 and 実数
(<=>
    (equal ?SD
        (StandardDeviationFn ?L))
    (equal ?SD
        (SquareRootFn
            (VarianceFn ?L))))		 Weather.kif 2338-2343 equal 実数 and StandardDeviationFn リスト equal 実数 and VarianceFn リスト の squareRoot
(<=>
    (equal ?SPEED
        (MeasureFn ?NUM MilesPerHour))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM Mile)
            (MeasureFn 1 HourDuration))))		 Weather.kif 2531-2537 equal 関数量 and 実数 の MilesPerHour(s) equal 関数量 and 1 の HourDuration(s) per 実数 の Mile(s)
(<=>
    (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 1548-1559 ethnicityPercentInRegion 民族, 実数 and 地理的地域 コレクション コレクション, 物理, 物理2, 実数1 and 実数2 物理 は 地理的地域 に located して 物理 は 民族 の member では 物理 は コレクション の member では memberCount コレクション and 実数1 物理2 は 地理的地域 に located して 物理2 は コレクション の member では memberCount コレクション and 実数2 equal 実数 + 100 and 実数1 + 実数2
(<=>
    (holdsDuring ?T
        (attribute ?H Alone))
    (not
        (exists (?H2 ?SI)
            (and
                (not
                    (equal ?H ?H2))
                (instance ?H2 AutonomousAgent)
                (instance ?SI SocialInteraction)
                (during
                    (WhenFn ?SI) ?T)
                (involvedInEvent ?SI ?H)
                (involvedInEvent ?SI ?H2)))))		 Mid-level-ontology.kif 32141-32154 Alone は エンティティー の attribute では は 時間間隔 の during holds エンティティー2 工程 equal エンティティー and エンティティー2 エンティティー2 は AutonomousAgent の instance では 工程 は 社会的交流 の instance では 工程 の time の existence は 時間間隔 の during に takes involvedInEvent 工程 and エンティティー involvedInEvent 工程 and エンティティー2
(<=>
    (instance ?CONTINENT Continent)
    (or
        (equal Africa ?CONTINENT)
        (equal NorthAmerica ?CONTINENT)
        (equal SouthAmerica ?CONTINENT)
        (equal Antarctica ?CONTINENT)
        (equal Europe ?CONTINENT)
        (equal Asia ?CONTINENT)
        (equal Oceania ?CONTINENT)))		 Geography.kif 3662-3671 エンティティー は 大陸 の instance では equal Africa and エンティティー equal NorthAmerica and エンティティー equal SouthAmerica and エンティティー equal Antarctica and エンティティー equal Europe and エンティティー equal Asia and エンティティー equal Oceania and エンティティー
(<=>
    (instance ?CS ConjugatedSubstance)
    (exists (?C1 ?C2 ?P)
        (and
            (instance ?C1 CompoundSubstance)
            (instance ?C2 CompoundSubstance)
            (not
                (equal ?C1 ?C2))
            (instance ?P ChemicalSynthesis)
            (resource ?P ?C1)
            (resource ?P ?C2)
            (result ?P ?CS))))		 Mid-level-ontology.kif 7415-7425 エンティティー は ConjugatedSubstance の instance では オブジェクト オブジェクト and 工程 オブジェクト は 合成物質 の instance では オブジェクト は 合成物質 の instance では equal オブジェクト and オブジェクト 工程 は 化学合成 の instance では オブジェクト は 工程 の resource では オブジェクト は 工程 の resource では エンティティー は 工程 の result では
(<=>
    (instance ?HEMISPHERE Hemisphere)
    (or
        (equal ?HEMISPHERE NorthernHemisphere)
        (equal ?HEMISPHERE SouthernHemisphere)
        (equal ?HEMISPHERE EasternHemisphere)
        (equal ?HEMISPHERE WesternHemisphere)))		 Geography.kif 3646-3652 エンティティー は Hemisphere の instance では equal エンティティー and NorthernHemisphere equal エンティティー and SouthernHemisphere equal エンティティー and EasternHemisphere equal エンティティー and WesternHemisphere
(<=>
    (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 1567-1578 languagePercentInRegion 言語, 実数 and 地理的地域 コレクション コレクション, 意識［知覚］を持つ代理(人), 意識［知覚］を持つ代理(人)2, 実数1 and 実数2 意識［知覚］を持つ代理(人) は 地理的地域 に located して 意識［知覚］を持つ代理(人) は コレクション の member では speaksLanguage 意識［知覚］を持つ代理(人) and 言語 memberCount コレクション and 実数1 意識［知覚］を持つ代理(人)2 は 地理的地域 に located して 意識［知覚］を持つ代理(人)2 は コレクション の member では memberCount コレクション and 実数2 equal 実数 + 100 and 実数1 + 実数2
(<=>
    (lessThanOrEqualTo ?NUMBER1 ?NUMBER2)
    (or
        (equal ?NUMBER1 ?NUMBER2)
        (lessThan ?NUMBER1 ?NUMBER2)))		 Merge.kif 1877-1881 実数 は 実数 より less または同等 では equal 実数 and 実数 実数 は 実数 より less では
(<=>
    (stringConcatenation ?S1 ?S2 ?S3)
    (equal ?S3
        (StringConcatenateFn ?S1 ?S2)))		 Mid-level-ontology.kif 26158-26160 stringConcatenation 記号文字列, 記号文字列 and 記号文字列 equal 記号文字列 and StringConcatenateFn 記号文字列 and 記号文字列

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(and
    (instance ?YEAR
        (YearFn ?Y))
    (equal
        (ChildrenBornPerWomanFn ?AREA ?YEAR)
        (CardinalityFn
            (KappaFn ?INFANT
                (and
                    (instance ?BIRTH Birth)
                    (experiencer ?BIRTH ?INFANT)
                    (agent ?BIRTH ?WOMAN)
                    (instance ?WOMAN Human)
                    (attribute ?WOMAN Female)
                    (holdsDuring ?YEAR
                        (inhabits ?WOMAN ?AREA)))))))		 People.kif 456-469 年 は 整数 year 目 の instance では equal ChildrenBornPerWomanFn 地政学的地域 and 年 and エンティティー class の instances の数
(equal
    (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (militaryAge ?AREA ?MILITARYAGE)
                (equal ?AGEMINUSONE
                    (SubtractionFn ?AGE 1))
                (holdsDuring ?YEAR
                    (or
                        (age ?PERSON ?AGEMINUSONE)
                        (age ?PERSON ?AGE)))
                (equal ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))		 Military.kif 1001-1014 equal ReachingMilitaryAgeAnnuallyMaleFn 地政学的地域 and 年 and エンティティー class の instances の数
(forall (?NUMBER)
    (equal
        (MeasureFn ?NUMBER OunceMass)
        (MeasureFn
            (DivisionFn ?NUMBER 16.0) PoundMass)))		 Mid-level-ontology.kif 14672-14675 実数 equal 実数 の OunceMass(s) and 実数 + 16.0 の PoundMass(s)
(forall (?NUMBER)
    (equal
        (PredecessorFn ?NUMBER)
        (SubtractionFn ?NUMBER 1)))		 Merge.kif 4764-4765 整数 equal ( 整数+2) and ( 整数 + 1)
(forall (?NUMBER)
    (equal
        (SuccessorFn ?NUMBER)
        (AdditionFn ?NUMBER 1)))		 Merge.kif 4748-4749 整数 equal ( 整数+1) and ( 整数 + 1)
(forall (@ROW ?ITEM)
    (equal
        (ListLengthFn
            (ListFn @ROW ?ITEM))
        (SuccessorFn
            (ListLengthFn
                (ListFn @ROW)))))		 Merge.kif 3050-3053 @ROW エンティティー equal (@ROW + エンティティー) の length and ((@ROW) の length+1)
(forall (@ROW ?ITEM)
    (equal
        (ListOrderFn
            (ListFn @ROW ?ITEM)
            (ListLengthFn
                (ListFn @ROW ?ITEM))) ?ITEM))		 Merge.kif 3055-3059 @ROW エンティティー equal (@ROW + エンティティー) の (@ROW + エンティティー) の lengthth element and エンティティー
(not
    (equal BigSix GroupOf6))		 Government.kif 2876-2876 equal BigSix and GroupOf6

appearance as argument number 0
-------------------------


(equal
    (ArcCosineFn
        (CosineFn ?X)) ?X)		 Merge.kif 5293-5293 equal ArcCosineFn 実数 の cosine and 実数
(equal
    (ArcSineFn
        (SineFn ?X)) ?X)		 Merge.kif 5303-5303 equal ArcSineFn 実数 の sine and 実数
(equal
    (ArcTangentFn
        (TangentFn ?X)) ?X)		 Merge.kif 5283-5283 equal ArcTangentFn 実数 の tangent and 実数
(equal
    (AvailableForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))		 Military.kif 940-949 equal AvailableForMilitaryServiceMaleFn 地政学的地域 and エンティティー class の instances の数
(equal
    (CardinalityFn
        (KappaFn ?SIDE
            (sideOfFigure ?SIDE CircleSector))) 3)		 Mid-level-ontology.kif 5635-5638 equal エンティティー class の instances の数 and 3
(equal
    (CardinalityFn
        (KappaFn ?SIDE
            (sideOfFigure ?SIDE CircularSegment))) 2)		 Mid-level-ontology.kif 5910-5913 equal エンティティー class の instances の数 and 2
(equal
    (CardinalityFn
        (KappaFn ?SIDE
            (sideOfFigure ?SIDE Triangle))) 3)		 Mid-level-ontology.kif 5522-5525 equal エンティティー class の instances の数 and 3
(equal
    (CardinalityFn Continent) 7)		 Merge.kif 14335-14335 equal 大陸 の instances の数 and 7
(equal
    (CardinalityFn NativityMagi) 3)		 Media.kif 2005-2005 equal NativityMagi の instances の数 and 3
(equal
    (FitForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (subclass ?PROCESS MilitaryProcess)
                (fitForMilitaryService ?PERSON ?PROCESS)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))		 Military.kif 963-974 equal FitForMilitaryServiceMaleFn 地政学的地域 and エンティティー class の instances の数
(equal
    (JankaHardnessFn AspenTree)
    (MeasureFn 350 PoundForce))		 Mid-level-ontology.kif 10422-10422 equal JankaHardnessFn AspenTree and 350 の PoundForce(s)
(equal
    (JankaHardnessFn BeechTree)
    (MeasureFn 1300 PoundForce))		 Mid-level-ontology.kif 10425-10425 equal JankaHardnessFn BeechTree and 1300 の PoundForce(s)
(equal
    (JankaHardnessFn PoplarTree)
    (MeasureFn 540 PoundForce))		 Mid-level-ontology.kif 10423-10423 equal JankaHardnessFn PoplarTree and 540 の PoundForce(s)
(equal
    (JankaHardnessFn RedOakTree)
    (MeasureFn 1290 PoundForce))		 Mid-level-ontology.kif 10424-10424 equal JankaHardnessFn RedOakTree and 1290 の PoundForce(s)
(equal
    (JankaHardnessFn WhiteOakTree)
    (MeasureFn 1360 PoundForce))		 Mid-level-ontology.kif 10426-10426 equal JankaHardnessFn WhiteOakTree and 1360 の PoundForce(s)
(equal
    (MeasureFn 1 FEU)
    (MeasureFn 2 TEU))		 Transportation.kif 3105-3107 equal 1 の FEU(s) and 2 の TEU(s)
(equal
    (MeasureFn 1 KilowattHour)
    (MeasureFn 3.6
        (MegaFn Joule)))		 Economy.kif 2248-2248 equal 1 の KilowattHour(s) and 3.6 の 1 の million Joules(s)
(equal
    (MeasureFn 1 KilowattHour)
    (MeasureFn 3600000.0 Joule))		 Economy.kif 2249-2249 equal 1 の KilowattHour(s) and 3600000.0 の Joule(s)
(equal
    (MeasureFn 1 WeekDuration)
    (MeasureFn 7 DayDuration))		 Merge.kif 7137-7139 equal 1 の WeekDuration(s) and 7 の DayDuration(s)
(equal
    (MeasureFn 1 YearDuration)
    (MeasureFn 365 DayDuration))		 Merge.kif 7164-7166 equal 1 の YearDuration(s) and 365 の DayDuration(s)
(equal
    (MeasureFn 1.0 AngularDegree)
    (MeasureFn 60.0 ArcMinute))		 Geography.kif 552-552 equal 1.0 の AngularDegree(s) and 60.0 の ArcMinute(s)
(equal
    (MeasureFn 1.0 ArcMinute)
    (MeasureFn 60.0 ArcSecond))		 Geography.kif 571-571 equal 1.0 の ArcMinute(s) and 60.0 の ArcSecond(s)
(equal
    (MeasureFn 1.0 Fathom)
    (MeasureFn 6.0 FootLength))		 Geography.kif 4093-4093 equal 1.0 の Fathom(s) and 6.0 の FootLength(s)
(equal
    (MeasureFn 1.0 MetricTon)
    (MeasureFn 2205.0 PoundMass))		 Mid-level-ontology.kif 14940-14942 equal 1.0 の MetricTon(s) and 2205.0 の PoundMass(s)
(equal
    (MeasureFn 1.0 NauticalMile)
    (MeasureFn 1852.0 Meter))		 Geography.kif 4116-4118 equal 1.0 の NauticalMile(s) and 1852.0 の Meter(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners