| 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 2714-2716 | |
| (domain believes 1 CognitiveAgent) | Merge.kif 2711-2711 | 相信 的 1 数量 是 有认知的主事 的 instance |
| (domain believes 2 Formula) | Merge.kif 2712-2712 | 相信 的 2 数量 是 公式 的 instance |
| (instance believes BinaryPredicate) | Merge.kif 2709-2709 | 相信 是 二元谓语 的 instance |
| (instance believes PropositionalAttitude) | Merge.kif 2708-2708 | 相信 是 命题态度 的 instance |
| (subrelation believes inScopeOfInterest) | Merge.kif 2710-2710 | 相信 是 感兴趣 的 subrelation |
| 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 | |
| (termFormat ChineseLanguage believes "相信") | chinese_format.kif 62-62 | |
| (termFormat ChineseTraditionalLanguage believes "相信") | domainEnglishFormat.kif 10626-10626 | |
| (termFormat EnglishLanguage believes "believes") | domainEnglishFormat.kif 10625-10625 |
| antecedent |
|
|
| (=> (believes ?AGENT ?FORMULA) (exists (?TIME) (holdsDuring ?TIME (considers ?AGENT ?FORMULA)))) |
Merge.kif 2718-2721 |
| 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 16096-16109 | |
| (=> (and (instance ?D Demonstration) (agent ?D ?G) (member ?A1 ?G) (member ?A2 ?G)) (exists (?P) (and (believes ?A1 ?P) (believes ?A2 ?P)))) |
MilitaryProcesses.kif 2653-2662 | |
| (=> (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 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 2496-2510 | |
| (=> (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 4558-4575 |
|
| (=> (and (instance ?GROUP PoliticalPressureGroup) (hasPurpose ?GROUP ?FORMULA) (agentOperatesInArea ?GROUP ?AREA) (instance ?AREA Nation)) (desires ?GROUP (believes (GovernmentFn ?AREA) ?FORMULA))) |
Government.kif 2303-2310 | |
| (=> (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 10116-10123 | |
| (=> (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 11202-11209 | |
| (=> (and (instance ?STATE Stating) (agent ?STATE ?AGENT) (patient ?STATE ?FORMULA) (instance ?FORMULA Formula)) (holdsDuring (WhenFn ?STATE) (believes ?AGENT ?FORMULA))) |
Merge.kif 12165-12171 | |
| (=> (and (instance ?STATE TellingALie) (agent ?STATE ?AGENT) (patient ?STATE ?STATEMENT)) (holdsDuring (WhenFn ?STATE) (believes ?AGENT (truth ?STATEMENT False)))) |
Mid-level-ontology.kif 1306-1313 | |
| (=> (and (instance ?T TemperatureFallingExperiencedAsFeelingCold) (located ?T ?L) (experiencer ?T ?A)) (holdsDuring (WhenFn ?T) (believes ?A (attribute ?L ColdTemperature)))) |
emotion.kif 1523-1530 | |
| (=> (and (instance ?T TemperatureRisingExperiencedAsFeelingWarm) (located ?T ?L) (experiencer ?T ?A)) (holdsDuring (WhenFn ?T) (believes ?A (attribute ?L WarmTemperature)))) |
emotion.kif 1537-1544 | |
| (=> (and (instance ?TEXT ?CLASS) (subclass ?CLASS FactualText) (authors ?AGENT ?CLASS) (subsumesContentInstance ?TEXT ?CONTENT) (instance ?CONTENT Formula)) (believes ?AGENT ?CONTENT)) |
Merge.kif 14219-14226 | |
| (=> (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 14250-14259 | |
| (=> (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 19913-19921 | |
| (=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY PoliticalParty) (instance ?INST ?PLATFORM) (containsInformation ?INST ?PROP)) (believes ?PARTY ?PROP)) |
Government.kif 2272-2279 | |
| (=> (approves ?AGENT1 ?AGENT2) (exists (?PROP) (believes ?AGENT1 (conforms ?AGENT2 ?PROP)))) |
Mid-level-ontology.kif 25140-25144 |
|
| (=> (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 466-474 |
|
| (=> (doubts ?AGENT ?FORMULA) (not (believes ?AGENT ?FORMULA))) |
Mid-level-ontology.kif 7121-7123 | |
| (=> (enemy ?AGENT1 ?AGENT2) (and (believes ?AGENT1 (attribute ?AGENT2 Enemy)) (believes ?AGENT2 (attribute ?AGENT1 Enemy)))) |
MilitaryProcesses.kif 2443-2449 |
|
| (=> (holdsDuring ?T (attribute ?A Fear)) (believes ?A (modalAttribute (exists (?P) (and (not (wants ?A ?P)) (before ?T (WhenFn ?P)))) Likely))) |
emotion.kif 1033-1044 | |
| (=> (holdsDuring ?T1 (expects ?AGENT ?FORMULA)) (and (holdsDuring ?T1 (believes ?AGENT (holdsDuring ?T2 ?FORMULA))) (earlier ?T1 ?T2))) |
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