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


(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 12145-12147
(subclass Predicting IntentionalPsychologicalProcess) Merge.kif 12144-12144 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 1521-1521
(termFormat FrenchLanguage Predicting "predire") french_format.kif 830-830
(termFormat Hindi Predicting "purva kathana") terms-hindi.txt 362-362
(termFormat ItalianLanguage Predicting "Prevedere") terms-it.txt 365-365
(termFormat JapaneseLanguage Predicting "予測") japanese_format.kif 2514-2514
(termFormat PortugueseLanguage Predicting "Prever") portuguese_format.kif 782-782
(termFormat cb Predicting "pagtagna") terms-cb.txt 367-367
(termFormat cz Predicting "predicting") terms-cz.txt 401-401
(termFormat ro Predicting "predicþie") relations-ro.kif 851-851
(termFormat tg Predicting "hulaan") terms-tg.txt 366-366

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


(=>
    (and
        (instance ?PREDICT Predicting)
        (patient ?PREDICT ?FORMULA))
    (exists (?TIME)
        (and
            (holdsDuring ?TIME ?FORMULA)
            (earlier ?TIME
                (WhenFn ?PREDICT)))))
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