Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| says |
| appearance as argument number 1 |
|
| (instance says PropositionalAttitude) | Merge.kif 2952-2952 | says is an instance of propositional attitude |
| (instance says BinaryPredicate) | Merge.kif 2953-2953 | says is an instance of binary predicate |
| (subrelation says inScopeOfInterest) | Merge.kif 2954-2954 | says is a subrelation of in scope of interest |
| (domain says 1 CognitiveAgent) | Merge.kif 2955-2955 | The number 1 argument of says is an instance of cognitive agent |
| (domain says 2 Formula) | Merge.kif 2956-2956 | The number 2 argument of says is an instance of formula |
| (documentation says EnglishLanguage "A basic predicate of Communicating that also entails that the agent is aware of the Formula he or she is communicating. This excludes talking in one's sleep, brain stimulation that causes an utterance, or unconscious parroting of some word or phrase. This can also include writing or gesturing.") | Merge.kif 2958-2962 | The number 2 argument of says is an instance of formula |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage says "says") | Merge.kif 2963-2963 |
|