Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  doubts

 Sigma KEE - doubts
doubts

appearance as argument number 1
-------------------------


(instance doubts PropositionalAttitude) Mid-level-ontology.kif 8728-8728 doubts is an instance of propositional attitude
(instance doubts BinaryPredicate) Mid-level-ontology.kif 8729-8729 doubts is an instance of binary predicate
(domain doubts 1 CognitiveAgent) Mid-level-ontology.kif 8730-8730 The number 1 argument of doubts is an instance of cognitive agent
(domain doubts 2 Formula) Mid-level-ontology.kif 8731-8731 The number 2 argument of doubts is an instance of formula
(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 8732-8734 The number 2 argument of doubts is an instance of formula

appearance as argument number 2
-------------------------


(format EnglishLanguage doubts "%2 is %n a doubts of %1") domainEnglishFormat.kif 794-794
(format ChineseTraditionalLanguage doubts "%2 %n 是 %1 的 doubts ") domainEnglishFormat.kif 795-795
(format ChineseLanguage doubts "%2 %n 是 %1 的 doubts ") domainEnglishFormat.kif 796-796
(termFormat EnglishLanguage doubts "doubts") domainEnglishFormat.kif 20238-20238
(termFormat ChineseTraditionalLanguage doubts "疑惑") domainEnglishFormat.kif 20239-20239
(termFormat ChineseLanguage doubts "疑惑") domainEnglishFormat.kif 20240-20240

antecedent
-------------------------


(=>
    (doubts ?AGENT ?FORMULA)
    (not
        (believes ?AGENT ?FORMULA)))		 Mid-level-ontology.kif 8736-8738 If X is a doubts of Y, then Y doesn't believe X


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners