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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Predicting

 Sigma KEE - Predicting
Predicting(Prever)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3137-3138
No TPTP formula. May not be expressible in strict first order. Merge.kif 12167-12169
No TPTP formula. May not be expressible in strict first order. Merge.kif 12166-12166 Prever e' uma sub-classe de Processo Psicologico Intencional

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1152-1152
No TPTP formula. May not be expressible in strict first order. english_format.kif 1521-1521
No TPTP formula. May not be expressible in strict first order. french_format.kif 830-830
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 362-362
No TPTP formula. May not be expressible in strict first order. terms-it.txt 365-365
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2514-2514
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 782-782
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 367-367
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 401-401
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 851-851
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 366-366

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12171-12178


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