Wallpaper
|
|
appearance as argument number 1 |
(documentation Learning ChineseLanguage "这是和获取信息有关 Process 的 Class。") | chinese_format.kif 3111-3111 | |
(documentation Learning EnglishLanguage "The Class of Processes which relate to the acquisition of information.") | Merge.kif 11986-11987 | |
(subclass Learning IntentionalPsychologicalProcess) | Merge.kif 11985-11985 | Aprender e' uma sub-classe de Processo Psicologico Intencional |
appearance as argument number 2 |
(subclass Memorizing Learning) | Mid-level-ontology.kif 18248-18248 | Memorizing e' uma sub-classe de Aprender |
(termFormat ChineseLanguage Learning "学习") | chinese_format.kif 1144-1144 | |
(termFormat EnglishLanguage Learning "learning") | english_format.kif 1505-1505 | |
(termFormat FrenchLanguage Learning "apprendre") | french_format.kif 822-822 | |
(termFormat Hindi Learning "adhyayana") | terms-hindi.txt 354-354 | |
(termFormat ItalianLanguage Learning "Apprendere") | terms-it.txt 357-357 | |
(termFormat JapaneseLanguage Learning "学習") | japanese_format.kif 2506-2506 | |
(termFormat PortugueseLanguage Learning "Aprender") | portuguese_format.kif 774-774 | |
(termFormat cb Learning "pagkahibalo") | terms-cb.txt 359-359 | |
(termFormat cz Learning "learning") | terms-cz.txt 393-393 | |
(termFormat ro Learning "învãþare") | relations-ro.kif 843-843 | |
(termFormat tg Learning "nagaaral") | terms-tg.txt 358-358 |
antecedent |
(=> (and (instance ?LEARN Learning) (agent ?LEARN ?AGENT) (patient ?LEARN ?PROP)) (and (holdsDuring (BeginFn (WhenFn ?LEARN)) (not (knows ?AGENT ?PROP))) (holdsDuring (EndFn (WhenFn ?LEARN)) (knows ?AGENT ?PROP)))) |
Merge.kif 11995-12002 | |
(=> (and (instance ?LEARN Learning) (agent ?LEARN ?AGENT)) (instance ?AGENT CognitiveAgent)) |
Merge.kif 11989-11993 |
|
consequent |