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. Merge.kif 4532-4533
No TPTP formula. May not be expressible in strict first order. Merge.kif 4528-4530
No TPTP formula. May not be expressible in strict first order. Merge.kif 4535-4536
No TPTP formula. May not be expressible in strict first order. Merge.kif 4525-4525 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 4526-4526 The number 2 argument of believes is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 4523-4523 believes is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 4522-4522 believes is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order. Merge.kif 4524-4524 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 65-65
No TPTP formula. May not be expressible in strict first order. english_format.kif 66-66
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 62-62 "相信" is the printable form of believes in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10626-10626 "相信" is the printable form of believes in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10625-10625 "believes" is the printable form of believes in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4539-4542

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 22068-22081
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2640-2649
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 248-261
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2483-2497
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4552-4569
No TPTP formula. May not be expressible in strict first order. Government.kif 2309-2316
No TPTP formula. May not be expressible in strict first order. Merge.kif 14868-14875
No TPTP formula. May not be expressible in strict first order. Merge.kif 16373-16380
No TPTP formula. May not be expressible in strict first order. Merge.kif 17470-17476
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1311-1318
No TPTP formula. May not be expressible in strict first order. emotion.kif 1517-1524
No TPTP formula. May not be expressible in strict first order. emotion.kif 1531-1538
No TPTP formula. May not be expressible in strict first order. Merge.kif 19876-19883
No TPTP formula. May not be expressible in strict first order. Merge.kif 19910-19919
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. Mid-level-ontology.kif 19901-19909
No TPTP formula. May not be expressible in strict first order. Government.kif 2278-2285
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25128-25132
No TPTP formula. May not be expressible in strict first order. People.kif 744-748
No TPTP formula. May not be expressible in strict first order. Law.kif 462-470
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7121-7123
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2430-2436
No TPTP formula. May not be expressible in strict first order. emotion.kif 1027-1038
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7085-7089

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners