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 7772-7773
(domain ResidentFn 1 GeopoliticalArea) Mid-level-ontology.kif 7770-7770 The number 1 argument of resident is an instance of geopolitical area
(instance ResidentFn UnaryFunction) Mid-level-ontology.kif 7769-7769 Resident is an instance of unary function
(range ResidentFn GroupOfPeople) Mid-level-ontology.kif 7771-7771 The range of resident is an instance of group of people

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


(format EnglishLanguage ResidentFn "the resident of %1") domainEnglishFormat.kif 2149-2149
(subrelation CitizenryFn ResidentFn) Mid-level-ontology.kif 7779-7779 Citizenry is a subrelation of resident
(termFormat ChineseLanguage ResidentFn "居民") domainEnglishFormat.kif 49567-49567 "居民" is the printable form of resident in ChineseLanguage
(termFormat ChineseTraditionalLanguage ResidentFn "居民") domainEnglishFormat.kif 49566-49566 "居民" is the printable form of resident in ChineseTraditionalLanguage
(termFormat EnglishLanguage ResidentFn "resident") domainEnglishFormat.kif 49565-49565 "resident" is the printable form of resident in english language

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (equal ?CITIZENRY
            (CitizenryFn ?AREA))
        (equal ?POPULATION
            (ResidentFn ?AREA)))
    (greaterThanOrEqualTo ?POPULATION ?CITIZENRY))
Mid-level-ontology.kif 7787-7792
(=>
    (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 1221-1227
(=>
    (member ?PERSON
        (ResidentFn ?AREA))
    (home ?PERSON ?AREA))
Mid-level-ontology.kif 7775-7777

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