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

Formal Language: 



KB Term:  Term intersection
English Word: 

  exportCommodityType

 Sigma KEE - exportCommodityType
exportCommodityType

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


(documentation exportCommodityType EnglishLanguage "(exportCommodityType ?AREA ?TYPE) means that the GeopoliticalArea ?AREA exports the commodity ?TYPE.") Economy.kif 2308-2310
(domain exportCommodityType 1 GeopoliticalArea) Economy.kif 2305-2305 Le nombre 1 argument de exportCommodityType est une instance de secteur g�opolitique
(domainSubclass exportCommodityType 2 Object) Economy.kif 2306-2306 Le nombre 2 argument de exportCommodityType est une sous-classe de objet
(instance exportCommodityType BinaryPredicate) Economy.kif 2304-2304 exportCommodityType est une instance de pr�dicat binaire

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


(format ChineseLanguage exportCommodityType "%2 %n 是 %1 的 export 商品种类") domainEnglishFormat.kif 943-943
(format ChineseTraditionalLanguage exportCommodityType "%2 %n 是 %1 的 export 商品種類") domainEnglishFormat.kif 942-942
(format EnglishLanguage exportCommodityType "%2 is %n an export commodity type of %1") domainEnglishFormat.kif 941-941
(termFormat ChineseLanguage exportCommodityType "出口商品类型") domainEnglishFormat.kif 22882-22882
(termFormat ChineseTraditionalLanguage exportCommodityType "出口商品類型") domainEnglishFormat.kif 22881-22881
(termFormat EnglishLanguage exportCommodityType "export commodity type") domainEnglishFormat.kif 22880-22880

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


(=>
    (exportCommodityType ?AGENT ?TYPE)
    (exists (?EXPORT ?OBJECT)
        (and
            (instance ?EXPORT Exporting)
            (agent ?EXPORT ?AGENT)
            (instance ?OBJECT ?TYPE)
            (patient ?EXPORT ?OBJECT))))		 Economy.kif 2312-2319
(=>
    (exportCommodityType ?AREA ?TYPE)
    (exists (?TRANSFER ?OBJECT)
        (and
            (instance ?TRANSFER Exporting)
            (agent ?TRANSFER ?AREA)
            (patient ?TRANSFER ?OBJECT)
            (instance ?OBJECT ?TYPE))))		 Economy.kif 2335-2342

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