| Learning(学習) | |
| 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 12075-12076 | |
| (subclass Learning IntentionalPsychologicalProcess) | Merge.kif 12074-12074 | 学習 は 意図的な心理的プロセス の subclass では |
| appearance as argument number 2 |
|
|
| (subclass Memorizing Learning) | Mid-level-ontology.kif 19792-19792 | Memorizing は 学習 の subclass では |
| (termFormat ChineseLanguage Learning "学习") | chinese_format.kif 1144-1144 | Memorizing は 学習 の subclass では |
| (termFormat EnglishLanguage Learning "learning") | english_format.kif 1505-1505 | Memorizing は 学習 の subclass では |
| (termFormat FrenchLanguage Learning "apprendre") | french_format.kif 822-822 | Memorizing は 学習 の subclass では |
| (termFormat Hindi Learning "adhyayana") | terms-hindi.txt 354-354 | Memorizing は 学習 の subclass では |
| (termFormat ItalianLanguage Learning "Apprendere") | terms-it.txt 357-357 | Memorizing は 学習 の subclass では |
| (termFormat JapaneseLanguage Learning "学習") | japanese_format.kif 2506-2506 | Memorizing は 学習 の subclass では |
| (termFormat PortugueseLanguage Learning "Aprender") | portuguese_format.kif 774-774 | Memorizing は 学習 の subclass では |
| (termFormat cb Learning "pagkahibalo") | terms-cb.txt 359-359 | Memorizing は 学習 の subclass では |
| (termFormat cz Learning "learning") | terms-cz.txt 393-393 | Memorizing は 学習 の subclass では |
| (termFormat de Learning "Lernen") | terms-de.txt 652-652 | Memorizing は 学習 の subclass では |
| (termFormat ro Learning "învãþare") | relations-ro.kif 843-843 | Memorizing は 学習 の subclass では |
| (termFormat tg Learning "nagaaral") | terms-tg.txt 358-358 | Memorizing は 学習 の subclass では |
| 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 12084-12091 | |
| (=> (and (instance ?LEARN Learning) (agent ?LEARN ?AGENT)) (instance ?AGENT CognitiveAgent)) |
Merge.kif 12078-12082 |
|
| consequent |
|
|
| (=> (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 12108-12117 | |
| (=> (and (instance ?EDUCATION EducationalProcess) (patient ?EDUCATION ?PERSON)) (hasPurpose ?EDUCATION (exists (?LEARN) (and (instance ?LEARN Learning) (patient ?LEARN ?PERSON))))) |
Merge.kif 11766-11774 | |
| (=> (and (instance ?FID ForeignInternalDefense) (agent ?FID ?MIL) (experiencer ?FID ?HN)) (hasPurpose ?FID (exists (?ORG ?LEARNING) (and (instance ?LEARNING Learning) (experiencer ?LEARNING ?ORG) (agent ?LEARNING ?MIL) (or (militaryOfArea ?ORG ?HN) (and (instance ?ORG MilitaryForce) (located ?ORG ?HN))))))) |
MilitaryProcesses.kif 1960-1975 |
|
| (=> (hasExpertise ?PERSON ?FIELD) (exists (?LEARN ?SPECIALITY) (and (instance ?LEARN Learning) (agent ?LEARN ?PERSON) (instance ?SPECIALITY ?FIELD) (realization ?LEARN ?SPECIALITY)))) |
Mid-level-ontology.kif 22971-22978 | |
| (=> (instance ?X SchoolBuilding) (exists (?L ?P) (and (instance ?L Learning) (patient ?L ?P) (attribute ?P Student) (eventLocated ?L ?X)))) |
Mid-level-ontology.kif 24136-24143 |
|
|
|