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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Predicting
Predicting(predicting)Delphic, adumbration, adumbrative, anticipate, anticipation, apocalyptic, apocalyptical, arithmancy, astrology, bet, calculate, cannily, chirology, chiromancy, chiromantic, clairvoyant, crystal_gazing, divination, forecast, foreknow, foresee, foreshadowing, foretelling, fortune_telling, geomancy, heads-up, horoscopy, hydromancy, lithomancy, lithomantic, medical_prognosis, necromancy, nonprognosticative, oneiromancy, onomancy, oracular, palm_reading, palmistry, precognitive, prediction, predictive, prefiguration, prefigurative, presciently, previse, prevision, prognosis, prognostic, prognostication, prognosticative...

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 12145-12147
No TPTP formula. May not be expressible in strict first order. Merge.kif 12144-12144 Predicting is a subclass of intentional psychological process

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 12149-12156


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