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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Predicting
Predicting

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


(documentation Predicting ChineseLanguage "这是 IntentionalPsychologicalProcessClass, 它涉及对于一个将来可能会实现的事情作出一个 Proposition。") Merge.kif 12066-12067
(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 12063-12065
(subclass Predicting IntentionalPsychologicalProcess) Merge.kif 12062-12062

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


(termFormat ChineseLanguage Predicting "预测") chinese_format.kif 1152-1152
(termFormat EnglishLanguage Predicting "predicting") english_format.kif 1533-1533
(termFormat JapaneseLanguage Predicting "予測") english_format.kif 1534-1534

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


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


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