Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| importCommodityType |
| appearance as argument number 1 |
|
| (instance importCommodityType BinaryPredicate) | Economy.kif 2941-2941 | import commodity type is an instance of binary predicate |
| (domain importCommodityType 1 GeopoliticalArea) | Economy.kif 2942-2942 | The number 1 argument of import commodity type is an instance of geopolitical area |
| (domainSubclass importCommodityType 2 Object) | Economy.kif 2943-2943 | The number 2 argument of import commodity type is a subclass of object |
| (documentation importCommodityType EnglishLanguage "(importCommodityType ?AREA ?TYPE) means that the GeopoliticalArea ?AREA imports the commodity ?TYPE.") | Economy.kif 2945-2947 | The number 2 argument of import commodity type is a subclass of object |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage importCommodityType "%2 is %n an import commodity type of %1") | domainEnglishFormat.kif 1251-1251 | |
| (format ChineseTraditionalLanguage importCommodityType "%2 %n 是 %1 的 import 商品種類") | domainEnglishFormat.kif 1252-1252 | |
| (format ChineseLanguage importCommodityType "%2 %n 是 %1 的 import 商品种类") | domainEnglishFormat.kif 1253-1253 | |
| (termFormat EnglishLanguage importCommodityType "import commodity type") | domainEnglishFormat.kif 29403-29403 | |
| (termFormat ChineseTraditionalLanguage importCommodityType "進口商品類型") | domainEnglishFormat.kif 29404-29404 | |
| (termFormat ChineseLanguage importCommodityType "进口商品类型") | domainEnglishFormat.kif 29405-29405 |
| consequent |
|
|
| (=> (importCommodityTypeByRank ?AREA ?TYPE ?RANK) (importCommodityType ?AREA ?TYPE)) |
Economy.kif 2959-2961 | If X import commodity type by rank Y for Z, then Y is an import commodity type of X |
| (=> (and (attribute ?X DutyFree) (instance ?X Store)) (exists (?AREA ?OBJ ?O ?SELL) (and (instance ?AREA GeopoliticalArea) (located ?X ?AREA) (subclass ?O Object) (importCommodityType ?AREA ?O) (instance ?OBJ ?O) (instance ?SELL Selling) (patient ?SELL ?OBJ) (located ?SELL ?X)))) |
Hotel.kif 1489-1502 | If duty free is an attribute of X and X is an instance of store, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of geopolitical area (3) X is located at Y (4) W is a subclass of object (5) W is an import commodity type of Y (6) Z is an instance of W (7) V is an instance of selling (8) Z is a patient of V (9) V is located at X |
|