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

Formal Language: 



KB Term:  Term intersection
English Word: 

  totalGDPInPeriod

 Sigma KEE - totalGDPInPeriod
totalGDPInPeriod

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 940-945
No TPTP formula. May not be expressible in strict first order. Economy.kif 936-936 Le nombre 1 argument de totalGDPInPeriod est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order. Economy.kif 937-937 Le nombre 2 argument de totalGDPInPeriod est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order. Economy.kif 938-938 Le nombre 3 argument de totalGDPInPeriod est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order. Economy.kif 934-934 totalGDPInPeriod est une instance de PPPBasedEconomicValuation
No TPTP formula. May not be expressible in strict first order. Economy.kif 935-935 totalGDPInPeriod est une instance de pr�dicat ternaire

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2499-2499
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2498-2498
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2497-2497
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58562-58562
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58561-58561
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58560-58560

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 958-963 totalGDPInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel totalGDP secteur g�opolitique and mesure de devise pendant position temporel
No TPTP formula. May not be expressible in strict first order. Economy.kif 1107-1115


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