enjoys |
appearance as argument number 1 |
(documentation enjoys EnglishLanguage "(enjoys ?AGENT ?PROCESS) means that the CognitiveAgent ?AGENT tends to enjoy actions of type ?PROCESS, i.e. tends to enjoy being the agent or experiencer of such actions.") | Mid-level-ontology.kif 7398-7401 | |
(domain enjoys 1 CognitiveAgent) | Mid-level-ontology.kif 7395-7395 | |
(domainSubclass enjoys 2 IntentionalProcess) | Mid-level-ontology.kif 7396-7396 | |
(instance enjoys BinaryPredicate) | Mid-level-ontology.kif 7397-7397 | |
(subrelation enjoys inScopeOfInterest) | Mid-level-ontology.kif 7394-7394 |
appearance as argument number 2 |
(format ChineseLanguage enjoys "%1 enjoys %2 ") | domainEnglishFormat.kif 3310-3310 | |
(format ChineseTraditionalLanguage enjoys "%1 enjoys %2 ") | domainEnglishFormat.kif 3309-3309 | |
(format EnglishLanguage enjoys "%1 enjoys %2") | domainEnglishFormat.kif 3308-3308 | |
(termFormat ChineseLanguage enjoys "享受") | domainEnglishFormat.kif 22174-22174 | |
(termFormat ChineseTraditionalLanguage enjoys "享受") | domainEnglishFormat.kif 22173-22173 | |
(termFormat EnglishLanguage enjoys "enjoys") | domainEnglishFormat.kif 22172-22172 |
antecedent |
(=> (enjoys ?AGENT ?PROCESS) (desires ?AGENT (exists (?INSTANCE) (and (instance ?INSTANCE ?PROCESS) (or (agent ?INSTANCE ?AGENT) (experiencer ?INSTANCE ?AGENT)))))) |
Mid-level-ontology.kif 7403-7411 |