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 7370-7373 | |
(domain enjoys 1 CognitiveAgent) | Mid-level-ontology.kif 7367-7367 | O argumento numero 1 de enjoys e' uma instancia de Agente Cognitivo |
(domainSubclass enjoys 2 IntentionalProcess) | Mid-level-ontology.kif 7368-7368 | O argumento numero 2 de enjoys e' uma sub-classe de Processo Intencional |
(instance enjoys BinaryPredicate) | Mid-level-ontology.kif 7369-7369 | enjoys e' uma instancia de Predicado Binario |
(subrelation enjoys inScopeOfInterest) | Mid-level-ontology.kif 7366-7366 | enjoys e' uma sub-relacao de inScopeOfInterest |
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 7375-7383 |
![]() |
![]() |