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 7771-7772
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7769-7769 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 7768-7768 Resident is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7770-7770 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 546-546
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7778-7778 Citizenry is a subrelation of resident
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8695-8695 "resident" is the printable form of resident in english language

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7786-7791
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 163-174
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7774-7776

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 7801-7814
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners