Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Certificate
|
|
|
| appearance as argument number 1 |
|
|
| (instance Necessity AlethicAttribute) | Merge.kif 17761-17761 | Necessity is an instance of alethic attribute |
| (documentation Necessity EnglishLanguage "Attribute that applies to Propositions that are necessary, i.e. true in every possible world.") | Merge.kif 17762-17763 | Necessity is an instance of alethic attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (<=> (modalAttribute ?FORMULA Necessity) (not (modalAttribute (not ?FORMULA) Possibility))) |
Merge.kif 17765-17769 | The statement X has the modal force of necessity if and only if the statement X doesn't have the modal force of possibility |
| (=> (modalAttribute ?FORMULA Necessity) (modalAttribute ?FORMULA Possibility)) |
Merge.kif 17771-17773 | If the statement X has the modal force of necessity, then the statement X has the modal force of possibility |
| (=> (and (instance ?AGENT AutonomousAgent) (potentialCustomer ?CUST ?AGENT) (modalAttribute (and (instance ?R Reserving) (destination ?R ?AGENT)) Necessity) (conditionalProbability (exists (?RES1) (and (instance ?RES1 Reservation) (reservingEntity ?CUST ?RES1) (fulfillingEntity ?AGENT ?RES1))) (customer ?CUST ?AGENT) ?NUM1) (conditionalProbability (not (exists (?RES2) (and (instance ?RES2 Reservation) (reservingEntity ?CUST ?RES2) (fulfillingEntity ?AGENT ?RES2)))) (customer ?CUST ?AGENT) ?NUM2)) (lessThan ?NUM2 ?NUM1)) |
Dining.kif 772-795 | If X is an instance of agent, Y is a potential customer for X, the statement Z is an instance of reserving and Z ends up at X has the modal force of necessity, probability of there exists W such that W is an instance of reservation, Y reserves W, and X fulfills W provided that X is a customer of Y holds is V, and probability of there doesn't exist U such that U is an instance of reservation, Y reserves U, and X fulfills U provided that X is a customer of Y holds is T, then T is less than V |
| consequent |
|
|
| (=> (instance ?L Longgun) (hasPurpose ?L (exists (?S ?A) (and (instance ?S Shooting) (instrument ?S ?L) (agent ?S ?A) (instance ?A Human) (holdsDuring (WhenFn ?S) (exists (?G) (and (instance ?G Grabbing) (agent ?G ?A) (patient ?G ?L) (modalAttribute (exists (?H1 ?H2) (and (instance ?H1 Hand) (part ?H1 ?A) (instance ?H2 Hand) (part ?H2 ?A) (not (equal ?H1 ?H2)) (instrument ?G ?H1) (instrument ?G ?H2))) Necessity)))))))) |
Mid-level-ontology.kif 1966-1992 | If X is an instance of long gun, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of shooting (3) X is an instrument for Y (4) Z is an agent of Y (5) Z is an instance of human (6) there exists W such that W is an instance of grabbing (7) Z is an agent of W (8) X is a patient of W (9) the statement there exist V (10) U such that V is an instance of hand (11) V is a part of Z (12) U is an instance of hand (13) U is a part of Z (14) equal V (15) U (16) V is an instrument for W (17) U is an instrument for W has the modal force of necessity holds during the time of existence of Y |
| (=> (instance ?GUN Handgun) (hasPurpose ?GUN (exists (?MAN ?S ?H ?G ?S) (and (instance ?MAN Human) (instance ?S Shooting) (instrument ?S ?GUN) (agent ?S ?MAN) (instance ?G Grabbing) (subProcess ?G ?S) (patient ?G ?GUN) (agent ?G ?MAN) (instrument ?G ?H) (instance ?H Hand) (part ?H ?MAN) (not (modalAttribute (exists (?H2) (and (instance ?H2 Hand) (not (equal ?H ?H2)) (part ?H2 ?MAN) (instrument ?G ?H2))) Necessity)))))) |
Mid-level-ontology.kif 2045-2069 | If X is an instance of hand gun, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) Z such that Y is an instance of human (3) Z is an instance of shooting (4) X is an instrument for Z (5) Y is an agent of Z (6) V is an instance of grabbing (7) V is a subprocess of Z (8) X is a patient of V (9) Y is an agent of V (10) W is an instrument for V (11) W is an instance of hand (12) W is a part of Y (13) the statement there doesn't exist U such that U is an instance of hand (14) equal W (15) U (16) U is a part of Y (17) U is an instrument for V doesn't have the modal force of necessity |
| (=> (attribute ?ORG Greedy) (exists (?OBJ) (and (instance ?ORG Organism) (instance ?OBJ Physical) (desires ?ORG (possesses ?ORG ?OBJ)) (not (modalAttribute (possesses ?ORG ?OBJ) Necessity))))) |
Mid-level-ontology.kif 21732-21740 | If greedy is an attribute of X, then there exists Y such that X is an instance of organism, Y is an instance of physical, X desires X possesses Y, and the statement X doesn't possess Y doesn't have the modal force of necessity |
| (=> (instance ?X PartInspection) (hasPurpose ?X (exists (?O ?P) (and (instance ?O SelfConnectedObject) (patient ?X ?O) (instance ?P Proposition) (refers ?P ?O) (modalAttribute (conforms ?O ?P) Necessity))))) |
Economy.kif 2067-2077 | If X is an instance of part inspection, then X has the purpose there exist Y, Z such that Y is an instance of self connected object, Y is a patient of X, Z is an instance of proposition, Z includes a reference to Y, and the statement Y conforms to Z has the modal force of necessity |
| (=> (holdsDuring ?T (attribute ?H RectalTenesmus)) (holdsDuring ?T (and (desires ?H (exists (?D) (and (instance ?D Defecation) (agent ?D ?H)))) (not (modalAttribute (exists (?D) (and (instance ?D Defecation) (agent ?D ?H))) Necessity))))) |
Medicine.kif 5131-5146 | If rectal tenesmus is an attribute of X holds during Y, then X desires there exists Z such that Z is an instance of defecation, X is an agent of Z, the statement there doesn't exist Z such that Z is an instance of defecation, and X is an agent of Z doesn't have the modal force of necessity holds during Y |
| (=> (and (instance ?H Human) (instance ?A AwardingADegree) (instance ?D (HonoraryDegreeFn ?FIELDOFSTUDY ?SCHOOL)) (patient ?A ?D) (destination ?A ?H) (agent ?A ?SCHOOL) (instance ?INTERVAL TimeInterval)) (and (not (modalAttribute (holdsDuring ?INTERVAL (attends ?S ?SCHOOL)) Necessity)) (modalAttribute (attribute ?H Student) Unlikely))) |
LinkedInDegrees.kif 117-132 | If All of the following hold: (1) X is an instance of human (2) Y is an instance of awarding a degree (3) Z is an instance of honorary degree W and V (4) Z is a patient of Y (5) Y ends up at X (6) V is an agent of Y (7) U is an instance of timeframe, then the statement V attends T doesn't hold during U doesn't have the modal force of necessity and the statement student is an attribute of X has the modal force of unlikely |
|