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
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1941-1942
No TPTP formula. May not be expressible in strict first order. Merge.kif 2718-2720
No TPTP formula. May not be expressible in strict first order. Merge.kif 2715-2715 The number 1 argument of believes is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 2716-2716 The number 2 argument of believes is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2713-2713 believes is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2712-2712 believes is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order. Merge.kif 2714-2714 believes is a subrelation of in scope of interest

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 61-61
No TPTP formula. May not be expressible in strict first order. english_format.kif 61-61
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 62-62
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10696-10696
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10695-10695

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 2722-2725

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16175-16188
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 4558-4575
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 10184-10191
No TPTP formula. May not be expressible in strict first order. Merge.kif 11267-11274
No TPTP formula. May not be expressible in strict first order. Merge.kif 12227-12233
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1312-1319
No TPTP formula. May not be expressible in strict first order. emotion.kif 1529-1536
No TPTP formula. May not be expressible in strict first order. emotion.kif 1543-1550
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 14281-14288
No TPTP formula. May not be expressible in strict first order. Merge.kif 14312-14321
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 19944-19952
No TPTP formula. May not be expressible in strict first order. Government.kif 2304-2311
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25171-25175

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