CurrencyCoin
|
|
appearance as argument number 1 |
(documentation CurrencyCoin EnglishLanguage "Any instance of Currency that is made of Metal.") | Mid-level-ontology.kif 3597-3598 | |
(subclass CurrencyCoin Currency) | Mid-level-ontology.kif 3596-3596 | 子類 貨幣硬幣 and 貨幣 |
appearance as argument number 2 |
appearance as argument number 3 |
(partition Currency CurrencyBill CurrencyCoin) | Mid-level-ontology.kif 3585-3585 | 劃分 貨幣, 貨幣單 and 貨幣硬幣 |
antecedent |
(=> (instance ?COIN CurrencyCoin) (exists (?METAL) (and (subclass ?METAL Metal) (material ?METAL ?COIN)))) |
Mid-level-ontology.kif 3600-3605 |
|
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 29462-29473 |