(documentation doubts EnglishLanguage "(doubts ?AGENT ?FORMULA) means that ?AGENT is unsure about the truth of ?FORMULA, in particular ?AGENT does not believe that ?FORMULA is true.") |
Mid-level-ontology.kif 7630-7632 |
|
(domain doubts 1 CognitiveAgent) |
Mid-level-ontology.kif 7628-7628 |
The number 1 argument of doubts is an instance of cognitive agent |
(domain doubts 2 Formula) |
Mid-level-ontology.kif 7629-7629 |
The number 2 argument of doubts is an instance of formula |
(instance doubts BinaryPredicate) |
Mid-level-ontology.kif 7627-7627 |
doubts is an instance of binary predicate |
(instance doubts PropositionalAttitude) |
Mid-level-ontology.kif 7626-7626 |
doubts is an instance of propositional attitude |