(=>
(recordForAgreement ?CBP ?A)
(not
(exists (?P)
(and
(not
(equal ?P ?A))
(not
(abstractPart ?P ?A))
(containsInformation ?CBP ?P))))) |
Law.kif 485-494 |
If X is the record of Y, then there doesn't exist Z such that equal Z, Y, Z is not a part of Y, and X contains information Z |
(=>
(and
(partyToAgreement ?A1 ?AG)
(instance ?PROC IntentionalProcess)
(result ?PROC ?DOC)
(recordForAgreement ?DOC ?AG)
(attribute ?AG Legal))
(holdsDuring
(WhenFn ?PROC)
(attribute ?A1 Sober))) |
Law.kif 496-505 |
If X is a party to agreement of Y, Z is an instance of intentional process, W is a result of Z, W is the record of X, and legal is an attribute of X, then sober is an attribute of Y holds during the time of existence of Z |
(=>
(and
(instance ?PROC IntentionalProcess)
(result ?PROC ?DOC)
(recordForAgreement ?DOC ?AG)
(attribute ?AG Legal))
(exists (?O ?A ?A1 ?A2)
(and
(instance ?O Offering)
(instance ?A ReachingAgreement)
(refers ?O ?AG)
(refers ?A ?AG)
(agent ?O ?A1)
(agent ?A ?A2)
(earlier
(WhenFn ?O)
(WhenFn ?A))))) |
Law.kif 507-521 |
If X is an instance of intentional process, Y is a result of X, Y is the record of Z, and legal is an attribute of Z, then All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of offering (3) V is an instance of reaching agreement (4) W includes a reference to Z (5) V includes a reference to Z (6) U is an agent of W (7) T is an agent of V (8) the time of existence of W happens earlier than the time of existence of V |
(=>
(and
(partyToAgreement ?A1 ?AG)
(instance ?PROC IntentionalProcess)
(located ?PROC ?LOC)
(instance ?LOC Nation)
(located ?PROC ?LOC2)
(instance ?LOC2 GeopoliticalArea)
(ageOfMajorityForProcess
(MeasureFn ?N2 YearDuration) ?LOC ?PROC)
(result ?PROC ?DOC)
(recordForAgreement ?DOC ?AG)
(holdsDuring
(WhenFn ?PROC)
(and
(age ?A1
(MeasureFn ?N3 YearDuration))
(greaterThan ?N3 ?N2))))
(attribute ?AG Legal)) |
Law.kif 535-552 |
If All of the following hold: (1) X is a party to agreement of Y (2) Z is an instance of intentional process (3) Z is located at W (4) W is an instance of nation (5) Z is located at V (6) V is an instance of geopolitical area (7) U year duration(s) is the age of majority for Z in W (8) T is a result of Z (9) T is the record of X (10) the age of Y is S year duration(s) and S is greater than U holds during the time of existence of Z, then legal is an attribute of X |
(=>
(and
(partyToAgreement ?A1 ?AG)
(instance ?PROC IntentionalProcess)
(located ?PROC ?LOC)
(instance ?LOC GeopoliticalArea)
(ageOfMajorityForProcess
(MeasureFn ?N YearDuration) ?LOC ?PROC)
(result ?PROC ?DOC)
(recordForAgreement ?DOC ?AG)
(attribute ?AG Legal))
(holdsDuring
(WhenFn ?PROC)
(and
(age ?A1
(MeasureFn ?N2 YearDuration))
(greaterThan ?N2 ?N)))) |
Law.kif 554-569 |
If All of the following hold: (1) X is a party to agreement of Y (2) Z is an instance of intentional process (3) Z is located at W (4) W is an instance of geopolitical area (5) V year duration(s) is the age of majority for Z in W (6) U is a result of Z (7) U is the record of X (8) legal is an attribute of X, then the age of Y is T year duration(s) and T is greater than V holds during the time of existence of Z |
recordForAgreement