TreeView Knowledge Base Browser - economicAidReceivedNetInPeriod

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

economicAidReceivedNetInPeriod

Sigma KEE - economicAidReceivedNetInPeriod

economicAidReceivedNetInPeriod

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2836-2844
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2832-2832	经济援助在期内收到净额的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2833-2833	经济援助在期内收到净额的 2 数量是货币测量的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2834-2834	经济援助在期内收到净额的 3 数量是时距的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2831-2831	经济援助在期内收到净额是三元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 824-824
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 823-823
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 822-822
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21078-21078
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21077-21077
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21076-21076

antecedent

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

Economy.kif 2859-2864

地缘政治区域是对于有点时距在期间货币测量总共收到的 economic 补助若且唯若有存在时间位置这样那个时间位置是有点时距的 instance 和那个货币测量是那个地缘政治区域总共收到的 economic 补助在那个时间位置 holdsDuring

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