Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - believes
believes

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


s__documentation(s__believes__m,s__ChineseLanguage,'"这是信念的知识谓词,(believes ?AGENT ?FORMULA)的 意思是 ?AGENT 相信 ?FORMULA 所表达的命题。"')

chinese_format.kif 1941-1942
s__documentation(s__believes__m,s__EnglishLanguage,'"The epistemic predicate of belief. (believes ?AGENT ?FORMULA) means that ?AGENT believes the proposition expressed by ?FORMULA."')

Merge.kif 2721-2723
s__domain(s__believes__m,n__1,s__CognitiveAgent)

Merge.kif 2718-2718 The number 1 argument of believes is an instance of cognitive agent
s__domain(s__believes__m,n__2,s__Formula)

Merge.kif 2719-2719 The number 2 argument of believes is an instance of formula
s__instance(s__believes__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 2716-2716 believes is an instance of binary predicate
s__instance(s__PropositionalAttitude,s__SetOrClass)

s__instance(s__believes__m,s__PropositionalAttitude)

Merge.kif 2715-2715 believes is an instance of propositional attitude
s__subrelation(s__believes__m,s__inScopeOfInterest__m)

Merge.kif 2717-2717 believes is a subrelation of in scope of interest

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


s__format(s__ChineseLanguage,s__believes__m,'"%1 %n{doesnt} believes %2"')

chinese_format.kif 61-61
s__format(s__EnglishLanguage,s__believes__m,'"%1 %n{doesnt} believe%p{s} %2"')

english_format.kif 61-61
s__termFormat(s__ChineseLanguage,s__believes__m,'"相信"')

chinese_format.kif 62-62
s__termFormat(s__ChineseTraditionalLanguage,s__believes__m,'"相信"')

domainEnglishFormat.kif 10687-10687
s__termFormat(s__EnglishLanguage,s__believes__m,'"believes"')

domainEnglishFormat.kif 10686-10686

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2436-2450
No TPTP formula. May not be expressible in strict first order. Weather.kif 2358-2377
No TPTP formula. May not be expressible in strict first order. Weather.kif 2184-2198
No TPTP formula. May not be expressible in strict first order. Weather.kif 2089-2107
No TPTP formula. May not be expressible in strict first order. Weather.kif 484-496
No TPTP formula. May not be expressible in strict first order. Weather.kif 349-366
No TPTP formula. May not be expressible in strict first order. Merge.kif 2725-2728

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 16523-16536
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2653-2662
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 228-235
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 257-270
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2496-2510
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4561-4578
No TPTP formula. May not be expressible in strict first order. Government.kif 2335-2342
No TPTP formula. May not be expressible in strict first order. Weather.kif 2436-2450
No TPTP formula. May not be expressible in strict first order. Weather.kif 2358-2377
No TPTP formula. May not be expressible in strict first order. Merge.kif 10402-10409
No TPTP formula. May not be expressible in strict first order. Merge.kif 11485-11492
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19777-19788
No TPTP formula. May not be expressible in strict first order. Merge.kif 12486-12492
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 865-872
No TPTP formula. May not be expressible in strict first order. emotion.kif 1530-1537
No TPTP formula. May not be expressible in strict first order. emotion.kif 1544-1551
No TPTP formula. May not be expressible in strict first order. Weather.kif 2184-2198
No TPTP formula. May not be expressible in strict first order. Weather.kif 2089-2107
No TPTP formula. May not be expressible in strict first order. Merge.kif 14629-14636
No TPTP formula. May not be expressible in strict first order. Merge.kif 14660-14669
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 212-218
No TPTP formula. May not be expressible in strict first order. Weather.kif 484-496
No TPTP formula. May not be expressible in strict first order. Weather.kif 349-366
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20617-20625
No TPTP formula. May not be expressible in strict first order. Government.kif 2304-2311

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners