| appearance as argument number 1 |
|
| (documentation believes ChineseLanguage "这是信念的知识谓词，(believes ?AGENT ?FORMULA)的 意思是 ?AGENT 相信 ?FORMULA 所表达的命题。") | Merge.kif 3008-3009 | |
| (documentation believes EnglishLanguage "The epistemic predicate of belief. (believes ?AGENT ?FORMULA) means that ?AGENT believes the proposition expressed by ?FORMULA.") | Merge.kif 3005-3007 | |
| (domain believes 1 CognitiveAgent) | Merge.kif 3003-3003 | 相信 的 1 数量 是 有认知的主事 的 instance |
| (domain believes 2 Formula) | Merge.kif 3004-3004 | 相信 的 2 数量 是 公式 的 instance |
| (instance believes BinaryPredicate) | Merge.kif 3001-3001 | 相信 是 二元谓语 的 instance |
| (instance believes PropositionalAttitude) | Merge.kif 3000-3000 | 相信 是 命题态度 的 instance |
| (subrelation believes inScopeOfInterest) | Merge.kif 3002-3002 | 相信 是 感兴趣 的 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 57-57 | |
| (termFormat ChineseLanguage believes "相信") | chinese_format.kif 62-62 | termFormat ChineseLanguage, 相信 and "相信" |
| (termFormat EnglishLanguage believes "believes") | domainEnglishFormat.kif 2204-2204 | termFormat EnglishLanguage, 相信 and "believes" |
| antecedent |
|
|
| (=> (believes ?AGENT ?FORMULA) (exists (?TIME) (holdsDuring ?TIME (considers ?AGENT ?FORMULA)))) |
Merge.kif 3011-3014 |
| 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 17696-17709 | |
| (=> (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 4552-4569 |
|
| (=> (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 10833-10840 | |
| (=> (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 12009-12016 | |
| (=> (and (instance ?STATE Stating) (agent ?STATE ?AGENT) (patient ?STATE ?FORMULA) (instance ?FORMULA Formula)) (holdsDuring (WhenFn ?STATE) (believes ?AGENT ?FORMULA))) |
Merge.kif 13099-13105 | |
| (=> (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 ?TEXT ?CLASS) (subclass ?CLASS FactualText) (authors ?AGENT ?CLASS) (subsumesContentInstance ?TEXT ?CONTENT) (instance ?CONTENT Formula)) (believes ?AGENT ?CONTENT)) |
Merge.kif 15504-15511 |
|
| (=> (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 15538-15547 |
|
| (=> (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 19900-19908 | |
| (=> (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 25127-25131 |
|
| (=> (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 7120-7122 | |
| (=> (enemy ?AGENT1 ?AGENT2) (and (believes ?AGENT1 (attribute ?AGENT2 Enemy)) (believes ?AGENT2 (attribute ?AGENT1 Enemy)))) |
MilitaryProcesses.kif 2430-2436 |
|
| (=> (holdsDuring ?T1 (expects ?AGENT ?FORMULA)) (and (holdsDuring ?T1 (believes ?AGENT (holdsDuring ?T2 ?FORMULA))) (earlier ?T1 ?T2))) |
Mid-level-ontology.kif 7084-7088 |
|
| (=> (instance ?GROUP BeliefGroup) (exists (?BELIEF) (forall (?MEMB) (=> (member ?MEMB ?GROUP) (believes ?MEMB ?BELIEF))))) |
Merge.kif 16848-16854 | |
| (=> (instance ?PRETEND Pretending) (exists (?PERSON ?PROP) (and (hasPurpose ?PRETEND (believes ?PERSON ?PROP)) (truth ?PROP False)))) |
Merge.kif 12963-12968 | |
| (=> (knows ?AGENT ?FORMULA) (believes ?AGENT ?FORMULA)) |
Merge.kif 3030-3032 | |
| 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