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 8532-8535
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8529-8529 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 8530-8530 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 8531-8531 enjoys is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8528-8528 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 3306-3306
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3305-3305
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3304-3304
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22178-22178
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22177-22177
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22176-22176

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


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


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