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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ResidentFn
ResidentFn

appearance as argument number 1
-------------------------


(documentation ResidentFn EnglishLanguage "(ResidentFn ?AREA) denotes the GroupOfPeople who have their home in ?AREA.") Mid-level-ontology.kif 9197-9198
(domain ResidentFn 1 GeopoliticalArea) Mid-level-ontology.kif 9195-9195 域 居民, 1 and GeopoliticalArea
(instance ResidentFn UnaryFunction) Mid-level-ontology.kif 9194-9194 例 居民 and UnaryFunction
(range ResidentFn GroupOfPeople) Mid-level-ontology.kif 9196-9196 範圍 居民 and 一群人

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


(format ChineseLanguage ResidentFn "%1 的 resident ") domainEnglishFormat.kif 2155-2155
(format ChineseTraditionalLanguage ResidentFn "%1 的 resident ") domainEnglishFormat.kif 2154-2154
(format EnglishLanguage ResidentFn "the resident of %1") domainEnglishFormat.kif 2153-2153
(subrelation CitizenryFn ResidentFn) Mid-level-ontology.kif 9204-9204 子關係 公民 and 居民
(termFormat ChineseLanguage ResidentFn "居民") domainEnglishFormat.kif 49632-49632 子關係 公民 and 居民
(termFormat ChineseTraditionalLanguage ResidentFn "居民") domainEnglishFormat.kif 49631-49631 子關係 公民 and 居民
(termFormat EnglishLanguage ResidentFn "resident") domainEnglishFormat.kif 49630-49630 子關係 公民 and 居民

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (equal ?CITIZENRY
            (CardinalityFn
                (CitizenryFn ?AREA)))
        (equal ?POPULATION
            (CardinalityFn
                (ResidentFn ?AREA))))
    (greaterThanOrEqualTo ?POPULATION ?CITIZENRY))		 Mid-level-ontology.kif 9212-9219
(=>
    (and
        (instance ?UW UnconventionalWarfare)
        (agent ?UW ?AGENT)
        (not
            (equal ?AGENT ?POPULACE))
        (not
            (equal ?AGENT
                (GovernmentFn ?NATION)))
        (patient ?UW ?POPULACE)
        (or
            (member ?POPULACE
                (ResidentFn ?NATION))
            (subCollection ?POPULACE
                (ResidentFn ?NATION))))
    (exists (?CONTEST)
        (and
            (instance ?CONTEST Contest)
            (agent ?CONTEST ?POPULACE)
            (agent ?CONTEST
                (GovernmentFn ?NATION)))))		 MilitaryProcesses.kif 163-183
(=>
    (and
        (subProposition ExclusiveMaleSuffrage
            (RegionalLawFn ?AREA))
        (attribute ?AGENT Female)
        (member ?AGENT
            (ResidentFn ?AREA))
        (instance ?ELECTION Election))
    (not
        (capability
            (VotingFn ?ELECTION) agent ?AGENT)))		 Government.kif 1229-1235
(=>
    (member ?PERSON
        (ResidentFn ?AREA))
    (home ?PERSON ?AREA))		 Mid-level-ontology.kif 9200-9202

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


(=>
    (and
        (instance ?CITY AmericanCity)
        (part ?CITY California)
        (not
            (equal ?CITY LosAngelesCalifornia)))
    (greaterThan
        (CardinalityFn
            (ResidentFn LosAngelesCalifornia))
        (CardinalityFn
            (ResidentFn ?CITY))))		 CountriesAndRegions.kif 812-817
(=>
    (and
        (instance ?CITY City)
        (part ?CITY France))
    (lessThanOrEqualTo
        (CardinalityFn
            (ResidentFn ?CITY))
        (CardinalityFn
            (ResidentFn ParisFrance))))		 CountriesAndRegions.kif 59-65
(=>
    (and
        (instance ?STATE AmericanState)
        (not
            (equal ?STATE California)))
    (greaterThan
        (CardinalityFn
            (ResidentFn California))
        (CardinalityFn
            (ResidentFn ?STATE))))		 CountriesAndRegions.kif 897-901
(=>
    (equal
        (PerCapitaFn
            (MeasureFn ?QUANTITY1 ?U) ?AREA)
        (MeasureFn ?QUANTITY2 ?U))
    (exists (?POPULATION)
        (and
            (equal ?POPULATION
                (CardinalityFn
                    (ResidentFn ?AREA)))
            (equal ?QUANTITY2
                (DivisionFn ?QUANTITY1 ?POPULATION)))))		 Mid-level-ontology.kif 9229-9242
(=>
    (instance ?CITY AmericanCity)
    (lessThanOrEqualTo
        (CardinalityFn
            (ResidentFn ?CITY))
        (CardinalityFn
            (ResidentFn NewYorkCityUnitedStates))))		 CountriesAndRegions.kif 2131-2135


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