![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Memorizing(memorizing) | con, learn, memorise, memorize |
| appearance as argument number 1 |
|
|
| (subclass Memorizing Learning) | Mid-level-ontology.kif 20153-20153 | Memorizing is a subclass of learning |
| (documentation Memorizing EnglishLanguage "The process of committing a Text to memory.") | Mid-level-ontology.kif 20154-20154 | Memorizing is a subclass of learning |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?M Memorizing) (patient ?M ?T)) (instance ?T Text)) |
Mid-level-ontology.kif 20156-20160 | If X is an instance of memorizing and Y is a patient of X, then Y is an instance of text |