DutyFree
|
|
appearance as argument number 1 |
(documentation DutyFree EnglishLanguage "DutyFree describes how DutyTax is not charged for an imported product") | Hotel.kif 1462-1463 | |
(instance DutyFree NormativeAttribute) | Hotel.kif 1461-1461 | DutyFree は 規範的属性 の instance では %n |
appearance as argument number 2 |
(termFormat EnglishLanguage DutyFree "duty free") | Hotel.kif 1464-1464 |
antecedent |
(=> (and (attribute ?X DutyFree) (instance ?X Product)) (not (exists (?DUTY) (and (instance ?DUTY DutyTax) (patient ?DUTY ?X))))) |
Hotel.kif 1466-1474 | |
(=> (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 |
|