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


(documentation believes ChineseLanguage "这是信念的知识谓词，(believes ?AGENT ?FORMULA)的 意思是 ?AGENT 相信 ?FORMULA 所表达的命题。") chinese_format.kif 1941-1942
(documentation believes EnglishLanguage "The epistemic predicate of belief. (believes ?AGENT ?FORMULA) means that ?AGENT believes the proposition expressed by ?FORMULA.") Merge.kif 2800-2802
(documentation believes JapaneseLanguage "信念の認識的述語。(believes ?AGENT ?FORMULA) とは、AGENT が?FORMULA によって表される命題を信じていることを意味する。") japanese_format.kif 571-572
(domain believes 1 CognitiveAgent) Merge.kif 2797-2797
(domain believes 2 Formula) Merge.kif 2798-2798
(instance believes BinaryPredicate) Merge.kif 2795-2795
(instance believes PropositionalAttitude) Merge.kif 2794-2794
(subrelation believes inScopeOfInterest) Merge.kif 2796-2796

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 61-61
(format FrenchLanguage believes "%1 %n{ne} croit %n{pas} %2") french_format.kif 57-57
(format JapaneseLanguage believes "%1 は %2 を believe%p{s} %n{ない}") japanese_format.kif 1879-1879
(format PortugueseLanguage believes "%1 acredita que %2") portuguese_format.kif 9-9
(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 ro believes "%1 %n{nu} believe%t{crede} %2") relations-ro.kif 76-76
(format sv believes "%1 believe %n{inte} %2") relations-sv.txt 56-56
(format tg believes "%1 %n naniniwala %2") relations-tg.txt 88-88
(termFormat ChineseLanguage believes "相信") chinese_format.kif 62-62
(termFormat ChineseTraditionalLanguage believes "相信") domainEnglishFormat.kif 10683-10683
(termFormat EnglishLanguage believes "believes") domainEnglishFormat.kif 10682-10682
(termFormat de believes "glaubt") terms-de.txt 17-17
(termFormat tg believes "naniniwala") relations-tg.txt 89-89

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


(=>
    (and
        (instance ?H Hurricane)
        (instance ?SS SSHWS5)
        (eventLocated ?H ?AREA)
        (believes ?A
            (property ?H ?SS)))
    (exists (?WIND)
        (and
            (greaterThan ?WIND 157.0)
            (believes ?A
                (equal
                    (MeasureFn ?WIND MilesPerHour)
                    (Mean1MinuteWindSpeedFn ?AREA
                        (WhenFn ?H)))))))		 Weather.kif 2443-2457
(=>
    (and
        (instance ?H Hurricane)
        (instance ?SS SSHWSAttribute)
        (eventLocated ?H ?AREA)
        (believes ?A
            (property ?H ?SS))
        (speedScaleAttributeMinMax ?SS
            (MeasureFn ?MIN ?U)
            (MeasureFn ?MAX ?U))
        (instance ?U UnitOfMeasure))
    (exists (?WIND)
        (and
            (greaterThanOrEqualTo ?WIND ?MIN)
            (lessThanOrEqualTo ?WIND ?MAX)
            (believes ?A
                (equal
                    (MeasureFn ?WIND ?U)
                    (Mean1MinuteWindSpeedFn ?AREA
                        (WhenFn ?H)))))))		 Weather.kif 2365-2384
(=>
    (and
        (instance ?T Tornado)
        (instance ?EF EF5)
        (eventLocated ?T ?AREA)
        (believes ?A
            (property ?T ?EF)))
    (exists (?GUST)
        (and
            (greaterThan ?GUST 200.0)
            (believes ?A
                (equal
                    (MeasureFn ?GUST MilesPerHour)
                    (ThreeSecondGustSpeedFn ?AREA
                        (WhenFn ?T)))))))		 Weather.kif 2191-2205
(=>
    (and
        (instance ?T Tornado)
        (instance ?EF EFScaleAttribute)
        (eventLocated ?T ?AREA)
        (believes ?A
            (property ?T ?EF))
        (speedScaleAttributeMinMax ?EF
            (MeasureFn ?MIN MilesPerHour)
            (MeasureFn ?MAX MilesPerHour)))
    (exists (?GUST)
        (and
            (greaterThanOrEqualTo ?GUST ?MIN)
            (lessThanOrEqualTo ?GUST ?MAX)
            (believes ?A
                (equal
                    (MeasureFn ?GUST MilesPerHour)
                    (ThreeSecondGustSpeedFn ?AREA
                        (WhenFn ?T)))))))		 Weather.kif 2096-2114
(=>
    (and
        (instance ?W Wind)
        (instance ?BN BeaufortNumber12)
        (eventLocated ?W ?AREA)
        (believes ?A
            (property ?W ?BN)))
    (exists (?SPEED)
        (and
            (greaterThan ?SPEED 73.0)
            (believes ?A
                (surfaceWindSpeed ?AREA
                    (MeasureFn ?SPEED MilesPerHour))))))		 Weather.kif 484-496
(=>
    (and
        (instance ?W Wind)
        (instance ?BN BeaufortNumberAttribute)
        (eventLocated ?W ?AREA)
        (believes ?A
            (property ?W ?BN))
        (speedScaleAttributeMinMax ?BN
            (MeasureFn ?MIN ?U)
            (MeasureFn ?MAX ?U))
        (instance ?U UnitOfMeasure))
    (exists (?SPEED)
        (and
            (greaterThanOrEqualTo ?SPEED ?MIN)
            (lessThanOrEqualTo ?SPEED ?MAX)
            (believes ?A
                (surfaceWindSpeed ?AREA
                    (MeasureFn ?SPEED ?U))))))		 Weather.kif 349-366
(=>
    (believes ?AGENT ?FORMULA)
    (exists (?TIME)
        (holdsDuring ?TIME
            (considers ?AGENT ?FORMULA))))		 Merge.kif 2804-2807

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 17217-17230
(=>
    (and
        (instance ?D Demonstration)
        (agent ?D ?G)
        (member ?A1 ?G)
        (member ?A2 ?G))
    (exists (?P)
        (and
            (believes ?A1 ?P)
            (believes ?A2 ?P))))		 MilitaryProcesses.kif 2673-2682
(=>
    (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 ?ENEMY)
        (and
            (instance ?PRET Pretending)
            (agent ?PRET ?AGENT)
            (patient ?PRET ?ENEMY)
            (hasPurpose ?PRET
                (believes ?ENEMY
                    (not
                        (exists (?EF0)
                            (equal ?EF0 ?EF))))))))		 MilitaryProcesses.kif 257-270
(=>
    (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 2516-2530
(=>
    (and
        (instance ?EVP Process)
        (instance ?AGENT AutonomousAgent)
        (instance ?EXP Experimenting)
        (treatedUser ?AGENT ?EXP)
        (experimentalVariableProcess ?EXP ?EVP)
        (experiencer ?PROC ?AGENT)
        (experiencer ?EVP ?AGENT)
        (exclusiveEvent ?EXP ?PROC))
    (exists (?EXPERIMENTER)
        (and
            (instance ?EXPERIMENTER AutonomousAgent)
            (experimenter ?EXP ?EXPERIMENTER)
            (believes ?EXPERIMENTER
                (modalAttribute
                    (causes ?EVP ?PROC) Likely)))))		 UXExperimentalTerms.kif 4563-4580
(=>
    (and
        (instance ?GROUP PoliticalPressureGroup)
        (hasPurpose ?GROUP ?FORMULA)
        (agentOperatesInArea ?GROUP ?AREA)
        (instance ?AREA Nation))
    (desires ?GROUP
        (believes
            (GovernmentFn ?AREA) ?FORMULA)))		 Government.kif 2362-2369
(=>
    (and
        (instance ?H Hurricane)
        (instance ?SS SSHWS5)
        (eventLocated ?H ?AREA)
        (believes ?A
            (property ?H ?SS)))
    (exists (?WIND)
        (and
            (greaterThan ?WIND 157.0)
            (believes ?A
                (equal
                    (MeasureFn ?WIND MilesPerHour)
                    (Mean1MinuteWindSpeedFn ?AREA
                        (WhenFn ?H)))))))		 Weather.kif 2443-2457
(=>
    (and
        (instance ?H Hurricane)
        (instance ?SS SSHWSAttribute)
        (eventLocated ?H ?AREA)
        (believes ?A
            (property ?H ?SS))
        (speedScaleAttributeMinMax ?SS
            (MeasureFn ?MIN ?U)
            (MeasureFn ?MAX ?U))
        (instance ?U UnitOfMeasure))
    (exists (?WIND)
        (and
            (greaterThanOrEqualTo ?WIND ?MIN)
            (lessThanOrEqualTo ?WIND ?MAX)
            (believes ?A
                (equal
                    (MeasureFn ?WIND ?U)
                    (Mean1MinuteWindSpeedFn ?AREA
                        (WhenFn ?H)))))))		 Weather.kif 2365-2384
(=>
    (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 10845-10852
(=>
    (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 11990-11997
(=>
    (and
        (instance ?N Nausea)
        (experiencer ?N ?H))
    (believes ?H
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?N))
            (exists (?V)
                (and
                    (instance ?V Vomiting)
                    (experiencer ?V ?H))))))		 Mid-level-ontology.kif 21262-21273
(=>
    (and
        (instance ?STATE Stating)
        (agent ?STATE ?AGENT)
        (patient ?STATE ?FORMULA)
        (instance ?FORMULA Formula))
    (holdsDuring
        (WhenFn ?STATE)
        (believes ?AGENT ?FORMULA)))		 Merge.kif 13033-13039
(=>
    (and
        (instance ?STATE TellingALie)
        (agent ?STATE ?AGENT)
        (patient ?STATE ?STATEMENT))
    (holdsDuring
        (WhenFn ?STATE)
        (believes ?AGENT
            (truth ?STATEMENT False))))		 Mid-level-ontology.kif 894-901
(=>
    (and
        (instance ?T TemperatureFallingExperiencedAsFeelingCold)
        (located ?T ?L)
        (experiencer ?T ?A))
    (holdsDuring
        (WhenFn ?T)
        (believes ?A
            (attribute ?L ColdTemperature))))		 emotion.kif 1551-1558
(=>
    (and
        (instance ?T TemperatureRisingExperiencedAsFeelingWarm)
        (located ?T ?L)
        (experiencer ?T ?A))
    (holdsDuring
        (WhenFn ?T)
        (believes ?A
            (attribute ?L WarmTemperature))))		 emotion.kif 1569-1576
(=>
    (and
        (instance ?T Tornado)
        (instance ?EF EF5)
        (eventLocated ?T ?AREA)
        (believes ?A
            (property ?T ?EF)))
    (exists (?GUST)
        (and
            (greaterThan ?GUST 200.0)
            (believes ?A
                (equal
                    (MeasureFn ?GUST MilesPerHour)
                    (ThreeSecondGustSpeedFn ?AREA
                        (WhenFn ?T)))))))		 Weather.kif 2191-2205
(=>
    (and
        (instance ?T Tornado)
        (instance ?EF EFScaleAttribute)
        (eventLocated ?T ?AREA)
        (believes ?A
            (property ?T ?EF))
        (speedScaleAttributeMinMax ?EF
            (MeasureFn ?MIN MilesPerHour)
            (MeasureFn ?MAX MilesPerHour)))
    (exists (?GUST)
        (and
            (greaterThanOrEqualTo ?GUST ?MIN)
            (lessThanOrEqualTo ?GUST ?MAX)
            (believes ?A
                (equal
                    (MeasureFn ?GUST MilesPerHour)
                    (ThreeSecondGustSpeedFn ?AREA
                        (WhenFn ?T)))))))		 Weather.kif 2096-2114
(=>
    (and
        (instance ?TEXT ?CLASS)
        (subclass ?CLASS FactualText)
        (authors ?AGENT ?CLASS)
        (subsumesContentInstance ?TEXT ?CONTENT)
        (instance ?CONTENT Formula))
    (believes ?AGENT ?CONTENT))		 Merge.kif 15284-15291
(=>
    (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 15315-15324
(=>
    (and
        (instance ?THREATEN Threatening)
        (patient ?THREATEN ?PROP)
        (destination ?THREATEN ?DEST))
    (believes ?DEST
        (attribute ?PROP Dangerous)))		 MilitaryPersons.kif 212-218
(=>
    (and
        (instance ?W Wind)
        (instance ?BN BeaufortNumber12)
        (eventLocated ?W ?AREA)
        (believes ?A
            (property ?W ?BN)))
    (exists (?SPEED)
        (and
            (greaterThan ?SPEED 73.0)
            (believes ?A
                (surfaceWindSpeed ?AREA
                    (MeasureFn ?SPEED MilesPerHour))))))		 Weather.kif 484-496
(=>
    (and
        (instance ?W Wind)
        (instance ?BN BeaufortNumberAttribute)
        (eventLocated ?W ?AREA)
        (believes ?A
            (property ?W ?BN))
        (speedScaleAttributeMinMax ?BN
            (MeasureFn ?MIN ?U)
            (MeasureFn ?MAX ?U))
        (instance ?U UnitOfMeasure))
    (exists (?SPEED)
        (and
            (greaterThanOrEqualTo ?SPEED ?MIN)
            (lessThanOrEqualTo ?SPEED ?MAX)
            (believes ?A
                (surfaceWindSpeed ?AREA
                    (MeasureFn ?SPEED ?U))))))		 Weather.kif 349-366
(=>
    (and
        (instance ?X SuicideBombing)
        (agent ?X ?P))
    (believes ?P
        (holdsDuring
            (FutureFn
                (WhenFn ?X))
            (attribute ?P Dead))))		 Mid-level-ontology.kif 22191-22199
(=>
    (and
        (subclass ?PLATFORM PartyPlatform)
        (authors ?PARTY ?PLATFORM)
        (instance ?PARTY PoliticalParty)
        (instance ?INST ?PLATFORM)
        (containsInformation ?INST ?PROP))
    (believes ?PARTY ?PROP))		 Government.kif 2331-2338

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