| Store
|
| appearance as argument number 1 |
|
| (documentation Store EnglishLanguage "A Building that has the purpose of housing FinancialTransactions.") | Mid-level-ontology.kif 7298-7299 | |
| (externalImage Store "http://upload.wikimedia.org/wikipedia/commons/5/5f/ Fortnum%26Mason_Fruit_and_Flowers2.jpg") | pictureList.kif 182-182 | |
| (subclass Store Building) | Mid-level-ontology.kif 7297-7297 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Store "商店") | domainEnglishFormat.kif 55535-55535 | |
| (termFormat ChineseTraditionalLanguage Store "商店") | domainEnglishFormat.kif 55534-55534 | |
| (termFormat EnglishLanguage Store "store") | domainEnglishFormat.kif 55533-55533 |
| antecedent |
|
|
| (=> (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 1478-1491 | |
| (=> (instance ?X Store) (hasPurpose ?X (exists (?EV) (and (instance ?EV FinancialTransaction) (eventLocated ?EV ?X))))) |
Mid-level-ontology.kif 7301-7307 |
|
|
|