Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass Predicting IntentionalPsychologicalProcess) Merge.kif 12430-12430 Predicting is a subclass of intentional psychological process
(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 12431-12433 Predicting is a subclass of intentional psychological process

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


(termFormat EnglishLanguage Predicting "predicting") english_format.kif 1525-1525

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


(=>
    (and
        (instance ?PREDICT Predicting)
        (containsFormula ?PREDICT ?FORMULA))
    (exists (?TIME)
        (and
            (holdsDuring ?TIME ?FORMULA)
            (earlier ?TIME
                (WhenFn ?PREDICT)))))		 Merge.kif 12435-12442 If X is an instance of predicting and X contains the formula Y, then there exists Z such that Y holds during Z and Z happens earlier than the time of existence of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners