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 | CoinOperated は 関係属性 の instance では %n |
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 |