TreeView Knowledge Base Browser - perCapitaGDP

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - perCapitaGDP

perCapitaGDP

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1037-1040
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1034-1034	域人均GDP, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1035-1035	域人均GDP, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1033-1033	例人均GDP and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1032-1032	例人均GDP and 基於PPP的經濟估值

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1927-1927
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1926-1926
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1925-1925
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45084-45084
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45083-45083
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45082-45082

consequent

No TPTP formula. May not be expressible in strict first order.

Economy.kif 1042-1047

GeopoliticalArea 是對於 TimeInterval 在週期 CurrencyMeasure 的 per 人頭 GDP TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 的 per 人頭 GDP

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