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 13819-13820 | |
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/5/53/ JMR-Memphis1.jpg") | pictureList.kif 11349-11349 | |
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Italian_legal_hardback_books_open.jpg") | pictureList.kif 11350-11350 | |
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/8/82/ English_Bill_of_Rights_of_1689_%28top%29.jpg") | pictureList.kif 11353-11353 | |
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/e/e4/ Reagan-Hoover_UCB_memo3.gif") | pictureList.kif 11352-11352 | |
(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 11351-11351 | |
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/e/e7/ Code_Civil_1804.png") | pictureList.kif 10096-10096 | |
(instance Legal DeonticAttribute) | Mid-level-ontology.kif 13817-13817 | |
(subAttribute Legal Permission) | Mid-level-ontology.kif 13818-13818 |
appearance as argument number 2 |
![]() |
(contraryAttribute Illegal Legal) | Mid-level-ontology.kif 13813-13813 | |
(termFormat ChineseLanguage Legal "合法") | domainEnglishFormat.kif 33785-33785 | |
(termFormat ChineseTraditionalLanguage Legal "合法") | domainEnglishFormat.kif 33784-33784 | |
(termFormat EnglishLanguage Legal "legal") | domainEnglishFormat.kif 33783-33783 |
antecedent |
![]() |
consequent |
![]() |
(=> (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 554-571 | |
(=> (attribute ?X USNonPrescriptionDrug) (modalAttribute (exists (?B) (and (instance ?B Buying) (objectTransferred ?B ?X) (not (exists (?P) (and (instance ?P Prescription) (refers ?P ?X)))))) Legal)) |
Mid-level-ontology.kif 9290-9302 | |
(=> (instance ?TEXT MarriageCertificate) (attribute ?TEXT Legal)) |
Biography.kif 303-305 | |
(=> (property ?AGREEMENT Contract) (forall (?X) (=> (subProposition ?X ?AGREEMENT) (modalAttribute ?X Legal)))) |
Mid-level-ontology.kif 14114-14119 |
![]() |
![]() |