Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ageOfMajorityForProcess |
| appearance as argument number 1 |
|
| (instance ageOfMajorityForProcess TernaryPredicate) | Law.kif 523-523 | age of majority for process is an instance of ternary predicate |
| (domain ageOfMajorityForProcess 1 TimeDuration) | Law.kif 524-524 | The number 1 argument of age of majority for process is an instance of time duration |
| (domain ageOfMajorityForProcess 2 GeopoliticalArea) | Law.kif 525-525 | The number 2 argument of age of majority for process is an instance of geopolitical area |
| (domain ageOfMajorityForProcess 3 Process) | Law.kif 526-526 | The number 3 argument of age of majority for process is an instance of process |
| (documentation ageOfMajorityForProcess EnglishLanguage "The age at which a Human is allowed under the Law to take responsibility for a particular Process. This could include SigningAnAgreement, Voting, or Buying and AlcoholicBeverage.") | Law.kif 530-533 | The number 3 argument of age of majority for process is an instance of process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ageOfMajorityForProcess "age of majority for process") | Law.kif 527-527 | |
| (format EnglishLanguage ageOfMajorityForProcess "%1 is the age of majority for %3 in %2") | Law.kif 528-528 |
| antecedent |
|
|
| (=> (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 |
|