Legal more pictures... |
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 13847-13848 | |
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/5/53/ JMR-Memphis1.jpg") | pictureList.kif 11341-11341 | |
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Italian_legal_hardback_books_open.jpg") | pictureList.kif 11342-11342 | |
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/8/82/ English_Bill_of_Rights_of_1689_%28top%29.jpg") | pictureList.kif 11345-11345 | |
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/e/e4/ Reagan-Hoover_UCB_memo3.gif") | pictureList.kif 11344-11344 | |
(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 11343-11343 | |
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/e/e7/ Code_Civil_1804.png") | pictureList.kif 10095-10095 | |
(instance Legal DeonticAttribute) | Mid-level-ontology.kif 13845-13845 | |
(subAttribute Legal Permission) | Mid-level-ontology.kif 13846-13846 |
appearance as argument number 2 |
(contraryAttribute Illegal Legal) | Mid-level-ontology.kif 13841-13841 | |
(termFormat ChineseLanguage Legal "合法") | domainEnglishFormat.kif 33779-33779 | |
(termFormat ChineseTraditionalLanguage Legal "合法") | domainEnglishFormat.kif 33778-33778 | |
(termFormat EnglishLanguage Legal "legal") | domainEnglishFormat.kif 33777-33777 |
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 9318-9330 | |
(=> (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 14142-14147 |