Store![]() |
appearance as argument number 1 |
![]() |
(documentation Store EnglishLanguage "A Building that has the purpose of housing FinancialTransactions.") | Mid-level-ontology.kif 8241-8242 | |
(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 8240-8240 | Store は 建物 の subclass では |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Store "商店") | domainEnglishFormat.kif 55504-55504 | |
(termFormat ChineseTraditionalLanguage Store "商店") | domainEnglishFormat.kif 55503-55503 | |
(termFormat EnglishLanguage Store "store") | domainEnglishFormat.kif 55502-55502 |
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 1489-1502 |
|
(=> (instance ?X Store) (hasPurpose ?X (exists (?EV) (and (instance ?EV FinancialTransaction) (eventLocated ?EV ?X))))) |
Mid-level-ontology.kif 8244-8250 |
![]() |
![]() |