believes |
(=> (and (instance ?X SuicideBombing) (agent ?X ?P)) (believes ?P (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?P Dead)))) |
Mid-level-ontology.kif 22111-22119 | |
(=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY PoliticalParty) (instance ?INST ?PLATFORM) (containsFormula ?INST ?P)) (believes ?PARTY ?P)) |
Government.kif 2331-2338 |
|
(=> (approves ?AGENT1 ?AGENT2) (exists (?PROP) (believes ?AGENT1 (conforms ?AGENT2 ?PROP)))) |
Mid-level-ontology.kif 26953-26957 | |
(=> (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 1939-1945 | |
(=> (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 7416-7418 | |
(=> (enemy ?AGENT1 ?AGENT2) (and (believes ?AGENT1 (attribute ?AGENT2 Enemy)) (believes ?AGENT2 (attribute ?AGENT1 Enemy)))) |
MilitaryProcesses.kif 2463-2469 | |
(=> (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 3821-3829 | |
(=> (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 16411-16427 |
|
(=> (holdsDuring ?T1 (expects ?AGENT ?FORMULA)) (exists (?T2) (and (holdsDuring ?T1 (believes ?AGENT (holdsDuring ?T2 ?FORMULA))) (earlier ?T1 ?T2)))) |
Merge.kif 10595-10603 | |
(=> (instance ?GROUP BeliefGroup) (exists (?BELIEF) (forall (?MEMB) (=> (member ?MEMB ?GROUP) (believes ?MEMB ?BELIEF))))) |
Merge.kif 16596-16602 | |
(=> (instance ?PRETEND Pretending) (exists (?PERSON ?PROP) (and (hasPurpose ?PRETEND (believes ?PERSON ?PROP)) (truth ?PROP False)))) |
Merge.kif 13027-13032 | |
(=> (knows ?AGENT ?FORMULA) (believes ?AGENT ?FORMULA)) |
Merge.kif 2834-2836 | |
(=> (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 9652-9665 |
|
(=> (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 3061-3068 |
|
(=> (pathologyCandidate ?H ?D) (exists (?DOC ?DI) (and (instance ?DI ?D) (believes ?DOC (modalAttribute (experiencer ?D ?H) Possibility))))) |
Medicine.kif 1954-1962 | |
(=> (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 |