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 7752-7753
(domain ResidentFn 1 GeopoliticalArea) Mid-level-ontology.kif 7750-7750 The number 1 argument of resident is an instance of geopolitical area
(instance ResidentFn UnaryFunction) Mid-level-ontology.kif 7749-7749 Resident is an instance of unary function
(range ResidentFn GroupOfPeople) Mid-level-ontology.kif 7751-7751 The range of resident is an instance of group of people

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


(format ChineseLanguage ResidentFn "%1 的 resident ") domainEnglishFormat.kif 2151-2151
(format ChineseTraditionalLanguage ResidentFn "%1 的 resident ") domainEnglishFormat.kif 2150-2150
(format EnglishLanguage ResidentFn "the resident of %1") domainEnglishFormat.kif 2149-2149
(subrelation CitizenryFn ResidentFn) Mid-level-ontology.kif 7759-7759 Citizenry is a subrelation of resident
(termFormat ChineseLanguage ResidentFn "居民") domainEnglishFormat.kif 49547-49547
(termFormat ChineseTraditionalLanguage ResidentFn "居民") domainEnglishFormat.kif 49546-49546
(termFormat EnglishLanguage ResidentFn "resident") domainEnglishFormat.kif 49545-49545

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (equal ?CITIZENRY
            (CitizenryFn ?AREA))
        (equal ?POPULATION
            (ResidentFn ?AREA)))
    (greaterThanOrEqualTo ?POPULATION ?CITIZENRY))		 Mid-level-ontology.kif 7767-7772
(=>
    (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 7755-7757

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 7782-7795
(=>
    (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