Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Legal

Sigma KEE - Legal
Legal(legal)
more pictures...
effectual, legal, sound

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 Legal is an instance of deontic attribute
(subAttribute Legal Permission) Mid-level-ontology.kif 13846-13846 Legal is a subattribute of permission

appearance as argument number 2
-------------------------


(contraryAttribute Illegal Legal) Mid-level-ontology.kif 13841-13841 Illegal is the opposite of legal
(termFormat ChineseLanguage Legal "合法") domainEnglishFormat.kif 33779-33779
(termFormat ChineseTraditionalLanguage Legal "合法") domainEnglishFormat.kif 33778-33778
(termFormat EnglishLanguage Legal "legal") domainEnglishFormat.kif 33777-33777

antecedent
-------------------------


(<=>
    (modalAttribute ?F1 Legal)
    (not
        (exists (?F2)
            (and
                (modalAttribute ?F2 Law)
                (not
                    (consistent ?F1 ?F2))))))
Mid-level-ontology.kif 13850-13857 The statement a formula has the modal force of legal if and only if there doesn't exist another formula such that the statement the other formula has the modal force of law and the other formula is not a consistent of the formula
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (attribute ?AG Legal))
    (exists (?O ?A ?A1 ?A2)
        (and
            (instance ?O Offering)
            (instance ?A ReachingAgreement)
            (refers ?O ?AG)
            (refers ?A ?AG)
            (agent ?O ?A1)
            (agent ?A ?A2)
            (earlier
                (WhenFn ?O)
                (WhenFn ?A)))))
Law.kif 526-540
(=>
    (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 573-588
(=>
    (and
        (partyToAgreement ?A1 ?AG)
        (instance ?PROC IntentionalProcess)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (attribute ?AG Legal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?A1 Sober)))
Law.kif 515-524

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


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

Show without tree


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