Store
|
|
appearance as argument number 1 |
(documentation Store EnglishLanguage "A Building that has the purpose of housing FinancialTransactions.") | Mid-level-ontology.kif 7107-7108 | |
(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 7106-7106 | Store e' uma sub-classe de Predio |
appearance as argument number 2 |
(termFormat ChineseLanguage Store "商店") | domainEnglishFormat.kif 55502-55502 | |
(termFormat ChineseTraditionalLanguage Store "商店") | domainEnglishFormat.kif 55501-55501 | |
(termFormat EnglishLanguage Store "store") | domainEnglishFormat.kif 55500-55500 |
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 7110-7116 |