Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  SouthernHemisphere
|
|
|
| appearance as argument number 1 |
|
|
| (instance DutyFree NormativeAttribute) | Hotel.kif 1472-1472 | Duty free is an instance of normative attribute |
| (documentation DutyFree EnglishLanguage "DutyFree describes how DutyTax is not charged for an imported product") | Hotel.kif 1473-1474 | Duty free is an instance of normative attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DutyFree "duty free") | Hotel.kif 1475-1475 |
| antecedent |
|
|
| (=> (and (attribute ?X DutyFree) (instance ?X Product)) (not (exists (?DUTY) (and (instance ?DUTY DutyTax) (patient ?DUTY ?X))))) |
Hotel.kif 1477-1485 | If duty free is an attribute of X and X is an instance of product, then there doesn't exist Y such that Y is an instance of duty tax and X is a patient of Y |
| (=> (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 |
|