CoinOperated |
appearance as argument number 1 |
(documentation CoinOperated EnglishLanguage "An Attribute stating that a Machine is operated by its intended customer only by receive one or more CurrencyCoins.") | Mid-level-ontology.kif 29466-29468 | |
(instance CoinOperated RelationalAttribute) | Mid-level-ontology.kif 29465-29465 |
appearance as argument number 2 |
(termFormat EnglishLanguage CoinOperated "coin operated") | domainEnglishFormat.kif 64660-64660 |
antecedent |
(=> (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 29474-29485 | |
(=> (attribute ?M CoinOperated) (instance ?M Machine)) |
Mid-level-ontology.kif 29470-29472 |