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 8532-8535 | |
(domain enjoys 1 CognitiveAgent) | Mid-level-ontology.kif 8529-8529 | The number 1 argument of enjoys is an instance of cognitive agent |
(domainSubclass enjoys 2 IntentionalProcess) | Mid-level-ontology.kif 8530-8530 | The number 2 argument of enjoys is a subclass of intentional process |
(instance enjoys BinaryPredicate) | Mid-level-ontology.kif 8531-8531 | enjoys is an instance of binary predicate |
(subrelation enjoys inScopeOfInterest) | Mid-level-ontology.kif 8528-8528 | enjoys is a subrelation of in scope of interest |
appearance as argument number 2 |
![]() |
(format ChineseLanguage enjoys "%1 enjoys %2 ") | domainEnglishFormat.kif 3306-3306 | |
(format ChineseTraditionalLanguage enjoys "%1 enjoys %2 ") | domainEnglishFormat.kif 3305-3305 | |
(format EnglishLanguage enjoys "%1 enjoys %2") | domainEnglishFormat.kif 3304-3304 | |
(termFormat ChineseLanguage enjoys "享受") | domainEnglishFormat.kif 22178-22178 | |
(termFormat ChineseTraditionalLanguage enjoys "享受") | domainEnglishFormat.kif 22177-22177 | |
(termFormat EnglishLanguage enjoys "enjoys") | domainEnglishFormat.kif 22176-22176 |
antecedent |
![]() |
(=> (enjoys ?AGENT ?PROCESS) (desires ?AGENT (exists (?INSTANCE) (and (instance ?INSTANCE ?PROCESS) (or (agent ?INSTANCE ?AGENT) (experiencer ?INSTANCE ?AGENT)))))) |
Mid-level-ontology.kif 8537-8545 |
|
![]() |
![]() |