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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - annualImportTotal
annualImportTotal

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2577-2581
No TPTP formula. May not be expressible in strict first order. Economy.kif 2574-2574 年進口總額, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Economy.kif 2575-2575 年進口總額, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order. Economy.kif 2573-2573 年進口總額 and BinaryPredicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 180-180
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 179-179
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 178-178
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7698-7698
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7697-7697
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7696-7696

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2594-2601

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2583-2592


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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