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 15218-15219 | |
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/5/53/ JMR_Memphis1.jpg") | pictureList.kif 11334-11334 | |
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Italian_legal_hardback_books_open.jpg") | pictureList.kif 11335-11335 | |
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/8/82/ English_Bill_of_Rights_of_1689_%28top%29.jpg") | pictureList.kif 11338-11338 | |
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/e/e4/ Reagan_Hoover_UCB_memo3.gif") | pictureList.kif 11337-11337 | |
(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 11336-11336 | |
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/e/e7/ Code_Civil_1804.png") | pictureList.kif 10093-10093 | |
(instance Legal DeonticAttribute) | Mid-level-ontology.kif 15216-15216 | |
(subAttribute Legal Permission) | Mid-level-ontology.kif 15217-15217 |
appearance as argument number 2 |
![]() |
(contraryAttribute Illegal Legal) | Mid-level-ontology.kif 15212-15212 | |
(termFormat ChineseLanguage Legal "合法") | domainEnglishFormat.kif 33790-33790 | |
(termFormat ChineseTraditionalLanguage Legal "合法") | domainEnglishFormat.kif 33789-33789 | |
(termFormat EnglishLanguage Legal "legal") | domainEnglishFormat.kif 33788-33788 |
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 560-577 | |
(=> (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 10647-10659 | |
(=> (instance ?TEXT MarriageCertificate) (attribute ?TEXT Legal)) |
Biography.kif 311-313 | |
(=> (property ?AGREEMENT Contract) (forall (?X) (=> (subProposition ?X ?AGREEMENT) (modalAttribute ?X Legal)))) |
Mid-level-ontology.kif 15513-15518 |
![]() |
![]() |