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

Formal Language: 



KB Term:  Term intersection
English Word: 

  importCommodityType

Sigma KEE - importCommodityType
importCommodityType

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2613-2615
No TPTP formula. May not be expressible in strict first order. Economy.kif 2610-2610 进口商品类型 的 1 数量 是 地缘政治区域instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 2611-2611 进口商品类型 的 2 数量 是 客体subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 2609-2609 进口商品类型二元谓语instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1253-1253
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1252-1252
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1251-1251
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29401-29401
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29400-29400
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29399-29399

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1478-1491
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