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 居民 的 1 数量 是 地缘政治区域 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8027-8027 居民 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8029-8029 居民 的 range 是 一群人 的实例

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 公民 是 居民 的 subrelation
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
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 1267-1273
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8033-8035

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 8062-8075
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2131-2135


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