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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PerCapitaFn

 Sigma KEE - PerCapitaFn
PerCapitaFn

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8058-8060
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8055-8055 The number 1 argument of per capita fn is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8056-8056 The number 2 argument of per capita fn is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8054-8054 Per capita fn is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8057-8057 The range of per capita fn is an instance of quantity

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4098-4098
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4097-4097
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4096-4096
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65303-65303

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8062-8075


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