| 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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