Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

yu4 ce4 (Predicting)

The Class of IntentionalPsychologicalProcesses which involve the formulation of a Proposition about a state of affairs which might be realized in the future.

Ontology

SUMO / PROCESSES

Superclass(es)

[tree]
shi2 ti3
is subclass of
  wu4 zhi4 de5  
is subclass of
  li4 cheng2  
is subclass of
  yi4 xiang4 xing4 li4 cheng2  
is subclass of
[tree]
shi2 ti3
is subclass of
  wu4 zhi4 de5  
is subclass of
  li4 cheng2  
is subclass of
  na4 zai4 gai3 bian4  
is subclass of
  sheng1 wu4 li4 cheng2  
is subclass of
  xin1 li3 li4 cheng2  
is subclass of
is subclass of
  yi4 xiang4 xing4 xin1 li3 li4 cheng2  
is subclass of
  yu4 ce4  

Coordinate term(s)

ji4 suan4  fen1 lei4  bi3 jiao4  xue2 xi2  ji4 hua4  tui1 li3  xuan3 ze2 

Related WordNet synsets

prediction, anticipation, foresight
reasoning about the future
prediction is kind of (all)...   prediction is kind of...   kinds of prediction...   kinds of prediction (all)...  
predictive, prognostic, prognosticative
of or relating to prediction; having value for making predictions
predictive is similar to...  
See more related synsets on a separate page.

Axioms (1)

If predict shi4 yu4 ce4 de5 shi2 li4 and formula shi4 predict de5 shou4 shi4 zhe3, then there exists time so_that_not formula (mei2) wei2 zhen1 timea(zhi1 zhong1) time and time (mei2) fa1 sheng1?{s} zai4 "predict cun2 zai4 de5 shi2 jian1" zhi1 qian2 or time (mei2) bi3 "predict cun2 zai4 de5 shi2 jian1" jiao4 zao3 fa1 sheng1not(s). 
(=>
      (and
            (instance ?PREDICT Predicting)
            (patient ?PREDICT ?FORMULA))
      (exists
            (?TIME)
            (and
                  (holdsDuring ?TIME ?FORMULA)
                  (or
                        (before
                              ?TIME
                              (WhenFn ?PREDICT))
                        (earlier
                              ?TIME
                              (WhenFn ?PREDICT))))))