(=>
(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 |
