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 1
-------------------------


(documentation equal ChineseLanguage "假如 ?ENTITY1 等于 ?ENTITY2的话,那么 (equal ?ENTITY1 ?ENTITY2) 就是真的。") chinese_format.kif 1391-1392
(documentation equal JapaneseLanguage "(equal ?ENTITY1 ?ENTITY2) は、万が一に備え、?ENTITY1が ?ENTITY2と同じある場合に当てはまる。") japanese_format.kif 48-49
(documentation equal SpanishLanguage "(equal ?ENTITY1 ?ENTITY2) es verdadero por si acaso ?ENTITY1 es idéntico a ?ENTITY2.") spanish_format.kif 53-54

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


(format ChineseLanguage equal "%1 %n equal %2") chinese_format.kif 297-297
(format EnglishLanguage equal "%1 is %n equal to %2") english_format.kif 302-302
(format FrenchLanguage equal "%1 est %n �gal � %2") french_format.kif 171-171
(format ItalianLanguage equal "%1 is %n uguale a %2") relations-it.txt 96-96
(format JapaneseLanguage equal "%1 は %2 と equal では %n") japanese_format.kif 1991-1991
(format PortugueseLanguage equal "%1 e' %n igual a %2") portuguese_format.kif 123-123
(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 ro equal "%1 %n{nu} este equal%t{egal} cu %2") relations-ro.kif 191-191
(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 ChineseLanguage equal "等于") chinese_format.kif 298-298
(termFormat ChineseTraditionalLanguage equal "等於") domainEnglishFormat.kif 22317-22317
(termFormat EnglishLanguage equal "equal") domainEnglishFormat.kif 22316-22316
(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 4769-4780 等於 絕對值 RealNumber and NonnegativeRealNumber RealNumber and RealNumber NonnegativeRealNumber and RealNumber RealNumber and NonnegativeRealNumber 等於 RealNumber and NonnegativeRealNumber RealNumber and NegativeRealNumber 等於 NonnegativeRealNumber and 減法 0.0 and RealNumber
(<=>
    (and
        (instance ?Account FinancialAccount)
        (possesses ?Agent ?Asset)
        (equal ?Account
            (AccountFn ?Asset)))
    (accountHolder ?Account ?Agent))
FinancialOntology.kif 2321-2326 金融賬戶 and 金融賬戶 擁有 CognitiveAgent and 金融資產 等於 金融賬戶 and 金融資產 的帳號 CognitiveAgent 持有 account 金融賬戶
(<=>
    (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 and EAR 等於 GeopoliticalAreamale 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity List and List 列表長度 List and Integer ListITEM RealNumber Listaverage
(<=>
    (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 and Integer 等於 GeopoliticalArea 每一千的 births and RealNumber 等於 GeopoliticalAreapopulation and 1000 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and SymbolicString and Birth 體驗者 SymbolicString and entity entity and Human 期間 何時 SymbolicString and 等於 哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於 Integer and RealNumber and RealNumber
(<=>
    (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 and Integer 等於 GeopoliticalArea 每一千裡的 deaths and RealNumber 等於 GeopoliticalAreapopulation and 1000 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and SymbolicString and Death 體驗者 SymbolicString and entity entity and Human 期間 何時 SymbolicString and 等於 哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於 Integer and RealNumber and RealNumber
(<=>
    (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 and Integer 等於 GeopoliticalArea 每一千個生存出生裡的 deaths and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and SymbolicString and Birth 體驗者 SymbolicString and entity entity and Human 期間 何時 SymbolicString and 等於 哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於 Integer and 1000 and RealNumber 等於 entityDEATHCOUNT and 基數 卡帕 SymbolicString and SymbolicString and Death 體驗者 SymbolicString and entity entity and Human 年齡 entity and 測量 entity and 年持續時間 少於 entity and 1 期間 何時 SymbolicString and 等於 哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於 entityDEATHCOUNT and RealNumber and RealNumber
(<=>
    (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 and Integer 等於 GeopoliticalAreafemale 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity List and List 列表長度 List and Integer ListITEM RealNumber Listaverage
(<=>
    (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 and Integer 等於 GeopoliticalArea 的出生預期 life and RealNumber List Integer, SymbolicString, entity, entity and entity List and List 列表長度 List and Integer ListITEM RealNumber Listaverage
(<=>
    (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 and Integer 等於 GeopoliticalArea 每一千的 migrants and RealNumber 等於 減法 Integer and Integer and 1 Entity and Integer 持有期間 and 等於 GeopoliticalAreapopulation and RealNumber 等於 RealNumber and 1000 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and SymbolicString and Human 持有期間 Entity and 棲息 SymbolicString and GeopoliticalArea 持有期間 and 棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數 卡帕 SymbolicString and SymbolicString and Human 持有期間 Entity and 棲息 SymbolicString and GeopoliticalArea 持有期間 and 棲息 SymbolicString and GeopoliticalArea 等於 減法 Integer and Integer and RealNumber 等於 RealNumber and RealNumber and RealNumber
(<=>
    (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 and Integer 等於 GeopoliticalAreapopulation 成長 and RealNumber 等於 減法 Integer and IntegerP and 1 TimePosition and IntegerP 持有期間 and 等於 GeopoliticalAreapopulation and RealNumber 持有期間 TimePosition and 等於 GeopoliticalAreapopulation and RealNumber 等於 RealNumber and RealNumber and RealNumber 等於 減法 RealNumber and 1 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 206-223 等於 GeopoliticalAreamale 對母性比率 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and SymbolicString and Human attribute SymbolicString and 棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數 卡帕 SymbolicString and SymbolicString and Human attribute SymbolicString and 棲息 SymbolicString and GeopoliticalArea 等於 Integer and Integer and RealNumber
(<=>
    (equal ?SD
        (StandardDeviationFn ?L))
    (equal ?SD
        (SquareRootFn
            (VarianceFn ?L))))
Weather.kif 1492-1497 等於 RealNumber and StandardDeviationFn List 等於 RealNumber and 平方根 VarianceFn List
(<=>
    (equal ?SPEED
        (MeasureFn ?NUM MilesPerHour))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM Mile)
            (MeasureFn 1 HourDuration))))
Weather.kif 1685-1691 等於 FunctionQuantity and 測量 RealNumber and MilesPerHour 等於 FunctionQuantity and 速度 測量 RealNumber and 英里 and 測量 1 and 小時
(<=>
    (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 3034-3042 金融工具 金融工具Price and CurrencyMeasure 協議 and 選項 金融工具 協議underlier 金融工具 是 對於 AutonomousAgentprice 金融工具Price CurrencyMeasure 協議strike 價錢 等於 金融工具Price and CurrencyMeasure AutonomousAgent 協議 at 的錢
(=>
    (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 14106-14116
(=>
    (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 2080-2090
(=>
    (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 3984-4004
(=>
    (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
(=>
    (and
        (attribute ?X ?SHAPE)
        (instance ?X FourPosterBed)
        (instance ?SHAPE Quadrilateral)
        (sideOfFigure ?SIDE1 ?SHAPE)
        (sideOfFigure ?SIDE2 ?SHAPE)
        (not
            (equal ?SIDE1 ?SIDE2)))
    (exists (?POST ?FLOOR ?CORNER1 ?CORNER)
        (and
            (part ?POST ?X)
            (instance ?FLOOR Floor)
            (orientation ?X ?FLOOR On)
            (orientation ?POST ?FLOOR Vertical)
            (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER1)
            (attribute ?CORNER ?CORNER1)
            (meetsSpatially ?CORNER ?POST))))
Mid-level-ontology.kif 4071-4088
(=>
    (and
        (before
            (BeginFn ?INTERVAL2)
            (BeginFn ?INTERVAL1))
        (equal
            (EndFn ?INTERVAL2)
            (EndFn ?INTERVAL1)))
    (finishes ?INTERVAL1 ?INTERVAL2))
Merge.kif 8122-8130
(=>
    (and
        (codeMapping ISO-4217-A ?A3 ?CURRENCY)
        (codeMapping ISO-3166-1-alpha-2 ?A2 ?AREA)
        (instance ?AREA GeopoliticalArea)
        (equal ?A2
            (SubstringFn ?A3 0 2)))
    (currencyType ?AREA ?CURRENCY))
Media.kif 2889-2895

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 4769-4780 等於 絕對值 RealNumber and NonnegativeRealNumber RealNumber and RealNumber NonnegativeRealNumber and RealNumber RealNumber and NonnegativeRealNumber 等於 RealNumber and NonnegativeRealNumber RealNumber and NegativeRealNumber 等於 NonnegativeRealNumber and 減法 0.0 and RealNumber
(<=>
    (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 26362-26373 Process and Photocopying 患者 Process and 內容承載物理 內容承載物理 and VisualContentBearingObject 包含信息 內容承載物理 and Proposition 內容承載物理 Proposition 結果 Process and 內容承載物理 內容承載物理 and VisualContentBearingObject 包含信息 內容承載物理 and Proposition 等於 Proposition and Proposition
(<=>
    (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 and EAR 等於 GeopoliticalAreamale 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity List and List 列表長度 List and Integer ListITEM RealNumber Listaverage
(<=>
    (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 and Integer 等於 GeopoliticalArea 每一千的 births and RealNumber 等於 GeopoliticalAreapopulation and 1000 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and SymbolicString and Birth 體驗者 SymbolicString and entity entity and Human 期間 何時 SymbolicString and 等於 哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於 Integer and RealNumber and RealNumber
(<=>
    (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 and Integer 等於 GeopoliticalArea 每一千裡的 deaths and RealNumber 等於 GeopoliticalAreapopulation and 1000 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and SymbolicString and Death 體驗者 SymbolicString and entity entity and Human 期間 何時 SymbolicString and 等於 哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於 Integer and RealNumber and RealNumber
(<=>
    (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 and Integer 等於 GeopoliticalArea 每一千個生存出生裡的 deaths and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and SymbolicString and Birth 體驗者 SymbolicString and entity entity and Human 期間 何時 SymbolicString and 等於 哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於 Integer and 1000 and RealNumber 等於 entityDEATHCOUNT and 基數 卡帕 SymbolicString and SymbolicString and Death 體驗者 SymbolicString and entity entity and Human 年齡 entity and 測量 entity and 年持續時間 少於 entity and 1 期間 何時 SymbolicString and 等於 哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於 entityDEATHCOUNT and RealNumber and RealNumber
(<=>
    (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 and Integer 等於 GeopoliticalAreafemale 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity List and List 列表長度 List and Integer ListITEM RealNumber Listaverage
(<=>
    (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 and Integer 等於 GeopoliticalArea 的出生預期 life and RealNumber List Integer, SymbolicString, entity, entity and entity List and List 列表長度 List and Integer ListITEM RealNumber Listaverage
(<=>
    (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 and Integer 等於 GeopoliticalArea 每一千的 migrants and RealNumber 等於 減法 Integer and Integer and 1 Entity and Integer 持有期間 and 等於 GeopoliticalAreapopulation and RealNumber 等於 RealNumber and 1000 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and SymbolicString and Human 持有期間 Entity and 棲息 SymbolicString and GeopoliticalArea 持有期間 and 棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數 卡帕 SymbolicString and SymbolicString and Human 持有期間 Entity and 棲息 SymbolicString and GeopoliticalArea 持有期間 and 棲息 SymbolicString and GeopoliticalArea 等於 減法 Integer and Integer and RealNumber 等於 RealNumber and RealNumber and RealNumber
(<=>
    (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 and Integer 等於 GeopoliticalAreapopulation 成長 and RealNumber 等於 減法 Integer and IntegerP and 1 TimePosition and IntegerP 持有期間 and 等於 GeopoliticalAreapopulation and RealNumber 持有期間 TimePosition and 等於 GeopoliticalAreapopulation and RealNumber 等於 RealNumber and RealNumber and RealNumber 等於 減法 RealNumber and 1 and RealNumber
(<=>
    (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 attribute Object and 和弦音樂 Process Process Object and MakingMusic Process and MakingMusic Process and MakingMusic 子過程 Process and Object 子過程 Process and Object 等於 Process and Process 一同發生 Process and Object 一同發生 Process and Object
(<=>
    (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 RealNumber Listaverage List PositiveInteger 等於 列表長度 List and 列表長度 List 等於 清單順序 List and 1 and 清單順序 List and 1 PositiveInteger 等於 PositiveInteger and 列表長度 List 等於 RealNumber and 清單順序 List and PositiveInteger and PositiveInteger
(<=>
    (beliefGroupPercentInRegion ?BG ?N ?R)
    (exists (?G1 ?G2 ?P ?P2 ?N1 ?N2)
        (and
            (located ?P ?R)
            (member ?P ?BG)
            (member ?P ?G1)
            (memberCount ?G1 ?N1)
            (located ?P2 ?R)
            (member ?P2 ?G2)
            (memberCount ?G2 ?N2)
            (equal
                (DivisionFn ?N 100)
                (DivisionFn ?N1 ?N2)))))
People.kif 1528-1539 百分之 RealNumber 信仰團體 的人相信 信仰團體 Collection Collection, Physical, Physical, RealNumber1 and RealNumber2 位於 Physical and GeographicArea 會員 Physical and 信仰團體 會員 Physical and Collection RealNumber1 是 Collectionmember 計數 位於 Physical and GeographicArea 會員 Physical and Collection RealNumber2 是 Collectionmember 計數 等於 RealNumber and 100 and RealNumber1 and RealNumber2
(<=>
    (compressionRatio ?E ?R)
    (and
        (minCylinderVolume ?E
            (MeasureFn ?MIN ?M))
        (maxCylinderVolume ?E
            (MeasureFn ?MAX ?M))
        (equal ?R
            (DivisionFn ?MIN ?MAX))))
Cars.kif 1911-1916 compressionRatio 發動機 and RealNumber minCylinderVolume 發動機 and 測量 RealNumber and UnitOfMeasure maxCylinderVolume 發動機 and 測量 UnitOfMeasureAX and UnitOfMeasure 等於 RealNumber and RealNumber and UnitOfMeasureAX
(<=>
    (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 等於 GeopoliticalAreamale 對母性比率 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and SymbolicString and Human attribute SymbolicString and 棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數 卡帕 SymbolicString and SymbolicString and Human attribute SymbolicString and 棲息 SymbolicString and GeopoliticalArea 等於 Integer and Integer and RealNumber
(<=>
    (equal ?SD
        (StandardDeviationFn ?L))
    (equal ?SD
        (SquareRootFn
            (VarianceFn ?L))))
Weather.kif 1492-1497 等於 RealNumber and StandardDeviationFn List 等於 RealNumber and 平方根 VarianceFn List
(<=>
    (equal ?SPEED
        (MeasureFn ?NUM MilesPerHour))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM Mile)
            (MeasureFn 1 HourDuration))))
Weather.kif 1685-1691 等於 FunctionQuantity and 測量 RealNumber and MilesPerHour 等於 FunctionQuantity and 速度 測量 RealNumber and 英里 and 測量 1 and 小時
(<=>
    (ethnicityPercentInRegion ?BG ?N ?R)
    (exists (?G1 ?G2 ?P ?P2 ?N1 ?N2)
        (and
            (located ?P ?R)
            (member ?P ?BG)
            (member ?P ?G1)
            (memberCount ?G1 ?N1)
            (located ?P2 ?R)
            (member ?P2 ?G2)
            (memberCount ?G2 ?N2)
            (equal
                (DivisionFn ?N 100)
                (DivisionFn ?N1 ?N2)))))
People.kif 1547-1558 RealNumber percent 的人在 GeographicArea EthnicGroup Collection Collection, Physical, Physical, RealNumber1 and RealNumber2 位於 Physical and GeographicArea 會員 Physical and EthnicGroup 會員 Physical and Collection RealNumber1 是 Collectionmember 計數 位於 Physical and GeographicArea 會員 Physical and Collection RealNumber2 是 Collectionmember 計數 等於 RealNumber and 100 and RealNumber1 and RealNumber2
(<=>
    (greaterThanOrEqualTo ?NUMBER1 ?NUMBER2)
    (or
        (equal ?NUMBER1 ?NUMBER2)
        (greaterThan ?NUMBER1 ?NUMBER2)))
Merge.kif 1885-1889 大於或等於 RealNumber and RealNumber 等於 RealNumber and RealNumber 比較多 RealNumber and RealNumber
(<=>
    (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 30247-30260 持有期間 TimeInterval and attribute Entity and Alone Entity2 Process 等於 Entity and Entity2 Entity2 and AutonomousAgent Process and SocialInteraction 期間 何時 Process and TimeInterval Entity 是事件 Processinvolved Entity2 是事件 Processinvolved
(<=>
    (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 3504-3513 Entity and Continent 等於 非洲 and Entity 等於 北美 and Entity 等於 南美洲 and Entity 等於 南極洲 and Entity 等於 歐洲 and Entity 等於 亞洲 and Entity 等於 大洋洲 and Entity
(<=>
    (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 6472-6482 Entity and 共軛物質 Object Object and Process Object and CompoundSubstance Object and CompoundSubstance 等於 Object and Object Process and ChemicalSynthesis 資源 Process and Object 資源 Process and Object 結果 Process and Entity
(<=>
    (instance ?HEMISPHERE Hemisphere)
    (or
        (equal ?HEMISPHERE NorthernHemisphere)
        (equal ?HEMISPHERE SouthernHemisphere)
        (equal ?HEMISPHERE EasternHemisphere)
        (equal ?HEMISPHERE WesternHemisphere)))
Geography.kif 3488-3494 Entity and 半球 等於 Entity and 北半球 等於 Entity and 南半球 等於 Entity and 東半球 等於 Entity and 西半球
(<=>
    (languagePercentInRegion ?L ?N ?R)
    (exists (?G1 ?G2 ?P ?P2 ?N1 ?N2)
        (and
            (located ?P ?R)
            (member ?P ?G1)
            (speaksLanguage ?P ?L)
            (memberCount ?G1 ?N1)
            (located ?P2 ?R)
            (member ?P2 ?G2)
            (memberCount ?G2 ?N2)
            (equal
                (DivisionFn ?N 100)
                (DivisionFn ?N1 ?N2)))))
People.kif 1566-1577 百分之 RealNumber 的人在 GeographicArea speak Language Collection Collection, SentientAgent, SentientAgent2, RealNumber1 and RealNumber2 位於 SentientAgent and GeographicArea 會員 SentientAgent and Collection Language SentientAgentspeaks 語言 RealNumber1 是 Collectionmember 計數 位於 SentientAgent2 and GeographicArea 會員 SentientAgent2 and Collection RealNumber2 是 Collectionmember 計數 等於 RealNumber and 100 and RealNumber1 and RealNumber2
(<=>
    (lessThanOrEqualTo ?NUMBER1 ?NUMBER2)
    (or
        (equal ?NUMBER1 ?NUMBER2)
        (lessThan ?NUMBER1 ?NUMBER2)))
Merge.kif 1867-1871 小於或等於 RealNumber and RealNumber 等於 RealNumber and RealNumber 少於 RealNumber and RealNumber

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 and Integer 等於 GeopoliticalArea 每個女人生的 children and 基數 卡帕 SymbolicString and entity and Birth 體驗者 entity and SymbolicString agent entity and entity entity and Human attribute entity and 持有期間 and 棲息 entity and GeopoliticalArea
(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 924-937 等於 GeopoliticalArea 每年的 reaching 軍事男性年齡 and 基數 卡帕 SymbolicString and SymbolicString and Human attribute SymbolicString and entity GeopoliticalAreamilitary 年紀 等於 entity and 減法 entity and 1 持有期間 and 年齡 SymbolicString and entity 年齡 SymbolicString and entity 等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
(forall (?NUMBER)
    (equal
        (MeasureFn ?NUMBER OunceMass)
        (MeasureFn
            (DivisionFn ?NUMBER 16.0) PoundMass)))
Mid-level-ontology.kif 13360-13363 RealNumber 等於 測量 RealNumber and OunceMass and 測量 RealNumber and 16.0 and 磅質量
(forall (?NUMBER)
    (equal
        (PredecessorFn ?NUMBER)
        (SubtractionFn ?NUMBER 1)))
Merge.kif 4737-4738 Integer 等於 前任 Integer and 減法 Integer and 1
(forall (?NUMBER)
    (equal
        (SuccessorFn ?NUMBER)
        (AdditionFn ?NUMBER 1)))
Merge.kif 4721-4722 Integer 等於 接班人 Integer and 加成 Integer and 1
(forall (@ROW ?ITEM)
    (equal
        (ListLengthFn
            (ListFn @ROW ?ITEM))
        (SuccessorFn
            (ListLengthFn
                (ListFn @ROW)))))
Merge.kif 3038-3041 @ROW Entity 等於 列表長度 名單 @ROW and entity and 接班人 列表長度 名單 @ROW
(forall (@ROW ?ITEM)
    (equal
        (ListOrderFn
            (ListFn @ROW ?ITEM)
            (ListLengthFn
                (ListFn @ROW ?ITEM))) ?ITEM))
Merge.kif 3043-3047 @ROW Entity 等於 清單順序 名單 @ROW and Entity and 列表長度 名單 @ROW and Entity and Entity
(not
    (equal BigSix GroupOf6))
Government.kif 2879-2879 等於 大六 and 6人小組

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


(equal
    (ArcCosineFn
        (CosineFn ?X)) ?X)
Merge.kif 5266-5266 等於 ArcCosineFn 餘弦 RealNumber and RealNumber
(equal
    (ArcSineFn
        (SineFn ?X)) ?X)
Merge.kif 5276-5276 等於 ArcSineFn 正弦 RealNumber and RealNumber
(equal
    (ArcTangentFn
        (TangentFn ?X)) ?X)
Merge.kif 5256-5256 等於 ArcTangentFn 切線 RealNumber and RealNumber
(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 863-872 等於 GeopoliticalAreaavailable 軍事服務男性 and 基數 卡帕 SymbolicString and SymbolicString and Human attribute SymbolicString and entity GeopoliticalAreamilitary 年紀 年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
(equal
    (CardinalityFn
        (KappaFn ?SIDE
            (sideOfFigure ?SIDE Triangle))) 3)
Mid-level-ontology.kif 4888-4891 等於 基數 卡帕 SymbolicString and 圖的一面 SymbolicString and 三角形 and 3
(equal
    (CardinalityFn Continent) 7)
Merge.kif 14228-14228 等於 基數 Continent and 7
(equal
    (CardinalityFn NativityMagi) 3)
Media.kif 2003-2003 等於 基數 NativityMagi 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 886-897 等於 GeopoliticalAreafit 對於軍服務男性 and 基數 卡帕 SymbolicString and SymbolicString and Human attribute SymbolicString and 子類 entity and MilitaryProcess entity SymbolicStringfit 軍事服務 entity GeopoliticalAreamilitary 年紀 年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
(equal
    (MeasureFn 1 KilowattHour)
    (MeasureFn 3.6
        (MegaFn Joule)))
Economy.kif 2008-2008 等於 測量 1 and 千瓦時 and 測量 3.6 and 焦耳
(equal
    (MeasureFn 1 KilowattHour)
    (MeasureFn 3600000.0 Joule))
Economy.kif 2009-2009 等於 測量 1 and 千瓦時 and 測量 3600000.0 and 焦耳
(equal
    (MeasureFn 1 WeekDuration)
    (MeasureFn 7 DayDuration))
Merge.kif 7113-7115 等於 測量 1 and 週持續時間 and 測量 7 and 一天長度
(equal
    (MeasureFn 1 YearDuration)
    (MeasureFn 365 DayDuration))
Merge.kif 7140-7142 等於 測量 1 and 年持續時間 and 測量 365 and 一天長度
(equal
    (MeasureFn 1.0 AngularDegree)
    (MeasureFn 60.0 ArcMinute))
Geography.kif 382-382 等於 測量 1.0 and 圓周角度 and 測量 60.0 and 弧分
(equal
    (MeasureFn 1.0 ArcMinute)
    (MeasureFn 60.0 ArcSecond))
Geography.kif 401-401 等於 測量 1.0 and 弧分 and 測量 60.0 and 弧秒
(equal
    (MeasureFn 1.0 Fathom)
    (MeasureFn 6.0 FootLength))
Geography.kif 3842-3842 等於 測量 1.0 and 推測 and 測量 6.0 and 腳長
(equal
    (MeasureFn 1.0 MetricTon)
    (MeasureFn 2205.0 PoundMass))
Mid-level-ontology.kif 13628-13630 等於 測量 1.0 and 公噸 and 測量 2205.0 and 磅質量
(equal
    (MeasureFn 1.0 NauticalMile)
    (MeasureFn 1852.0 Meter))
Geography.kif 3865-3867 等於 測量 1.0 and 海裡 and 測量 1852.0 and 儀表
(equal
    (MeasureFn 1.0 NauticalMile)
    (MeasureFn 6076.1 FootLength))
Geography.kif 3861-3863 等於 測量 1.0 and 海裡 and 測量 6076.1 and 腳長
(equal
    (MeasureFn 1.0 SquareMile)
    (PerFn
        (MeasureFn 1.0 Mile)
        (MeasureFn 1.0 Mile)))
Mid-level-ontology.kif 13723-13727 等於 測量 1.0 and 平方英里 and 測量 1.0 and 英里測量 1.0 and 英里per
(equal
    (MeasureFn 1.0 SquareYard)
    (PerFn
        (MeasureFn 1.0 YardLength)
        (MeasureFn 1.0 YardLength)))
Mid-level-ontology.kif 13733-13737 等於 測量 1.0 and 方碼 and 測量 1.0 and 院子長度測量 1.0 and 院子長度per
(equal
    (MeasureFn ?DEG ArcMinute)
    (MeasureFn
        (MultiplicationFn 60.0 ?DEG) ArcSecond))
Geography.kif 402-402 等於 測量 RealNumber and 弧分 and 測量 乘法 60.0 and RealNumber and 弧秒
(equal
    (MeasureFn ?NUM AngularDegree)
    (MeasureFn
        (MultiplicationFn 60.0 ?NUM) ArcMinute))
Geography.kif 383-383 等於 測量 RealNumber and 圓周角度 and 測量 乘法 60.0 and RealNumber and 弧分
(equal
    (MeasureFn ?NUMBER Amu)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.6605402E-24) Gram))
Merge.kif 7152-7154 等於 測量 RealNumber and amu and 測量 乘法 RealNumber and 1.6605402E-24 and 公克
(equal
    (MeasureFn ?NUMBER Angstrom)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.0E-10) Meter))
Merge.kif 7174-7176 等於 測量 RealNumber and and 測量 乘法 RealNumber and 1.0E-10 and 儀表
(equal
    (MeasureFn ?NUMBER AngularDegree)
    (MeasureFn
        (MultiplicationFn ?NUMBER
            (DivisionFn Pi 180.0)) Radian))
Merge.kif 7368-7370 等於 測量 RealNumber and 圓周角度 and 測量 乘法 RealNumber and Pi and 180.0 and 弧度

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