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

Formal Language: 



KB Term:  Term intersection
English Word: 

  economicAidReceivedNet

 Sigma KEE - economicAidReceivedNet
economicAidReceivedNet

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2860-2867
No TPTP formula. May not be expressible in strict first order. Economy.kif 2857-2857 The number 1 argument of economic aid received net is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Economy.kif 2858-2858 The number 2 argument of economic aid received net is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. Economy.kif 2856-2856 economic aid received net is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 820-820
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 819-819
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 818-818
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21063-21063
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21062-21062
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21061-21061

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2869-2874 A geopolitical area is economic aid received net in period a currency measure for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the currency measure is an economic aid received net of the geopolitical area holds during the time position


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