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

Formal Language: 



KB Term:  Term intersection
English Word: 

  believes

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 2753-2755
No TPTP formula. May not be expressible in strict first order. Merge.kif 2750-2750 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 2751-2751 The number 2 argument of believes is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2748-2748 believes is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2747-2747 believes is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order. Merge.kif 2749-2749 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 10687-10687
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10686-10686

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2442-2456
No TPTP formula. May not be expressible in strict first order. Weather.kif 2364-2383
No TPTP formula. May not be expressible in strict first order. Weather.kif 2190-2204
No TPTP formula. May not be expressible in strict first order. Weather.kif 2095-2113
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 2757-2760

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17079-17092
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2672-2681
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 2515-2529
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 2359-2366
No TPTP formula. May not be expressible in strict first order. Weather.kif 2442-2456
No TPTP formula. May not be expressible in strict first order. Weather.kif 2364-2383
No TPTP formula. May not be expressible in strict first order. Merge.kif 10749-10756
No TPTP formula. May not be expressible in strict first order. Merge.kif 11869-11876
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20747-20758
No TPTP formula. May not be expressible in strict first order. Merge.kif 12896-12902
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 883-890
No TPTP formula. May not be expressible in strict first order. emotion.kif 1551-1558
No TPTP formula. May not be expressible in strict first order. emotion.kif 1569-1576
No TPTP formula. May not be expressible in strict first order. Weather.kif 2190-2204
No TPTP formula. May not be expressible in strict first order. Weather.kif 2095-2113
No TPTP formula. May not be expressible in strict first order. Merge.kif 15125-15132
No TPTP formula. May not be expressible in strict first order. Merge.kif 15156-15165
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 21588-21596
No TPTP formula. May not be expressible in strict first order. Government.kif 2328-2335

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 is open source software produced by Articulate Software and its partners