(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.") 
Midlevelontology.kif 70967098 

(domain doubts 1 CognitiveAgent) 
Midlevelontology.kif 70947094 
domain doubts, 1 and CognitiveAgent 
(domain doubts 2 Formula) 
Midlevelontology.kif 70957095 
domain doubts, 2 and Formula 
(instance doubts BinaryPredicate) 
Midlevelontology.kif 70937093 
instance doubts and BinaryPredicate 
(instance doubts PropositionalAttitude) 
Midlevelontology.kif 70927092 
instance doubts and PropositionalAttitude 