Legal![]() ![]() ![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Legal EnglishLanguage "A proposition is Legal just in case it is not inconsistent with any proposition that is a Law.") | Mid-level-ontology.kif 11484-11485 | |
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/5/53/ JMR-Memphis1.jpg") | pictureList.kif 11368-11368 | |
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Italian_legal_hardback_books_open.jpg") | pictureList.kif 11369-11369 | |
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/8/82/ English_Bill_of_Rights_of_1689_%28top%29.jpg") | pictureList.kif 11372-11372 | |
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/e/e4/ Reagan-Hoover_UCB_memo3.gif") | pictureList.kif 11371-11371 | |
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/e/e6/ Legal_Review_of_AR_15-6_Investigation_Regarding_Allegations_of_Soldiers_Misconduct_Published_in_The_New_Republic_-_Page_1.jpg") | pictureList.kif 11370-11370 | |
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/e/e7/ Code_Civil_1804.png") | pictureList.kif 10115-10115 | |
(instance Legal DeonticAttribute) | Mid-level-ontology.kif 11482-11482 | |
(subAttribute Legal Permission) | Mid-level-ontology.kif 11483-11483 |
appearance as argument number 2 |
![]() |
(contraryAttribute Illegal Legal) | Mid-level-ontology.kif 11478-11478 | |
(termFormat ChineseLanguage Legal "合法") | domainEnglishFormat.kif 33769-33769 | |
(termFormat ChineseTraditionalLanguage Legal "合法") | domainEnglishFormat.kif 33768-33768 | |
(termFormat EnglishLanguage Legal "legal") | domainEnglishFormat.kif 33767-33767 |
antecedent |
![]() |
consequent |
![]() |
(=> (and (governmentType ?PLACE Monarchy) (instance ?MONARCH Human) (instance ?SUCCESSOR Human) (holdsDuring ?T1 (chiefOfState ?PLACE ?ROLE ?MONARCH)) (holdsDuring ?T2 (chiefOfState ?PLACE ?ROLE ?SUCCESSOR)) (earlier ?T1 ?T2)) (confersNorm (relative ?MONARCH ?SUCCESSOR) (chiefOfState ?PLACE ?ROLE ?SUCCESSOR) Legal)) |
Government.kif 209-221 | |
(=> (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 | |
(=> (property ?AGREEMENT Contract) (forall (?X) (=> (subProposition ?X ?AGREEMENT) (modalAttribute ?X Legal)))) |
Mid-level-ontology.kif 11792-11797 |
![]() |
![]() |