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


(documentation believes ChineseLanguage "这是信念的知识谓词,(believes ?AGENT ?FORMULA)的 意思是 ?AGENT 相信 ?FORMULA 所表达的命题。") Merge.kif 2985-2986
(documentation believes EnglishLanguage "The epistemic predicate of belief. (believes ?AGENT ?FORMULA) means that ?AGENT believes the proposition expressed by ?FORMULA.") Merge.kif 2982-2984
(domain believes 1 CognitiveAgent) Merge.kif 2980-2980 The number 1 argument of believes is an instance of cognitive agent
(domain believes 2 Formula) Merge.kif 2981-2981 The number 2 argument of believes is an instance of formula
(instance believes BinaryPredicate) Merge.kif 2978-2978 believes is an instance of binary predicate
(instance believes PropositionalAttitude) Merge.kif 2977-2977 believes is an instance of propositional attitude
(subrelation believes inScopeOfInterest) Merge.kif 2979-2979 believes is a subrelation of in scope of interest

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


(format ChineseLanguage believes "%1 %n{doesn't} believes %2") chinese_format.kif 61-61
(format EnglishLanguage believes "%1 %n{doesn't} believe%p{s} %2") english_format.kif 57-57
(format FrenchLanguage believes "%1 %n{ne} croit %n{pas} %2") french_format.kif 57-57
(format PortugueseLanguage believes "%1 acredita que %2") portuguese_format.kif 9-9
(format ar believes "%1 %n{لا} يَعْتَقِد% %2") arabic_format.kif 7-7
(format cb believes "%1 %n mingtuo %2") relations-cb.txt 70-70
(format cz believes "%1 %n{doesn't} believe%p{s} %2") relations-cz.txt 100-100
(format de believes "%1 glaubt %n{nicht}, dass %2") relations-de.txt 68-68
(format hi believes "%1 %2 para vishvaasa %n{nahin} karataa hai") relations-hindi.txt 54-54
(format tg believes "%1 %n naniniwala %2") relations-tg.txt 88-88
(termFormat ChineseLanguage believes "相信") chinese_format.kif 62-62 "相信" is the printable form of believes in ChineseLanguage
(termFormat EnglishLanguage believes "believes") domainEnglishFormat.kif 2204-2204 "believes" is the printable form of believes in english language
(termFormat ar believes "«يَعْتَقِد»") arabic_format.kif 457-457 "«يَعْتَقِد»" is the printable form of believes in ar
(termFormat tg believes "naniniwala") relations-tg.txt 89-89 "naniniwala" is the printable form of believes in tg

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


(=>
    (believes ?AGENT ?FORMULA)
    (exists (?TIME)
        (holdsDuring ?TIME
            (considers ?AGENT ?FORMULA))))
Merge.kif 2988-2991

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


(=>
    (and
        (attribute ?OBJ ?ATR)
        (instance ?ATR SubjectiveAssessmentAttribute))
    (exists (?TIME ?JUDGE ?AGENT)
        (and
            (instance ?JUDGE Judging)
            (agent ?JUDGE ?AGENT)
            (patient ?JUDGE ?OBJ)
            (patient ?JUDGE
                (attribute ?OBJ ?ATR))
            (holdsDuring ?TIME
                (believes ?AGENT
                    (property ?OBJ ?ATR))))))
Merge.kif 17558-17571
(=>
    (and
        (instance ?D Demonstration)
        (agent ?D ?G)
        (member ?A1 ?G)
        (member ?A2 ?G))
    (exists (?P)
        (and
            (believes ?A1 ?P)
            (believes ?A2 ?P))))
MilitaryProcesses.kif 2640-2649
(=>
    (and
        (instance ?DAMAGE Damaging)
        (agent ?DAMAGE ?PROP)
        (destination ?DAMAGE ?DEST)
        (instance ?DEST CognitiveAgent))
    (believes ?DEST
        (attribute ?PROP Dangerous)))
MilitaryPersons.kif 228-235
(=>
    (and
        (instance ?EF Exfiltration)
        (agent ?EF ?AGENT))
    (exists (?PRET)
        (and
            (instance ?PRET Pretending)
            (agent ?PRET ?AGENT)
            (patient ?PRET ?ENEMY)
            (hasPurpose ?PRET
                (believes ?ENEMY
                    (not
                        (exists (?EF0)
                            (equal ?EF0 ?EF))))))))
MilitaryProcesses.kif 248-261
(=>
    (and
        (instance ?EV Evacuation)
        (origin ?EV ?OR)
        (agent ?EV ?A))
    (exists (?P)
        (and
            (instance ?P Process)
            (geographicSubregion ?OR
                (WhereFn ?P
                    (BeginFn
                        (WhenFn ?EV))))
            (causes ?P ?EV)
            (believes ?A
                (attribute ?P Dangerous)))))
MilitaryProcesses.kif 2483-2497
(=>
    (and
        (instance ?EVP Process)
        (instance ?AGENT Agent)
        (instance ?EXP Experimenting)
        (treatedUser ?AGENT ?EXP)
        (experimentalVariableProcess ?EXP ?EVP)
        (experiencer ?PROC ?AGENT)
        (experiencer ?EVP ?AGENT)
        (exclusiveEvent ?EXP ?PROC))
    (exists (?EXPERIMENTER)
        (and
            (instance ?EXPERIMENTER Agent)
            (experimenter ?EXP ?EXPERIMENTER)
            (believes ?EXPERIMENTER
                (modalAttribute
                    (causes ?EVP ?PROC) Likely)))))
UXExperimentalTerms.kif 4553-4570
(=>
    (and
        (instance ?GROUP PoliticalPressureGroup)
        (hasPurpose ?GROUP ?FORMULA)
        (agentOperatesInArea ?GROUP ?AREA)
        (instance ?AREA Nation))
    (desires ?GROUP
        (believes
            (GovernmentFn ?AREA) ?FORMULA)))
Government.kif 2309-2316
(=>
    (and
        (instance ?INTERPRET Interpreting)
        (agent ?INTERPRET ?AGENT)
        (patient ?INTERPRET ?CONTENT)
        (instance ?CONTENT ContentBearingObject))
    (exists (?PROP)
        (holdsDuring
            (EndFn
                (WhenFn ?INTERPRET))
            (believes ?AGENT
                (containsInformation ?CONTENT ?PROP)))))
Merge.kif 10695-10702
(=>
    (and
        (instance ?JUDGE Judging)
        (agent ?JUDGE ?AGENT)
        (patient ?JUDGE ?PROPOSITION))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?JUDGE))
            (not
                (believes ?AGENT ?PROPOSITION)))
        (holdsDuring
            (EndFn
                (WhenFn ?JUDGE))
            (believes ?AGENT ?PROPOSITION))))
Merge.kif 11870-11877
(=>
    (and
        (instance ?STATE Stating)
        (agent ?STATE ?AGENT)
        (patient ?STATE ?FORMULA)
        (instance ?FORMULA Formula))
    (holdsDuring
        (WhenFn ?STATE)
        (believes ?AGENT ?FORMULA)))
Merge.kif 12962-12968
(=>
    (and
        (instance ?STATE TellingALie)
        (agent ?STATE ?AGENT)
        (patient ?STATE ?STATEMENT))
    (holdsDuring
        (WhenFn ?STATE)
        (believes ?AGENT
            (truth ?STATEMENT False))))
Mid-level-ontology.kif 1311-1318
(=>
    (and
        (instance ?T TemperatureFallingExperiencedAsFeelingCold)
        (located ?T ?L)
        (experiencer ?T ?A))
    (holdsDuring
        (WhenFn ?T)
        (believes ?A
            (attribute ?L ColdTemperature))))
emotion.kif 1517-1524
(=>
    (and
        (instance ?T TemperatureRisingExperiencedAsFeelingWarm)
        (located ?T ?L)
        (experiencer ?T ?A))
    (holdsDuring
        (WhenFn ?T)
        (believes ?A
            (attribute ?L WarmTemperature))))
emotion.kif 1531-1538
(=>
    (and
        (instance ?TEXT ?CLASS)
        (subclass ?CLASS FactualText)
        (authors ?AGENT ?CLASS)
        (subsumesContentInstance ?TEXT ?CONTENT)
        (instance ?CONTENT Formula))
    (believes ?AGENT ?CONTENT))
Merge.kif 15367-15374
(=>
    (and
        (instance ?TEXT ?CLASS)
        (subclass ?CLASS FictionalText)
        (authors ?AGENT ?CLASS))
    (exists (?CONTENT)
        (and
            (subsumesContentInstance ?TEXT ?CONTENT)
            (instance ?CONTENT Formula)
            (not
                (believes ?AGENT ?CONTENT)))))
Merge.kif 15401-15410
(=>
    (and
        (instance ?THREATEN Threatening)
        (patient ?THREATEN ?PROP)
        (destination ?THREATEN ?DEST))
    (believes ?DEST
        (attribute ?PROP Dangerous)))
MilitaryPersons.kif 212-218
(=>
    (and
        (instance ?X SuicideBombing)
        (agent ?X ?P))
    (believes ?P
        (holdsDuring
            (FutureFn
                (WhenFn ?X))
            (attribute ?P Dead))))
Mid-level-ontology.kif 19481-19489
(=>
    (and
        (subclass ?PLATFORM PartyPlatform)
        (authors ?PARTY ?PLATFORM)
        (instance ?PARTY PoliticalParty)
        (instance ?INST ?PLATFORM)
        (containsInformation ?INST ?PROP))
    (believes ?PARTY ?PROP))
Government.kif 2278-2285
(=>
    (approves ?AGENT1 ?AGENT2)
    (exists (?PROP)
        (believes ?AGENT1
            (conforms ?AGENT2 ?PROP))))
Mid-level-ontology.kif 24686-24690
(=>
    (attribute ?DEIST Deist)
    (believes ?DEIST
        (exists (?GOD)
            (equal ?GOD God))))
People.kif 744-748
(=>
    (distrusts ?A1 ?A2 ?P)
    (believes ?A1
        (modalAttribute
            (exists (?PI)
                (and
                    (instance ?PI ?P)
                    (agent ?PI ?A2))) Unlikely)))
Law.kif 462-470
(=>
    (doubts ?AGENT ?FORMULA)
    (not
        (believes ?AGENT ?FORMULA)))
Mid-level-ontology.kif 7116-7118
(=>
    (enemy ?AGENT1 ?AGENT2)
    (and
        (believes ?AGENT1
            (attribute ?AGENT2 Enemy))
        (believes ?AGENT2
            (attribute ?AGENT1 Enemy))))
MilitaryProcesses.kif 2430-2436
(=>
    (holdsDuring ?T
        (attribute ?A Fear))
    (believes ?A
        (modalAttribute
            (exists (?P)
                (and
                    (not
                        (wants ?A ?P))
                    (before ?T
                        (WhenFn ?P)))) Likely)))
emotion.kif 1027-1038
(=>
    (holdsDuring ?T1
        (expects ?AGENT ?FORMULA))
    (and
        (holdsDuring ?T1
            (believes ?AGENT
                (holdsDuring ?T2 ?FORMULA)))
        (earlier ?T1 ?T2)))
Mid-level-ontology.kif 7080-7084

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