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


KB Term:  Term intersection
English Word: 

  exportCommodityType

 Sigma KEE - exportCommodityType
exportCommodityType

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


(instance exportCommodityType BinaryPredicate) Economy.kif 2539-2539 export commodity type is an instance of binary predicate
(domain exportCommodityType 1 GeopoliticalArea) Economy.kif 2540-2540 The number 1 argument of export commodity type is an instance of geopolitical area
(domainSubclass exportCommodityType 2 Object) Economy.kif 2541-2541 The number 2 argument of export commodity type is a subclass of object
(documentation exportCommodityType EnglishLanguage "(exportCommodityType ?AREA ?TYPE) means that the GeopoliticalArea ?AREA exports the commodity ?TYPE.") Economy.kif 2543-2545 The number 2 argument of export commodity type is a subclass of object

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


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

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


(=>
    (exportCommodityType ?AGENT ?TYPE)
    (exists (?EXPORT ?OBJECT)
        (and
            (instance ?EXPORT Exporting)
            (agent ?EXPORT ?AGENT)
            (instance ?OBJECT ?TYPE)
            (patient ?EXPORT ?OBJECT))))		 Economy.kif 2547-2554 If X is an export commodity type of Y, then there exist Z, W such that Z is an instance of exporting, Y is an agent of Z, W is an instance of X, and W is a patient of Z
(=>
    (exportCommodityType ?AREA ?TYPE)
    (exists (?TRANSFER ?OBJECT)
        (and
            (instance ?TRANSFER Exporting)
            (agent ?TRANSFER ?AREA)
            (patient ?TRANSFER ?OBJECT)
            (instance ?OBJECT ?TYPE))))		 Economy.kif 2570-2577 If X is an export commodity type of Y, then there exist Z, W such that Z is an instance of exporting, Y is an agent of Z, W is a patient of Z, and W is an instance of X

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


(=>
    (exportCommodityTypeByRank ?AREA ?TYPE ?RANK)
    (exportCommodityType ?AREA ?TYPE))		 Economy.kif 2566-2568 If X export commodity type by rank Y for Z, then Y is an export commodity type of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners