Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ResidentFn |
| appearance as argument number 1 |
|
| (instance ResidentFn UnaryFunction) | Mid-level-ontology.kif 9348-9348 | Resident is an instance of unary function |
| (domain ResidentFn 1 GeopoliticalArea) | Mid-level-ontology.kif 9349-9349 | The number 1 argument of resident is an instance of geopolitical area |
| (range ResidentFn GroupOfPeople) | Mid-level-ontology.kif 9350-9350 | The range of resident is an instance of group of people |
| (documentation ResidentFn EnglishLanguage "(ResidentFn ?AREA) denotes the GroupOfPeople who have their home in ?AREA.") | Mid-level-ontology.kif 9351-9352 | The range of resident is an instance of group of people |
| appearance as argument number 2 |
|
|
| (subrelation CitizenryFn ResidentFn) | Mid-level-ontology.kif 9358-9358 | Citizenry is a subrelation of resident |
| (format EnglishLanguage ResidentFn "the resident of %1") | domainEnglishFormat.kif 2153-2153 | Citizenry is a subrelation of resident |
| (format ChineseTraditionalLanguage ResidentFn "%1 的 resident ") | domainEnglishFormat.kif 2154-2154 | Citizenry is a subrelation of resident |
| (format ChineseLanguage ResidentFn "%1 的 resident ") | domainEnglishFormat.kif 2155-2155 | Citizenry is a subrelation of resident |
| (termFormat EnglishLanguage ResidentFn "resident") | domainEnglishFormat.kif 49623-49623 | Citizenry is a subrelation of resident |
| (termFormat ChineseTraditionalLanguage ResidentFn "居民") | domainEnglishFormat.kif 49624-49624 | Citizenry is a subrelation of resident |
| (termFormat ChineseLanguage ResidentFn "居民") | domainEnglishFormat.kif 49625-49625 | Citizenry is a subrelation of resident |
| antecedent |
|
|
| (=> (member ?PERSON (ResidentFn ?AREA)) (home ?PERSON ?AREA)) |
Mid-level-ontology.kif 9354-9356 | If X is a member of the resident of Y, then the home of X is Y |
| (=> (and (instance ?AREA GeopoliticalArea) (equal ?CITIZENRY (CardinalityFn (CitizenryFn ?AREA))) (equal ?POPULATION (CardinalityFn (ResidentFn ?AREA)))) (greaterThanOrEqualTo ?POPULATION ?CITIZENRY)) |
Mid-level-ontology.kif 9366-9373 | If X is an instance of geopolitical area, equal Y and the number of instances in the citizenry of X, and equal Z and the number of instances in the resident of X, then Z is greater than or equal to Y |
| (=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?AREA)) (attribute ?AGENT Female) (member ?AGENT (ResidentFn ?AREA)) (instance ?ELECTION Election)) (not (capability (VotingFn ?ELECTION) agent ?AGENT))) |
Government.kif 1238-1244 | If exclusive male suffrage is a sub-proposition of the regional law of X, female is an attribute of Y, Y is a member of the resident of X, and Z is an instance of election, then Y is not capable of doing the voting of Z as a agent |
| (=> (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 | If All of the following hold: (1) X is an instance of unconventional warfare (2) Y is an agent of X (3) equal Y and Z (4) equal Y and the government of W (5) Z is a patient of X (6) Z is a member of the resident of W or Z is a proper sub-collection of the resident of W, then there exists V such that V is an instance of contest, Z is an agent of V, and the government of W is an agent of V |
| consequent |
|
|
|