![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Reciting |
| appearance as argument number 1 |
|
|
| (subclass Reciting Speaking) | Mid-level-ontology.kif 17528-17528 | |
| (documentation Reciting EnglishLanguage "Any instance of Speaking where what is uttered is contained within a Text.") | Mid-level-ontology.kif 17529-17530 |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?R Reciting) (exists (?P ?T) (and (realization ?R ?P) (containsInformation ?T ?P) (instance ?T Text)))) |
Mid-level-ontology.kif 17532-17538 |