| 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 7037-7040 | |
| (domain enjoys 1 CognitiveAgent) | Mid-level-ontology.kif 7035-7035 | The number 1 argument of enjoys is an instance of cognitive agent |
| (domainSubclass enjoys 2 IntentionalProcess) | Mid-level-ontology.kif 7036-7036 | The number 2 argument of enjoys is a subclass of intentional process |
| (instance enjoys CaseRole) | Mid-level-ontology.kif 7034-7034 | enjoys is an instance of case role |
| (subrelation enjoys inScopeOfInterest) | Mid-level-ontology.kif 7033-7033 | enjoys is a subrelation of in scope of interest |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage enjoys "%1 enjoys %2 ") | domainEnglishFormat.kif 3311-3311 | |
| (format ChineseTraditionalLanguage enjoys "%1 enjoys %2 ") | domainEnglishFormat.kif 3310-3310 | |
| (format EnglishLanguage enjoys "%1 enjoys %2") | domainEnglishFormat.kif 3309-3309 | |
| (termFormat ChineseLanguage enjoys "享受") | domainEnglishFormat.kif 22105-22105 | "享受" is the printable form of enjoys in ChineseLanguage |
| (termFormat ChineseTraditionalLanguage enjoys "享受") | domainEnglishFormat.kif 22104-22104 | "享受" is the printable form of enjoys in ChineseTraditionalLanguage |
| (termFormat EnglishLanguage enjoys "enjoys") | domainEnglishFormat.kif 22103-22103 | "enjoys" is the printable form of enjoys in english language |
| antecedent |
|
|
| (=> (enjoys ?AGENT ?PROCESS) (desires ?AGENT (exists (?INSTANCE) (and (instance ?INSTANCE ?PROCESS) (or (agent ?INSTANCE ?AGENT) (experiencer ?INSTANCE ?AGENT)))))) |
Mid-level-ontology.kif 7042-7050 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners