| CurrencyCoin | |
| appearance as argument number 1 |
|
|
| (documentation CurrencyCoin EnglishLanguage "Any instance of Currency that is made of Metal.") | Mid-level-ontology.kif 4040-4041 | |
| (subclass CurrencyCoin Currency) | Mid-level-ontology.kif 4039-4039 | CurrencyCoin est une sous-classe de Currency |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (partition Currency CurrencyBill CurrencyCoin) | Mid-level-ontology.kif 4028-4028 | Currency est compl�tement d�compos� en CurrencyBill + CurrencyCoin |
| antecedent |
|
|
| (=> (instance ?COIN CurrencyCoin) (exists (?METAL) (and (subclass ?METAL Metal) (material ?METAL ?COIN)))) |
Mid-level-ontology.kif 4043-4048 |
|
| 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 31393-31404 |
|
|
|
|