Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ResidentFn

Sigma KEE - ResidentFn
ResidentFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7699-7700
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7697-7697 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 7696-7696 Resident is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7698-7698 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 7706-7706 Citizenry is a subrelation of resident
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49611-49611
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49610-49610
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49609-49609

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7714-7721
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 163-183
No TPTP formula. May not be expressible in strict first order. Government.kif 1252-1258
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7702-7704

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 812-817
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 59-65
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 897-901
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7731-7744
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2131-2135


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