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 8057-8058
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8055-8055	O argumento numero 1 de ResidentFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8054-8054	ResidentFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8056-8056	O contra-dominio de ResidentFn e' uma instancia de GroupOfPeople

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 8064-8064	CitizenryFn e' uma sub-relacao de ResidentFn
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49630-49630
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49629-49629
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49628-49628

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8072-8079	Area Geopolitica e' uma instancia de Area Geopolitica Numero Inteiro e' igual a o numero de instancias dentro de CitizenryFn Area Geopolitica Numero Inteiro e' igual a o numero de instancias dentro de ResidentFn Area Geopolitica Numero Inteiro e' maior ou igual a Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 163-183	Processo e' uma instancia de UnconventionalWarfare Processo e' um agente de Governo Governo e' igual a AutonomousAgent Governo e' igual a o governo de Area Geopolitica AutonomousAgent e' um patient de Processo AutonomousAgent e' membro de ResidentFn Area Geopolitica AutonomousAgent e' uma sub-colecao de ResidentFn Area Geopolitica Processo Processo e' uma instancia de Contest Processo e' um agente de AutonomousAgent Processo e' um agente de o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 1231-1237	ExclusiveMaleSuffrage e' uma &sub-proposicao de RegionalLawFn Area Geopolitica Female e' um atributo de Objeto Objeto e' membro de ResidentFn Area Geopolitica Election e' uma instancia de Election Objeto e' capaz de fazer VotingFn Election no role agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8060-8062	Humano e' membro de ResidentFn PermanentResidence a casa de Humano e' PermanentResidence

consequent

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 812-817	Area Geopolitica e' uma instancia de AmericanCity Area Geopolitica e' uma &parte de California Area Geopolitica e' igual a LosAngelesCalifornia o numero de instancias dentro de ResidentFn LosAngelesCalifornia e' maior que o numero de instancias dentro de ResidentFn Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 59-65	Area Geopolitica e' uma instancia de Cidade Area Geopolitica e' uma &parte de France o numero de instancias dentro de ResidentFn Area Geopolitica e' menor ou igual a o numero de instancias dentro de ResidentFn Paris
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 897-901	Area Geopolitica e' uma instancia de AmericanState Area Geopolitica e' igual a California o numero de instancias dentro de ResidentFn California e' maior que o numero de instancias dentro de ResidentFn Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8089-8102	PerCapitaFn Numero Real Unidade de Medida(s) and Area Geopolitica e' igual a Numero Real Unidade de Medida(s) Numero Inteiro Numero Inteiro e' igual a o numero de instancias dentro de ResidentFn Area Geopolitica Numero Real e' igual a Numero Real + Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2131-2135	Area Geopolitica e' uma instancia de AmericanCity o numero de instancias dentro de ResidentFn Area Geopolitica e' menor ou igual a o numero de instancias dentro de ResidentFn NewYorkCityUnitedStates

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