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 2759-2761
No TPTP formula. May not be expressible in strict first order. Merge.kif 2756-2756 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 2757-2757 The number 2 argument of believes is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2754-2754 believes is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2753-2753 believes is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order. Merge.kif 2755-2755 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 2763-2766

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17085-17098
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 10755-10762
No TPTP formula. May not be expressible in strict first order. Merge.kif 11875-11882
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20751-20762
No TPTP formula. May not be expressible in strict first order. Merge.kif 12902-12908
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 887-894
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 15131-15138
No TPTP formula. May not be expressible in strict first order. Merge.kif 15162-15171
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 21592-21600
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 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