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...

VerbNet: conjecture-29.5|foresee, risk-94|bet, conjecture-29.5|foresee, conjecture-29.5|foresee, conjecture-29.5|foresee, risk-94|bet,


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


(documentation Predicting ChineseLanguage "这是 IntentionalPsychologicalProcessClass, 它涉及对于一个将来可能会实现的事情作出一个 Proposition。") chinese_format.kif 3137-3138
(documentation Predicting EnglishLanguage "The Class of IntentionalPsychologicalProcesses which involve the formulation of a Proposition about a state of affairs which might be realized in the future.") Merge.kif 11248-11250
(subclass Predicting IntentionalPsychologicalProcess) Merge.kif 11247-11247 Predicting is a subclass of intentional psychological process

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


(termFormat ChineseLanguage Predicting "预测") chinese_format.kif 1152-1152
(termFormat EnglishLanguage Predicting "predicting") english_format.kif 1526-1526

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


(=>
    (and
        (instance ?PREDICT Predicting)
        (patient ?PREDICT ?FORMULA))
    (exists (?TIME)
        (and
            (holdsDuring ?TIME ?FORMULA)
            (earlier ?TIME
                (WhenFn ?PREDICT)))))
Merge.kif 11252-11259


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners