CurrencyCoin
|
|
appearance as argument number 1 |
(documentation CurrencyCoin EnglishLanguage "Any instance of Currency that is made of Metal.") | Mid-level-ontology.kif 3590-3591 | |
(subclass CurrencyCoin Currency) | Mid-level-ontology.kif 3589-3589 | CurrencyCoin è una sottoclasse di Currency |
appearance as argument number 2 |
appearance as argument number 3 |
(partition Currency CurrencyBill CurrencyCoin) | Mid-level-ontology.kif 3578-3578 | Currency è esaustivamente partizionato in CurrencyBill + CurrencyCoin |
antecedent |
(=> (instance ?COIN CurrencyCoin) (exists (?METAL) (and (subclass ?METAL Metal) (material ?METAL ?COIN)))) |
Mid-level-ontology.kif 3593-3598 |
|
consequent |
(=> (attribute ?M CoinOperated) (hasPurpose ?M (exists (?C ?FT ?A ?ACT) (and (instance ?C CurrencyCoin) (instance ?FT FinancialTransaction) (destination ?FT ?M) (patient ?FT ?C) (origin ?FT ?A) (causes ?FT ?ACT) (wants ?A ?ACT))))) |
Mid-level-ontology.kif 29525-29536 |