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 7398-7401
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7395-7395 O argumento numero 1 de enjoys e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7396-7396 O argumento numero 2 de enjoys e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7397-7397 enjoys e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7394-7394 enjoys e' uma sub-relacao de inScopeOfInterest

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3310-3310
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3309-3309
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3308-3308
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 7403-7411


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