TreeView Knowledge Base Browser - ResidentFn

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 8248-8249
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8246-8246	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 8245-8245	Resident is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8247-8247	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 8255-8255	Citizenry is a subrelation of resident
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49668-49668	Citizenry is a subrelation of resident
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49667-49667	Citizenry is a subrelation of resident
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49666-49666	Citizenry is a subrelation of resident

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8263-8270	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 1231-1237	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 8251-8253	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 8280-8293	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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