Discovering
|
|
appearance as argument number 1 |
(documentation Discovering ChineseLanguage "这是寻找想要谋取的东西。注:这个类别限用于发现一些 Physical 东西的个案;如果是涉及获取信息的情况,应该使用 Learning 这个类别。") | chinese_format.kif 3112-3113 | |
(documentation Discovering EnglishLanguage "Finding something that was sought. Note that this class is restricted to cases of discovering something Physical. For cases involving the acquisition of knowledge, the class Learning should be used.") | Merge.kif 11981-11984 | |
(subclass Discovering IntentionalPsychologicalProcess) | Merge.kif 11980-11980 | Discovering est une sous-classe de processus psycholoqique intentionnel |
appearance as argument number 2 |
(subclass Locating Discovering) | MilitaryProcesses.kif 572-572 | Locating est une sous-classe de Discovering |
(termFormat ChineseLanguage Discovering "发现") | domainEnglishFormat.kif 19788-19788 | |
(termFormat ChineseTraditionalLanguage Discovering "發現") | domainEnglishFormat.kif 19787-19787 | |
(termFormat EnglishLanguage Discovering "discovering") | domainEnglishFormat.kif 19786-19786 |
antecedent |
(=> (and (instance ?DISCOVER Discovering) (patient ?DISCOVER ?OBJ) (holdsDuring (WhenFn ?DISCOVER) (located ?OBJ ?PLACE))) (exists (?LEARN) (and (instance ?LEARN Learning) (subProcess ?LEARN ?DISCOVER) (patient ?LEARN (located ?OBJ ?PLACE))))) |
Merge.kif 11995-12004 | |
(=> (and (instance ?DISCOVER Discovering) (patient ?DISCOVER ?OBJ)) (exists (?PURSUE) (and (instance ?PURSUE Pursuing) (meetsTemporally (WhenFn ?PURSUE) (WhenFn ?DISCOVER))))) |
Merge.kif 11986-11993 |
consequent |