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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - importCommodityTypeByRank
importCommodityTypeByRank

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2622-2625
No TPTP formula. May not be expressible in strict first order. Economy.kif 2618-2618 The number 1 argument of import commodity type by rank is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Economy.kif 2620-2620 The number 3 argument of import commodity type by rank is an instance of positive integer
No TPTP formula. May not be expressible in strict first order. Economy.kif 2619-2619 The number 2 argument of import commodity type by rank is a subclass of object
No TPTP formula. May not be expressible in strict first order. Economy.kif 2617-2617 import commodity type by rank is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1257-1257
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1256-1256
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1255-1255
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29407-29407
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29406-29406
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29405-29405

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2627-2629


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