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

Formal Language: 



KB Term:  Term intersection
English Word: 

  exportCommodityTypeByRank

 Sigma KEE - exportCommodityTypeByRank
exportCommodityTypeByRank

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2326-2329
No TPTP formula. May not be expressible in strict first order. Economy.kif 2322-2322 域 按等級出口商品類型, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Economy.kif 2324-2324 域 按等級出口商品類型, 3 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. Economy.kif 2323-2323 域子類 按等級出口商品類型, 2 and Object
No TPTP formula. May not be expressible in strict first order. Economy.kif 2321-2321 例 按等級出口商品類型 and TernaryPredicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 947-947
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 946-946
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 945-945
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22888-22888
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22887-22887
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22886-22886

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2331-2333


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