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

Formal Language: 



KB Term:  Term intersection
English Word: 

  importCommodityTypeByRank

 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 域 按等級進口商品類型, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Economy.kif 2620-2620 域 按等級進口商品類型, 3 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. Economy.kif 2619-2619 域子類 按等級進口商品類型, 2 and Object
No TPTP formula. May not be expressible in strict first order. Economy.kif 2617-2617 例 按等級進口商品類型 and TernaryPredicate

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 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