believes

-------------------------


(=>
    (and
        (instance ?X SuicideBombing)
        (agent ?X ?P))
    (believes ?P
        (holdsDuring
            (FutureFn
                (WhenFn ?X))
            (attribute ?P Dead))))		 Mid-level-ontology.kif 23054-23062
(=>
    (and
        (subclass ?PLATFORM PartyPlatform)
        (authors ?PARTY ?PLATFORM)
        (instance ?PARTY PoliticalParty)
        (instance ?INST ?PLATFORM)
        (containsFormula ?INST ?P))
    (believes ?PARTY ?P))		 Government.kif 2293-2300
(=>
    (approves ?AGENT1 ?AGENT2)
    (exists (?PROP)
        (believes ?AGENT1
            (conforms ?AGENT2 ?PROP))))		 Mid-level-ontology.kif 27877-27881
(=>
    (attribute ?DEIST Deist)
    (believes ?DEIST
        (exists (?GOD)
            (equal ?GOD God))))		 People.kif 742-746
(=>
    (diseaseCandidate ?H ?D)
    (exists (?DOC)
        (believes ?DOC
            (modalAttribute
                (attribute ?H ?D) Possibility))))		 Medicine.kif 1927-1933
(=>
    (distrusts ?A1 ?A2 ?P)
    (believes ?A1
        (modalAttribute
            (exists (?PI)
                (and
                    (instance ?PI ?P)
                    (agent ?PI ?A2))) Unlikely)))		 Law.kif 422-430
(=>
    (doubts ?AGENT ?FORMULA)
    (not
        (believes ?AGENT ?FORMULA)))		 Mid-level-ontology.kif 8116-8118
(=>
    (holdsDuring ?T
        (attribute ?A Fear))
    (believes ?A
        (modalAttribute
            (exists (?P)
                (and
                    (not
                        (wants ?A ?P))
                    (before ?T
                        (WhenFn ?P)))) Likely)))		 emotion.kif 1025-1036
(=>
    (holdsDuring ?T
        (attribute ?H Antivaxxer))
    (believes ?H
        (exists (?V ?D)
            (and
                (instance ?V Vaccination)
                (instance ?D Damaging)
                (causes ?V ?D)))))		 Medicine.kif 3809-3817
(=>
    (holdsDuring ?T
        (attribute ?H Dizzy))
    (holdsDuring ?T
        (believes ?H
            (=>
                (exists (?T2)
                    (and
                        (during ?T2 ?T)
                        (holdsDuring ?T2
                            (attribute ?H Standing))))
                (exists (?F)
                    (and
                        (instance ?F Falling)
                        (experiencer ?F ?H)
                        (meetsTemporally ?T2
                            (WhenFn ?F))))))))		 Mid-level-ontology.kif 17267-17283
(=>
    (holdsDuring ?T1
        (expects ?AGENT ?FORMULA))
    (exists (?T2)
        (and
            (holdsDuring ?T1
                (believes ?AGENT
                    (holdsDuring ?T2 ?FORMULA)))
            (earlier ?T1 ?T2))))		 Merge.kif 10654-10662
(=>
    (instance ?GROUP BeliefGroup)
    (exists (?BELIEF)
        (forall (?MEMB)
            (=>
                (member ?MEMB ?GROUP)
                (believes ?MEMB ?BELIEF)))))		 Merge.kif 16688-16694
(=>
    (instance ?PRETEND Pretending)
    (exists (?PERSON ?PROP)
        (and
            (hasPurpose ?PRETEND
                (believes ?PERSON ?PROP))
            (truth ?PROP False))))		 Merge.kif 13098-13103
(=>
    (instance ?WF WeatherForecast)
    (containsInformation ?WF
        (exists (?A)
            (believes ?A
                (exists (?WP)
                    (and
                        (instance ?WP WeatherProcess)
                        (during
                            (ImmediateFutureFn
                                (WhenFn ?WF))
                            (WhenFn ?WP))))))))		 Weather.kif 3191-3201
(=>
    (knows ?AGENT ?FORMULA)
    (believes ?AGENT ?FORMULA))		 Merge.kif 2829-2831
(=>
    (medicine ?MC ?D)
    (exists (?DOC)
        (and
            (instance ?DOC MedicalDoctor)
            (believes ?DOC
                (exists (?T ?H ?M)
                    (and
                        (instance ?M ?MC)
                        (instance ?T TherapeuticProcess)
                        (instance ?H Human)
                        (patientMedical ?H ?DOC)
                        (resource ?T ?M)
                        (benefits ?T ?H)))))))		 Mid-level-ontology.kif 10476-10489
(=>
    (member ?ATHEIST Atheism)
    (believes ?ATHEIST
        (not
            (exists (?GOD)
                (equal ?GOD God)))))		 People.kif 710-715
(=>
    (member ?X AntiVaxxer)
    (believes ?X
        (=>
            (and
                (instance ?V Vaccination)
                (experiencer ?V ?H))
            (suffers ?V ?H))))		 Medicine.kif 3049-3056
(=>
    (pathologyCandidate ?H ?D)
    (exists (?DOC ?DI)
        (and
            (instance ?DI ?D)
            (believes ?DOC
                (modalAttribute
                    (experiencer ?D ?H) Possibility)))))		 Medicine.kif 1942-1950
(=>
    (trusts ?A1 ?A2 ?P)
    (believes ?A1
        (=>
            (exists (?S ?PI ?P)
                (and
                    (instance ?S Stating)
                    (containsFormula ?S
                        (and
                            (instance ?PI ?P)
                            (agent ?PI ?A2)))))
            (modalAttribute
                (and
                    (instance ?PI ?P)
                    (agent ?PI ?A2)) Likely))))		 Law.kif 400-415
(=>
    (trusts ?A1 ?A2 ?P)
    (believes ?A1
        (modalAttribute
            (exists (?PI)
                (and
                    (instance ?PI ?P)
                    (agent ?PI ?A2))) Possibility)))		 Law.kif 390-398
(=>
    (weatherThreat ?CLASS ?G ?A ?TI)
    (exists (?M)
        (believes ?M
            (exists (?I)
                (and
                    (member ?I ?G)
                    (holdsDuring ?TI
                        (exists (?WP)
                            (and
                                (instance ?WP ?CLASS)
                                (eventLocated ?WP ?A))))
                    (not
                        (desires ?I ?WP)))))))		 Weather.kif 3213-3226


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