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 O argumento numero 1 de totalGDPInPeriod e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order. Economy.kif 937-937 O argumento numero 2 de totalGDPInPeriod e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order. Economy.kif 938-938 O argumento numero 3 de totalGDPInPeriod e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order. Economy.kif 934-934 totalGDPInPeriod e' uma instancia de PPPBasedEconomicValuation
No TPTP formula. May not be expressible in strict first order. Economy.kif 935-935 totalGDPInPeriod e' uma instancia de Predicado Ternario

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 Area Geopolitica, Medida de Divisa and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal totalGDP Area Geopolitica and Medida de Divisa vale durante Posicao Temporal
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