Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - enjoys
enjoys

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7017-7020
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7015-7015 The number 1 argument of enjoys is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7016-7016 The number 2 argument of enjoys is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7014-7014 enjoys is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7013-7013 enjoys is a subrelation of in scope of interest

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3315-3315
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3314-3314
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3313-3313
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22174-22174
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22173-22173
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22172-22172

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7022-7030


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 3.0 is open source software produced by Articulate Software and its partners