TextileMills
|
|
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 |
appearance as argument number 2 |
appearance as argument number 3 |
(partition Currency CurrencyBill CurrencyCoin) | Mid-level-ontology.kif 3578-3578 |
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 |