TreeView Knowledge Base Browser - economicAidDonatedInPeriod

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

economicAidDonatedInPeriod

Sigma KEE - economicAidDonatedInPeriod

economicAidDonatedInPeriod

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2792-2802
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2788-2788	期间捐赠的经济援助的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2789-2789	期间捐赠的经济援助的 2 数量是货币测量的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2790-2790	期间捐赠的经济援助的 3 数量是时距的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2787-2787	期间捐赠的经济援助是三元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 816-816
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 815-815
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 814-814
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21066-21066
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21065-21065
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21064-21064

antecedent

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

Economy.kif 2819-2824

地缘政治区域是对于有点时距在期间货币测量的 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