ResidentFn - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8030-8031
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8028-8028	The number 1 argument of resident is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8027-8027	Resident is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8029-8029	The range of resident is an instance of group of people

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2151-2151
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2150-2150
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2149-2149
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8037-8037	Citizenry is a subrelation of resident
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49628-49628
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49627-49627
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49626-49626

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8045-8052	If a geopolitical area is an instance of geopolitical area and an integer is equal to the number of instances in the citizenry of the geopolitical area and another integer is equal to the number of instances in the resident of the geopolitical area, then the other integer is greater than or equal to the integer
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 163-183	If a process is an instance of unconventional warfare and a government is an agent of the process and the government is not equal to an agent and the government is not equal to the government of a geopolitical area and the agent is a patient of the process and the agent is a member of the resident of the geopolitical area or the agent is a proper sub-collection of the resident of the geopolitical area, then there exists another process such that the other process is an instance of contest and the agent is an agent of the other process and the government of the geopolitical area is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	Government.kif 1267-1273	If exclusive male suffrage is a sub-proposition of the regional law of a geopolitical area and female is an attribute of an object and the object is a member of the resident of the geopolitical area and an election is an instance of election, then the object is not capable of doing the voting of the election as a agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8033-8035	If a human is a member of the resident of a permanent residence, then the home of the human is the permanent residence

consequent

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 812-817	If a geopolitical area is an instance of american city and the geopolitical area is a part of california and the geopolitical area is not equal to los angeles california, then the number of instances in the resident of los angeles california is greater than the number of instances in the resident of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 59-65	If a geopolitical area is an instance of city and the geopolitical area is a part of france, then the number of instances in the resident of the geopolitical area is less than or equal to the number of instances in the resident of paris
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 897-901	If a geopolitical area is an instance of american state and the geopolitical area is not equal to california, then the number of instances in the resident of california is greater than the number of instances in the resident of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8062-8075	If the per capita 1 of a real number an unit of measure(s) is equal to the real number the unit of measure(s), then there exists an integer such that the integer is equal to the number of instances in the resident of a geopolitical area and the real number is equal to another real number and the integer
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2131-2135	If a geopolitical area is an instance of american city, then the number of instances in the resident of the geopolitical area is less than or equal to the number of instances in the resident of new york city united states

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