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 数量 是 地缘政治区域 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 2620-2620 按等级进口商品类型 的 3 数量 是 正整数 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 2619-2619 按等级进口商品类型 的 2 数量 是 客体 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 2617-2617 按等级进口商品类型 是 三元谓语 的 instance

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