AguarunaLanguage
|
|
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 29454-29456 | |
(instance CoinOperated RelationalAttribute) | Mid-level-ontology.kif 29453-29453 |
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 29462-29473 | |
(=> (attribute ?M CoinOperated) (instance ?M Machine)) |
Mid-level-ontology.kif 29458-29460 |