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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Predicting

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 12191-12193
(subclass Predicting IntentionalPsychologicalProcess) Merge.kif 12190-12190

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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