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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - expects
expects

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10591-10593
No TPTP formula. May not be expressible in strict first order. Merge.kif 10589-10589 The number 1 argument of expects is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 10590-10590 The number 2 argument of expects is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 10588-10588 expects is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3354-3354
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3353-3353
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3352-3352
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7386-7386 fears is a subrelation of expects
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7398-7398 hopes is a subrelation of expects
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22792-22792
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22791-22791
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22790-22790

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10595-10603

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 684-695
No TPTP formula. May not be expressible in strict first order. Merge.kif 10631-10643
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19348-19354


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