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) 就是真的。") Merge.kif 288-289
(documentation equal EnglishLanguage "(equal ?ENTITY1 ?ENTITY2) is true just in case ?ENTITY1 is identical with ?ENTITY2.") Merge.kif 286-287
(domain equal 1 Entity) Merge.kif 284-284
(domain equal 2 Entity) Merge.kif 285-285
(instance equal BinaryPredicate) Merge.kif 281-281
(instance equal EquivalenceRelation) Merge.kif 282-282
(instance equal RelationExtendedToQuantities) Merge.kif 283-283

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 181-181
(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 PortugueseLanguage equal "%1 e' %n igual a %2") portuguese_format.kif 123-123
(format ar equal "%1 هو %n مُسَاوٍ لـ %2") arabic_format.kif 116-116
(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 tg equal "%1 %n ay pareho sa %2") relations-tg.txt 205-205
(termFormat ChineseLanguage equal "等于") chinese_format.kif 298-298
(termFormat EnglishLanguage equal "equal") domainEnglishFormat.kif 4141-4141
(termFormat ar equal "«مُسَاوٍ لـ»") arabic_format.kif 566-566
(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 ?NUMBER1)))))
Merge.kif 4893-4904
(<=>
    (and
        (instance ?Account FinancialAccount)
        (possesses ?Agent ?Asset)
        (equal ?Account
            (AccountFn ?Asset)))
    (accountHolder ?Account ?Agent))
FinancialOntology.kif 2252-2257
(<=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?AMOUNT
            (MeasureFn 1
                (SquareUnitFn ?UNIT))))
    (equal ?AMOUNT
        (MultiplicationFn
            (MeasureFn 1 ?UNIT)
            (MeasureFn 1 ?UNIT))))
Geography.kif 3748-3752
(<=>
    (equal
        (BirthsPerThousandFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (and
        (equal
            (DivisionFn
                (PopulationFn ?AREA) 1000) ?THOUSANDS)
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH)
                            (YearFn ?YEAR))
                        (equal
                            (WhereFn ?BIRTH
                                (WhenFn ?BIRTH)) ?AREA)))))
        (equal
            (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 104-117
(<=>
    (equal
        (DeathsPerThousandFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (and
        (equal
            (DivisionFn
                (PopulationFn ?AREA) 1000) ?THOUSANDS)
        (equal ?DEATHCOUNT
            (CardinalityFn
                (KappaFn ?DEATH
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?PERSON)
                        (instance ?PERSON Human)
                        (during
                            (WhenFn ?DEATH)
                            (YearFn ?YEAR))
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 138-151
(<=>
    (equal
        (DeathsPerThousandLiveBirthsFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (and
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH)
                            (YearFn ?YEAR))
                        (equal
                            (WhereFn ?BIRTH
                                (WhenFn ?BIRTH)) ?AREA)))))
        (equal
            (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
        (equal ?INFANTDEATHCOUNT
            (CardinalityFn
                (KappaFn ?DEATH
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?INFANT)
                        (instance ?INFANT Human)
                        (age ?INFANT
                            (MeasureFn ?AGE YearDuration))
                        (lessThan ?AGE 1)
                        (during
                            (WhenFn ?DEATH)
                            (YearFn ?YEAR))
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))
People.kif 253-277
(<=>
    (equal
        (FemaleLifeExpectancyAtBirthFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (exists (?LIST)
        (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)
                                            (YearFn ?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 411-442
(<=>
    (equal
        (LastFn ?LIST) ?ITEM)
    (exists (?NUMBER)
        (and
            (equal
                (ListLengthFn ?LIST) ?NUMBER)
            (equal
                (ListOrderFn ?LIST ?NUMBER) ?ITEM))))
Mid-level-ontology.kif 6342-6347
(<=>
    (equal
        (LifeExpectancyAtBirthFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (exists (?LIST)
        (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)
                                            (YearFn ?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 323-353
(<=>
    (equal
        (MaleLifeExpectancyAtBirthFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (exists (?LIST)
        (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)
                                            (YearFn ?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 367-398
(<=>
    (equal
        (MaleToFemaleRatioFn ?AREA) ?REALNUMBER)
    (and
        (equal ?MALECOUNT
            (CardinalityFn
                (KappaFn ?MALE
                    (and
                        (instance ?MALE Human)
                        (attribute ?MALE Male)
                        (inhabits ?MALE ?AREA)))))
        (equal ?FEMALECOUNT
            (CardinalityFn
                (KappaFn ?FEMALE
                    (and
                        (instance ?FEMALE Human)
                        (attribute ?FEMALE Female)
                        (inhabits ?FEMALE ?AREA)))))
        (equal
            (DivisionFn ?MALECOUNT ?FEMALECOUNT) ?REALNUMBER)))
People.kif 221-238
(<=>
    (equal
        (MigrantsPerThousandFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (and
        (equal
            (SubtractionFn ?YEAR ?PREVIOUSYEAR) 1)
        (holdsDuring
            (YearFn ?YEAR)
            (equal
                (PopulationFn ?AREA) ?POPULATION))
        (equal
            (DivisionFn ?POPULATION 1000) ?THOUSANDS)
        (equal ?IMMIGRATION
            (CardinalityFn
                (KappaFn ?PERSON
                    (and
                        (instance ?PERSON Human)
                        (holdsDuring
                            (YearFn ?PREVIOUSYEAR)
                            (not
                                (inhabits ?PERSON ?AREA)))
                        (holdsDuring
                            (YearFn ?YEAR)
                            (inhabits ?PERSON ?AREA))))))
        (equal ?EMMIGRATION
            (CardinalityFn
                (KappaFn ?PERSON
                    (and
                        (instance ?PERSON Human)
                        (holdsDuring
                            (YearFn ?PREVIOUSYEAR)
                            (inhabits ?PERSON ?AREA))
                        (holdsDuring
                            (YearFn ?YEAR)
                            (not
                                (inhabits ?PERSON ?AREA)))))))
        (equal
            (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT)
        (equal
            (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 174-202
(<=>
    (equal
        (PopulationGrowthFn ?AREA
            (YearFn ?YEAR)) ?ADJUSTEDPERCENT)
    (and
        (equal
            (SubtractionFn ?YEAR ?PREVIOUSYEAR) 1)
        (holdsDuring
            (YearFn ?YEAR)
            (equal
                (PopulationFn ?AREA) ?POPULATION))
        (holdsDuring
            (YearFn ?PREVIOUSYEAR)
            (equal
                (PopulationFn ?AREA) ?PREVIOUSPOPULATION))
        (equal
            (DivisionFn ?POPULATION ?PREVIOUSPOPULATION) ?PERCENT)
        (equal
            (SubtractionFn ?PERCENT 1) ?ADJUSTEDPERCENT)))
People.kif 77-86
(<=>
    (equal
        (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER)
    (equal
        (AdditionFn
            (MultiplicationFn
                (FloorFn
                    (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
Merge.kif 5225-5227
(<=>
    (equal
        (WealthFn ?PERSON) ?AMOUNT)
    (monetaryValue
        (PropertyFn ?PERSON) ?AMOUNT))
Merge.kif 7962-7964
(<=>
    (equal
        (WhereFn ?THING ?TIME) ?REGION)
    (holdsDuring ?TIME
        (exactlyLocated ?THING ?REGION)))
Merge.kif 4339-4341
(<=>
    (exists (?Income ?Tax ?TaxAmount)
        (and
            (incomeEarned ?Agent ?Income ?Activity)
            (amountCharged ?Tax ?TaxAmount)
            (causes ?Activity ?Tax)
            (equal ?ATIncome
                (SubtractionFn ?Income ?TaxAmount))))
    (afterTaxIncome ?Agent ?ATIncome ?Activity))
FinancialOntology.kif 3222-3229
(<=>
    (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 2948-2956
(=>
    (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 11422-11432
(=>
    (and
        (arableLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea)
        (equal ?AMOUNT
            (MeasureFn
                (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))
    (arableLandArea ?REGION ?AMOUNT))
Geography.kif 2028-2035
(=>
    (and
        (arableLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION ?TOTAL)
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (arableLandArea ?REGION ?AMOUNT))
Geography.kif 2019-2026
(=>
    (and
        (attribute ?H Muslim)
        (equal
            (WealthFn ?H) ?W))
    (modalAttribute
        (exists (?Z ?T)
            (and
                (instance ?Z Zakat)
                (instance ?Y Year)
                (during ?Y
                    (WhenFn ?H))
                (holdsDuring ?Y
                    (attribute ?H FullyFormed))
                (agent ?Z ?H)
                (patient ?Z ?T)
                (monetaryValue ?T ?C)
                (greaterThan ?C
                    (MultiplicationFn ?W 0.025)))) Obligation))
ArabicCulture.kif 193-210
(=>
    (and
        (codeMapping ISO-4217-A ?A3 ?CURRENCY)
        (codeMapping ISO-3166-1-alpha-2 ?A2 ?AREA)
        (subclass ?AREA GeopoliticalArea)
        (equal ?A2
            (SubstringFn ?A3 0 2)))
    (currencyType ?AREA ?CURRENCY))
Media.kif 2859-2865
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT ?EXPERIMENTING)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?CONFIDENCE 100))
    (truth ?FORMULA False))
UXExperimentalTerms.kif 681-688
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT ?EXPERIMENTING)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?CONFIDENCE 100))
    (truth ?FORMULA True))
UXExperimentalTerms.kif 672-679

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 ?NUMBER1)))))
Merge.kif 4893-4904
(<=>
    (and
        (instance ?REL TotalValuedRelation)
        (instance ?REL Predicate))
    (exists (?VALENCE)
        (and
            (instance ?REL Relation)
            (valence ?REL ?VALENCE)
            (=>
                (forall (?NUMBER ?ELEMENT ?CLASS)
                    (=>
                        (and
                            (lessThan ?NUMBER ?VALENCE)
                            (domain ?REL ?NUMBER ?CLASS)
                            (equal ?ELEMENT
                                (ListOrderFn
                                    (ListFn @ROW) ?NUMBER)))
                        (instance ?ELEMENT ?CLASS)))
                (exists (?ITEM)
                    (?REL @ROW ?ITEM))))))
Merge.kif 2308-2325
(<=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?AMOUNT
            (MeasureFn 1
                (SquareUnitFn ?UNIT))))
    (equal ?AMOUNT
        (MultiplicationFn
            (MeasureFn 1 ?UNIT)
            (MeasureFn 1 ?UNIT))))
Geography.kif 3748-3752
(<=>
    (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 927-938
(<=>
    (average ?LIST1 ?AVERAGE)
    (exists (?LIST2)
        (and
            (equal
                (ListLengthFn ?LIST2)
                (ListLengthFn ?LIST1))
            (equal
                (ListOrderFn ?LIST2 1)
                (ListOrderFn ?LIST1 1))
            (forall (?ITEMFROM2)
                (=>
                    (inList ?ITEMFROM2 ?LIST2)
                    (exists (?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2)
                        (and
                            (greaterThan ?POSITION 1)
                            (lessThanOrEqualTo ?POSITION
                                (ListLengthFn ?LIST2))
                            (equal
                                (ListOrderFn ?LIST2 ?ITEMFROM2) ?POSITION)
                            (inList ?ITEMFROM1 ?LIST1)
                            (equal ?POSITION
                                (ListOrderFn ?LIST1 ?ITEMFROM1))
                            (inList ?PRIORFROM2 ?LIST2)
                            (equal ?POSITIONMINUSONE
                                (SubtractionFn ?POSITION 1))
                            (equal ?POSITIONMINUSONE
                                (ListOrderFn ?LIST2 ?PRIORFROM2))
                            (equal ?ITEMFROM2
                                (AdditionFn ?ITEMFROM1 ?PRIORFROM2))))))
            (equal ?LASTPLACE
                (ListLengthFn ?LIST2))
            (equal ?AVERAGE
                (DivisionFn
                    (ListOrderFn ?LIST2 ?LASTPLACE) ?LASTPLACE)))))
People.kif 285-306
(<=>
    (beliefGroupPercentInRegion ?BG ?N ?R)
    (exists (?G1 ?G2)
        (and
            (located ?P ?R)
            (member ?P ?BG)
            (member ?P ?G1)
            (memberCount ?G1 ?N1)
            (located ?P2 ?R)
            (member ?P2 ?G2)
            (memberCount ?G2 ?N2)
            (equal
                (DivisionFn ?N 100)
                (DivisionFn ?N1 ?N2)))))
People.kif 1526-1537
(<=>
    (compressionRatio ?E ?R)
    (and
        (minCylinderVolume ?E
            (MeasureFn ?MIN ?M))
        (maxCylinderVolume ?E
            (MeasureFn ?MAX ?M))
        (equal ?R
            (DivisionFn ?MIN ?MAX))))
Cars.kif 1958-1963
(<=>
    (cooccur ?PHYS1 ?PHYS2)
    (equal
        (WhenFn ?PHYS1)
        (WhenFn ?PHYS2)))
Merge.kif 8448-8450
(<=>
    (equal
        (BirthsPerThousandFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (and
        (equal
            (DivisionFn
                (PopulationFn ?AREA) 1000) ?THOUSANDS)
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH)
                            (YearFn ?YEAR))
                        (equal
                            (WhereFn ?BIRTH
                                (WhenFn ?BIRTH)) ?AREA)))))
        (equal
            (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 104-117
(<=>
    (equal
        (DeathsPerThousandFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (and
        (equal
            (DivisionFn
                (PopulationFn ?AREA) 1000) ?THOUSANDS)
        (equal ?DEATHCOUNT
            (CardinalityFn
                (KappaFn ?DEATH
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?PERSON)
                        (instance ?PERSON Human)
                        (during
                            (WhenFn ?DEATH)
                            (YearFn ?YEAR))
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 138-151
(<=>
    (equal
        (DeathsPerThousandLiveBirthsFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (and
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH)
                            (YearFn ?YEAR))
                        (equal
                            (WhereFn ?BIRTH
                                (WhenFn ?BIRTH)) ?AREA)))))
        (equal
            (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
        (equal ?INFANTDEATHCOUNT
            (CardinalityFn
                (KappaFn ?DEATH
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?INFANT)
                        (instance ?INFANT Human)
                        (age ?INFANT
                            (MeasureFn ?AGE YearDuration))
                        (lessThan ?AGE 1)
                        (during
                            (WhenFn ?DEATH)
                            (YearFn ?YEAR))
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))
People.kif 253-277
(<=>
    (equal
        (FemaleLifeExpectancyAtBirthFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (exists (?LIST)
        (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)
                                            (YearFn ?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 411-442
(<=>
    (equal
        (LastFn ?LIST) ?ITEM)
    (exists (?NUMBER)
        (and
            (equal
                (ListLengthFn ?LIST) ?NUMBER)
            (equal
                (ListOrderFn ?LIST ?NUMBER) ?ITEM))))
Mid-level-ontology.kif 6342-6347
(<=>
    (equal
        (LifeExpectancyAtBirthFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (exists (?LIST)
        (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)
                                            (YearFn ?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 323-353
(<=>
    (equal
        (MaleLifeExpectancyAtBirthFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (exists (?LIST)
        (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)
                                            (YearFn ?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 367-398
(<=>
    (equal
        (MaleToFemaleRatioFn ?AREA) ?REALNUMBER)
    (and
        (equal ?MALECOUNT
            (CardinalityFn
                (KappaFn ?MALE
                    (and
                        (instance ?MALE Human)
                        (attribute ?MALE Male)
                        (inhabits ?MALE ?AREA)))))
        (equal ?FEMALECOUNT
            (CardinalityFn
                (KappaFn ?FEMALE
                    (and
                        (instance ?FEMALE Human)
                        (attribute ?FEMALE Female)
                        (inhabits ?FEMALE ?AREA)))))
        (equal
            (DivisionFn ?MALECOUNT ?FEMALECOUNT) ?REALNUMBER)))
People.kif 221-238
(<=>
    (equal
        (MigrantsPerThousandFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (and
        (equal
            (SubtractionFn ?YEAR ?PREVIOUSYEAR) 1)
        (holdsDuring
            (YearFn ?YEAR)
            (equal
                (PopulationFn ?AREA) ?POPULATION))
        (equal
            (DivisionFn ?POPULATION 1000) ?THOUSANDS)
        (equal ?IMMIGRATION
            (CardinalityFn
                (KappaFn ?PERSON
                    (and
                        (instance ?PERSON Human)
                        (holdsDuring
                            (YearFn ?PREVIOUSYEAR)
                            (not
                                (inhabits ?PERSON ?AREA)))
                        (holdsDuring
                            (YearFn ?YEAR)
                            (inhabits ?PERSON ?AREA))))))
        (equal ?EMMIGRATION
            (CardinalityFn
                (KappaFn ?PERSON
                    (and
                        (instance ?PERSON Human)
                        (holdsDuring
                            (YearFn ?PREVIOUSYEAR)
                            (inhabits ?PERSON ?AREA))
                        (holdsDuring
                            (YearFn ?YEAR)
                            (not
                                (inhabits ?PERSON ?AREA)))))))
        (equal
            (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT)
        (equal
            (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 174-202
(<=>
    (equal
        (PopulationGrowthFn ?AREA
            (YearFn ?YEAR)) ?ADJUSTEDPERCENT)
    (and
        (equal
            (SubtractionFn ?YEAR ?PREVIOUSYEAR) 1)
        (holdsDuring
            (YearFn ?YEAR)
            (equal
                (PopulationFn ?AREA) ?POPULATION))
        (holdsDuring
            (YearFn ?PREVIOUSYEAR)
            (equal
                (PopulationFn ?AREA) ?PREVIOUSPOPULATION))
        (equal
            (DivisionFn ?POPULATION ?PREVIOUSPOPULATION) ?PERCENT)
        (equal
            (SubtractionFn ?PERCENT 1) ?ADJUSTEDPERCENT)))
People.kif 77-86
(<=>
    (equal
        (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER)
    (equal
        (AdditionFn
            (MultiplicationFn
                (FloorFn
                    (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
Merge.kif 5225-5227
(<=>
    (ethnicityPercentInRegion ?BG ?N ?R)
    (exists (?G1 ?G2)
        (and
            (located ?P ?R)
            (member ?P ?BG)
            (member ?P ?G1)
            (memberCount ?G1 ?N1)
            (located ?P2 ?R)
            (member ?P2 ?G2)
            (memberCount ?G2 ?N2)
            (equal
                (DivisionFn ?N 100)
                (DivisionFn ?N1 ?N2)))))
People.kif 1545-1556
(<=>
    (finishes ?INTERVAL1 ?INTERVAL2)
    (and
        (before
            (BeginFn ?INTERVAL2)
            (BeginFn ?INTERVAL1))
        (equal
            (EndFn ?INTERVAL2)
            (EndFn ?INTERVAL1))))
Merge.kif 8229-8237
(<=>
    (greaterThanOrEqualTo ?NUMBER1 ?NUMBER2)
    (or
        (equal ?NUMBER1 ?NUMBER2)
        (greaterThan ?NUMBER1 ?NUMBER2)))
Merge.kif 1930-1934
(<=>
    (holdsDuring ?T
        (attribute ?P Alone))
    (not
        (exists (?H2 ?SI)
            (and
                (not
                    (equal ?H ?H2))
                (instance ?H2 Agent)
                (instance ?SI SocialInteraction)
                (involvedInEvent ?SI ?H)
                (involvedInEvent ?SI ?H2)))))
Mid-level-ontology.kif 27933-27944
(<=>
    (instance ?COMPOUND CompoundSubstance)
    (exists (?ELEMENT1 ?ELEMENT2 ?PROCESS)
        (and
            (instance ?ELEMENT1 ElementalSubstance)
            (instance ?ELEMENT2 ElementalSubstance)
            (not
                (equal ?ELEMENT1 ?ELEMENT2))
            (instance ?PROCESS ChemicalSynthesis)
            (resource ?PROCESS ?ELEMENT1)
            (resource ?PROCESS ?ELEMENT2)
            (result ?PROCESS ?COMPOUND))))
Merge.kif 12312-12322
(<=>
    (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 3350-3359

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(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 928-941
(forall (?NUMBER)
    (equal
        (MeasureFn ?NUMBER OunceMass)
        (MeasureFn
            (DivisionFn ?NUMBER 16) PoundMass)))
DimensioningAmenities.kif 28-31
(forall (?NUMBER)
    (equal
        (PredecessorFn ?NUMBER)
        (SubtractionFn ?NUMBER 1)))
Merge.kif 4856-4857
(forall (?NUMBER)
    (equal
        (SuccessorFn ?NUMBER)
        (AdditionFn ?NUMBER 1)))
Merge.kif 4836-4837
(forall (@ROW ?ITEM)
    (equal
        (ListLengthFn
            (ListFn @ROW ?ITEM))
        (SuccessorFn
            (ListLengthFn
                (ListFn @ROW)))))
Merge.kif 3214-3217
(forall (@ROW ?ITEM)
    (equal
        (ListOrderFn
            (ListFn @ROW ?ITEM)
            (ListLengthFn
                (ListFn @ROW ?ITEM))) ?ITEM))
Merge.kif 3219-3223
(not
    (equal BigSix GroupOf6))
Government.kif 2852-2852

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


(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 867-876
(equal
    (BeginFn BeforeCommonEra) NegativeInfinity)
Mid-level-ontology.kif 7585-7585
(equal
    (CardinalityFn Continent) 7)
Merge.kif 14065-14065
(equal
    (CardinalityFn NativityMagi) 3)
Media.kif 2005-2005
(equal
    (ChildrenBornPerWomanFn ?AREA
        (YearFn ?YEAR))
    (CardinalityFn
        (KappaFn ?INFANT
            (and
                (instance ?BIRTH Birth)
                (experiencer ?BIRTH ?INFANT)
                (agent ?BIRTH ?WOMAN)
                (instance ?WOMAN Human)
                (attribute ?WOMAN Female)
                (holdsDuring
                    (YearFn ?YEAR)
                    (inhabits ?WOMAN ?AREA))))))
People.kif 462-472
(equal
    (EndFn CommonEra) PositiveInfinity)
Mid-level-ontology.kif 7593-7593
(equal
    (FitForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (instance ?PROCESS MilitaryProcess)
                (fitForMilitaryService ?PERSON ?PROCESS)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))
Military.kif 890-901
(equal
    (MeasureFn 0 AngularDegree)
    (MeasureFn 360 AngularDegree))
Merge.kif 7615-7615
(equal
    (MeasureFn 1 AngularDegree)
    (MeasureFn 60 ArcMinute))
Geography.kif 382-382
(equal
    (MeasureFn 1 ArcMinute)
    (MeasureFn 60 ArcSecond))
Geography.kif 401-401
(equal
    (MeasureFn 1 CubicFoot)
    (MultiplicationFn
        (MeasureFn 1 FootLength)
        (MultiplicationFn
            (MeasureFn 1 FootLength)
            (MeasureFn 1 FootLength))))
Mid-level-ontology.kif 10963-10969
(equal
    (MeasureFn 1 Fathom)
    (MeasureFn 6 FootLength))
Geography.kif 3664-3664
(equal
    (MeasureFn 1 KilowattHour)
    (MeasureFn 3.6
        (MegaFn Joule)))
Economy.kif 2012-2012
(equal
    (MeasureFn 1 KilowattHour)
    (MeasureFn 3600000 Joule))
Economy.kif 2013-2013
(equal
    (MeasureFn 1 MetricTon)
    (MeasureFn 2205 PoundMass))
Mid-level-ontology.kif 10935-10937
(equal
    (MeasureFn 1 NauticalMile)
    (MeasureFn 1852 Meter))
Geography.kif 3684-3684
(equal
    (MeasureFn 1 NauticalMile)
    (MeasureFn 6076.1 FootLength))
Geography.kif 3683-3683
(equal
    (MeasureFn 1 SquareKilometer)
    (MultiplicationFn
        (MeasureFn 1
            (KiloFn Meter))
        (MeasureFn 1
            (KiloFn Meter))))
Geography.kif 621-622
(equal
    (MeasureFn 1 SquareMeter)
    (MultiplicationFn
        (MeasureFn 1 Meter)
        (MeasureFn 1 Meter)))
Geography.kif 3736-3737
(equal
    (MeasureFn 1 SquareMile)
    (PerFn
        (MeasureFn 1 Mile)
        (MeasureFn 1 Mile)))
Mid-level-ontology.kif 11019-11023
(equal
    (MeasureFn 1 SquareYard)
    (PerFn
        (MeasureFn 1 YardLength)
        (MeasureFn 1 YardLength)))
Mid-level-ontology.kif 11029-11033
(equal
    (MeasureFn ?DEG ArcMinute)
    (MeasureFn
        (MultiplicationFn 60 ?DEG) ArcSecond))
Geography.kif 402-402
(equal
    (MeasureFn ?MUMBER Micrometer)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.0000001) Meter))
Geography.kif 6450-6453
(equal
    (MeasureFn ?NUM AngularDegree)
    (MeasureFn
        (MultiplicationFn 60 ?NUM) ArcMinute))
Geography.kif 383-383
(equal
    (MeasureFn ?NUMBER Amu)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.6605402E-24) Gram))
Merge.kif 7375-7377

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