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

Formal Language: 



KB Term:  Term intersection
English Word: 

  economicAidDonated

 Sigma KEE - economicAidDonated
economicAidDonated

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2808-2817
No TPTP formula. May not be expressible in strict first order. Economy.kif 2805-2805 域 經濟援助捐贈, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Economy.kif 2806-2806 域 經濟援助捐贈, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order. Economy.kif 2804-2804 例 經濟援助捐贈 and BinaryPredicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 812-812
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 811-811
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 810-810
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21060-21060
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21059-21059
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21058-21058

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 2819-2824 GeopoliticalArea 是 對於 TimeInterval 在期間 CurrencyMeasure 的 economic 間贈補助 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 的 economic 捐贈補助


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