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

Formal Language: 



KB Term:  Term intersection
English Word: 

  externalDebtInPeriod

Sigma KEE - externalDebtInPeriod
externalDebtInPeriod

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2769-2774
No TPTP formula. May not be expressible in strict first order. Economy.kif 2765-2765 The number 1 argument of external debt in period is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Economy.kif 2766-2766 The number 2 argument of external debt in period is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. Economy.kif 2767-2767 The number 3 argument of external debt in period is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Economy.kif 2764-2764 external debt in period is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 987-987
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 986-986
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 985-985
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23007-23007
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23006-23006
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23005-23005

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 2785-2790 A geopolitical area is external debt 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 external debt 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