|
|
   Predicting
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Predicting ChineseLanguage "这是 IntentionalPsychologicalProcess 的 Class， 它涉及对于一个将来可能会实现的事情作出一个 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 |
|
|
|