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。") 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 11921-11923
(subclass Predicting IntentionalPsychologicalProcess) Merge.kif 11920-11920

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


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

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


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


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