Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Store
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Store Building) | Mid-level-ontology.kif 8395-8395 | Store is a subclass of building |
| (documentation Store EnglishLanguage "A Building that has the purpose of housing FinancialTransactions.") | Mid-level-ontology.kif 8396-8397 | Store is a subclass of building |
| (externalImage Store "http://upload.wikimedia.org/wikipedia/commons/5/5f/ Fortnum%26Mason_Fruit_and_Flowers2.jpg") | pictureList.kif 182-182 | Store is a subclass of building |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?X Store) (hasPurpose ?X (exists (?EV) (and (instance ?EV FinancialTransaction) (eventLocated ?EV ?X))))) |
Mid-level-ontology.kif 8399-8405 | If X is an instance of store, then X has the purpose there exists Y such that Y is an instance of financial transaction and Y is located at 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 |
|
