Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DutyTax(duty tax) |  | anti-dumping_duty, countervailing_duty, custom, customs, customs_duty, duty, export_duty, import_duty, impost, octroi, protective_tariff, revenue_tariff, tariff, tonnage, tonnage_duty, tunnage |
| appearance as argument number 1 |
|
|
| (subclass DutyTax Tax) | FinancialOntology.kif 969-969 | Duty tax is a subclass of tax |
| (documentation DutyTax EnglishLanguage "A Tax that is levied on imports and/ or exports.") | FinancialOntology.kif 970-970 | Duty tax is a subclass of tax |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?X DutyTax) (refers ?X ?OBJ) (patient ?X ?OBJ)) (exists (?T ?N1 ?N2) (and (instance ?T Transfer) (patient ?T ?OBJ) (origin ?T ?N1) (destination ?T ?N2) (instance ?N1 Nation) (instance ?N2 Nation) (not (equal ?N1 ?N2)) (earlier (WhenFn ?T) (WhenFn ?X)) (causes ?T ?X)))) |
FinancialOntology.kif 971-986 | If X is an instance of duty tax, X includes a reference to Y, and Y is a patient of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of transfer (3) Y is a patient of Z (4) Z originates at W (5) Z ends up at V (6) W is an instance of nation (7) V is an instance of nation (8) equal W (9) V (10) the time of existence of Z happens earlier than the time of existence of X (11) Z causes X |
| consequent |
|
|
| (=> (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 |
|