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

Formal Language: 



KB Term:  Term intersection
English Word: 

  expects

 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 预计 的 1 数量 是 有认知的主事 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 10590-10590 预计 的 2 数量 是 公式 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 10588-10588 预计 是 二元谓语 的 instance

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 恐惧 是 预计 的 subrelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7398-7398 希望 是 预计 的 subrelation
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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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