| appearance as argument number 1 |
|
| s__documentation(s__enjoys__m,s__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 | |
| s__domain(s__enjoys__m,n__1,s__CognitiveAgent)
|
Mid-level-ontology.kif 7035-7035 | The number 1 argument of enjoys is an instance of cognitive agent |
| s__domainSubclass(s__enjoys__m,n__2,s__IntentionalProcess)
|
Mid-level-ontology.kif 7036-7036 | The number 2 argument of enjoys is a subclass of intentional process |
| s__instance(s__enjoys__m,s__CaseRole) s__instance(s__CaseRole,s__SetOrClass)
|
Mid-level-ontology.kif 7034-7034 | enjoys is an instance of case role |
| s__subrelation(s__enjoys__m,s__inScopeOfInterest__m)
|
Mid-level-ontology.kif 7033-7033 | enjoys is a subrelation of in scope of interest |
| appearance as argument number 2 |
|
|
| s__format(s__ChineseLanguage,s__enjoys__m,'"%1 enjoys %2 "')
|
domainEnglishFormat.kif 3311-3311 | |
| s__format(s__ChineseTraditionalLanguage,s__enjoys__m,'"%1 enjoys %2 "')
|
domainEnglishFormat.kif 3310-3310 | |
| s__format(s__EnglishLanguage,s__enjoys__m,'"%1 enjoys %2"')
|
domainEnglishFormat.kif 3309-3309 | |
| s__termFormat(s__ChineseLanguage,s__enjoys__m,'"享受"')
|
domainEnglishFormat.kif 22099-22099 | |
| s__termFormat(s__ChineseTraditionalLanguage,s__enjoys__m,'"享受"')
|
domainEnglishFormat.kif 22098-22098 | |
| s__termFormat(s__EnglishLanguage,s__enjoys__m,'"enjoys"')
|
domainEnglishFormat.kif 22097-22097 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | 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