ageOfMajorityForProcess - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ageOfMajorityForProcess

ageOfMajorityForProcess

appearance as argument number 1

(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 597-600
(domain ageOfMajorityForProcess 1 TimeDuration)	Law.kif 591-591	The number 1 argument of age of majority for process is an instance of time duration
(domain ageOfMajorityForProcess 2 GeopoliticalArea)	Law.kif 592-592	The number 2 argument of age of majority for process is an instance of geopolitical area
(domainSubclass ageOfMajorityForProcess 3 Process)	Law.kif 593-593	The number 3 argument of age of majority for process is a subclass of process
(instance ageOfMajorityForProcess TernaryPredicate)	Law.kif 590-590	age of majority for process is an instance of ternary predicate

appearance as argument number 2

(format EnglishLanguage ageOfMajorityForProcess "%1 is the age of majority for %3 in %2")	Law.kif 595-595
(termFormat EnglishLanguage ageOfMajorityForProcess "age of majority for process")	Law.kif 594-594

antecedent

(=> (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 621-636	If an agreement is a party to agreement of a cognitive agent and a kind of process is an instance of intentional process and a kind of process is located at a geopolitical area and the geopolitical area is an instance of geopolitical area and a real number year duration(s) is the age of majority for the kind of process in the geopolitical area and a content bearing physical is a result of the kind of process and the content bearing physical is the record of the agreement and legal is an attribute of the agreement, then the age of the cognitive agent is the real number2 year duration(s) and the real number2 is greater than the real number holds during the time of existence of the kind of process
(=> (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 602-619	If an agreement is a party to agreement of a cognitive agent and a kind of process is an instance of intentional process and a kind of process is located at a geopolitical area and the geopolitical area is an instance of nation and the kind of process is located at the geopolitical area2 and the geopolitical area2 is an instance of geopolitical area and a real number year duration(s) is the age of majority for the kind of process in the geopolitical area and a content bearing physical is a result of the kind of process and the content bearing physical is the record of the agreement and the age of the cognitive agent is an entity year duration(s) and the entity is greater than the real number holds during the time of existence of the kind of process, then legal is an attribute of the agreement

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners