(=>
(knows ?AGENT ?FORMULA)
(believes ?AGENT ?FORMULA)) |
Merge.kif 2944-2946 |
If X knows Y, then X believes Y |
(=>
(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 11110-11122 |
If X is an instance of interpreting, Y is an agent of X, Z is a patient of X, and Z is an instance of content bearing object, then there exists W such that Y believes Z contains information W holds during the end of the time of existence of X |
(=>
(and
(instance ?DECIDE Deciding)
(agent ?DECIDE ?AGENT)
(instance ?S Set)
(patient ?DECIDE ?S)
(element ?M ?S))
(believes ?AGENT
(exists (?CLASS)
(and
(instance ?M ?CLASS)
(subclass ?CLASS IntentionalProcess)
(capability ?CLASS agent ?AGENT))))) |
Merge.kif 12300-12312 |
If X is an instance of deciding, Y is an agent of X, Z is an instance of set, Z is a patient of X, and W is an element of Z, then Y believes there exists V such that W is an instance of V, V is a subclass of intentional process, and Y is capable of doing V as a agent |
(=>
(and
(instance ?JUDGE Judging)
(agent ?JUDGE ?AGENT)
(containsFormula ?JUDGE ?P))
(and
(holdsDuring
(BeginFn
(WhenFn ?JUDGE))
(not
(believes ?AGENT ?P)))
(holdsDuring
(EndFn
(WhenFn ?JUDGE))
(believes ?AGENT ?P)))) |
Merge.kif 12378-12392 |
If X is an instance of judging, Y is an agent of X, and X contains the formula Z, then Y doesn't believe Z holds during the beginning of the time of existence of X and Y believes Z holds during the end of the time of existence of X |
(=>
(instance ?PRETEND Pretending)
(exists (?PERSON ?PROP)
(and
(hasPurpose ?PRETEND
(believes ?PERSON ?PROP))
(truth ?PROP False)))) |
Merge.kif 13325-13330 |
If X is an instance of pretending, then there exist Y, Z such that X has the purpose Y believes Z, and Z is false |
(=>
(and
(instance ?STATE Stating)
(agent ?STATE ?AGENT)
(containsFormula ?STATE ?FORMULA))
(holdsDuring
(WhenFn ?STATE)
(believes ?AGENT ?FORMULA))) |
Merge.kif 13441-13448 |
If X is an instance of stating, Y is an agent of X, and X contains the formula Z, then Y believes Z holds during the time of existence of X |
(=>
(and
(instance ?TEXT ?CLASS)
(subclass ?CLASS FactualText)
(authors ?AGENT ?CLASS)
(containsFormula ?TEXT ?CONTENT))
(believes ?AGENT ?CONTENT)) |
Merge.kif 15682-15688 |
If X is an instance of Y, Y is a subclass of factual text, Z is the author of Y, and X contains the formula W, then Z believes W |
(=>
(and
(instance ?TEXT ?CLASS)
(subclass ?CLASS FictionalText)
(authors ?AGENT ?CLASS))
(exists (?FORM)
(and
(containsFormula ?TEXT ?FORM)
(not
(believes ?AGENT ?FORM))))) |
Merge.kif 15718-15727 |
If X is an instance of Y, Y is a subclass of fictional text, and Z is the author of Y, then there exists W such that X contains the formula W and Z doesn't believe W |
(=>
(instance ?GROUP BeliefGroup)
(exists (?BELIEF)
(forall (?MEMB)
(=>
(member ?MEMB ?GROUP)
(believes ?MEMB ?BELIEF))))) |
Merge.kif 16953-16959 |
If X is an instance of belief group, then there exists Y such that Z Z is a member of XZ believes Y |
(=>
(and
(instance ?JUDGE Judging)
(agent ?JUDGE ?AGENT)
(patient ?JUDGE ?OBJ))
(exists (?ATR)
(and
(instance ?ATR SubjectiveAssessmentAttribute)
(holdsDuring
(ImmediateFutureFn
(WhenFn ?JUDGE))
(believes ?AGENT
(property ?OBJ ?ATR)))))) |
Merge.kif 17682-17694 |
If X is an instance of judging, Y is an agent of X, and Z is a patient of X, then there exists W such that W is an instance of subjective assessment attribute and Y believes Z the attribute W holds during immediately after the time of existence of X |
(=>
(and
(instance ?STATE TellingALie)
(agent ?STATE ?AGENT)
(patient ?STATE ?STATEMENT))
(holdsDuring
(WhenFn ?STATE)
(believes ?AGENT
(truth ?STATEMENT False)))) |
Mid-level-ontology.kif 912-919 |
If X is an instance of telling a lie, Y is an agent of X, and Z is a patient of X, then Y believes Z is false holds during the time of existence of X |
(=>
(holdsDuring ?T
(fears ?A
(instance ?P Process)))
(believes ?A
(modalAttribute
(holdsDuring
(ImmediateFutureFn ?T)
(exists (?D)
(and
(instance ?D Damaging)
(patient ?D ?A)
(causes ?P ?D)))) Likely))) |
Mid-level-ontology.kif 8696-8708 |
If X fears Y is an instance of process holds during Z, then X believes the statement there exists W such that W is an instance of damaging, X is a patient of W, and Y causes W holds during immediately after Z has the modal force of likely |
(=>
(doubts ?AGENT ?FORMULA)
(not
(believes ?AGENT ?FORMULA))) |
Mid-level-ontology.kif 8736-8738 |
If X is a doubts of Y, then Y doesn't believe X |
(=>
(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 11118-11131 |
If X is medicine for Y, then All of the following hold: (1) there exists Z such that Z is an instance of medical doctor (2) Z believes there exist W, V (3) U such that U is an instance of X (4) W is an instance of therapeutic process (5) V is an instance of human (6) Z is a patient medical of V (7) U is a resource for W (8) V is a beneficiary of W |
(=>
(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 23637-23648 |
If X is an instance of nausea and Y experiences X, then Y believes there exists Z such that Z is an instance of vomiting and Y experiences Z holds during immediately after the time of existence of X |
(=>
(and
(instance ?X SuicideBombing)
(agent ?X ?P))
(believes ?P
(holdsDuring
(FutureFn
(WhenFn ?X))
(attribute ?P Dead)))) |
Mid-level-ontology.kif 24402-24410 |
If X is an instance of suicide bombing and Y is an agent of X, then Y believes dead is an attribute of Y holds during after the time of existence of X |
(=>
(approves ?AGENT1 ?AGENT2)
(exists (?PROP)
(believes ?AGENT1
(conforms ?AGENT2 ?PROP)))) |
Mid-level-ontology.kif 29547-29551 |
If X approves Y, then there exists Z such that X believes Y conforms to Z |
(=>
(member ?COMMUNIST Communism)
(believes ?COMMUNIST
(=>
(and
(instance ?MEANOFPRODUCTION MeanOfProduction)
(attribute ?OBJ ?MEANOFPRODUCTION)
(instance ?COUNTRY GeopoliticalArea)
(located ?OBJ ?COUNTRY))
(element ?OBJ
(PropertyFn
(CitizenryFn ?COUNTRY)))))) |
Economy.kif 880-889 |
If X is a member of communism, then X believes Y is an instance of mean of production, Y is an attribute of Z, W is an instance of geopolitical area, and Z is located at WZ is an element of belongings of the citizenry of W |
(=>
(member ?CAPITALIST Capitalism)
(believes ?CAPITALIST
(exists (?MEANOFPRODUCTION ?OBJ ?COUNTRY ?AA)
(and
(instance ?MEANOFPRODUCTION MeanOfProduction)
(attribute ?OBJ ?MEANOFPRODUCTION)
(instance ?COUNTRY GeopoliticalArea)
(located ?OBJ ?COUNTRY)
(instance ?AA AutonomousAgent)
(element ?OBJ
(PropertyFn ?AA))
(not
(equal ?AA
(CitizenryFn ?COUNTRY))))))) |
Economy.kif 905-917 |
If X is a member of capitalism, then All of the following hold: (1) X believes there exist Y, Z,, , W (2) V such that Y is an instance of mean of production (3) Y is an attribute of Z (4) W is an instance of geopolitical area (5) Z is located at W (6) V is an instance of agent (7) Z is an element of belongings of V (8) equal V (9) the citizenry of W |
(=>
(and
(subclass ?PLATFORM PartyPlatform)
(authors ?PARTY ?PLATFORM)
(instance ?PARTY PoliticalParty)
(instance ?INST ?PLATFORM)
(containsFormula ?INST ?P))
(believes ?PARTY ?P)) |
Government.kif 2301-2308 |
If X is a subclass of party platform, Y is the author of X, Y is an instance of political party, Z is an instance of X, and Z contains the formula W, then Y believes W |
(=>
(and
(instance ?GROUP PoliticalPressureGroup)
(hasPurpose ?GROUP ?FORMULA)
(agentOperatesInArea ?GROUP ?AREA)
(instance ?AREA Nation))
(desires ?GROUP
(believes
(GovernmentFn ?AREA) ?FORMULA))) |
Government.kif 2332-2339 |
If X is an instance of political pressure group, X has the purpose Y, Z is an agent operates in area of X, and Z is an instance of nation, then X desires the government of Z believes Y |
(=>
(trusts ?A1 ?A2 ?P)
(believes ?A1
(modalAttribute
(exists (?PI)
(and
(instance ?PI ?P)
(agent ?PI ?A2))) Possibility))) |
Law.kif 372-380 |
If X trusts Y will do Z, then X believes the statement there exists W such that W is an instance of Z and Y is an agent of W has the modal force of possibility |
(=>
(trusts ?A1 ?A2 ?P)
(believes ?A1
(=>
(and
(instance ?S Stating)
(containsFormula ?S
(and
(instance ?PI ?P)
(agent ?PI ?A2))))
(modalAttribute
(and
(instance ?PI ?P)
(agent ?PI ?A2)) Likely)))) |
Law.kif 382-396 |
If X trusts Y will do Z, then X believes W is an instance of stating, W contains the formula V is an instance of Z, Y is an agent of Vthe statement V is an instance of Z, and Y is an agent of V has the modal force of likely |
(=>
(distrusts ?A1 ?A2 ?P)
(believes ?A1
(modalAttribute
(exists (?PI)
(and
(instance ?PI ?P)
(agent ?PI ?A2))) Unlikely))) |
Law.kif 403-411 |
If X distrusts Y will do Z, then X believes the statement there exists W such that W is an instance of Z and Y is an agent of W has the modal force of unlikely |
(=>
(diseaseCandidate ?H ?D)
(exists (?DOC)
(believes ?DOC
(modalAttribute
(attribute ?H ?D) Possibility)))) |
Medicine.kif 1923-1929 |
If X may have Y, then there exists Z such that Z believes the statement Y is an attribute of X has the modal force of possibility |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
believes