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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 11451-11452
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/5/53/ JMR-Memphis1.jpg") pictureList.kif 11368-11368 "http://upload.wikimedia.org/wikipedia/commons/5/53/ JMR-Memphis1.jpg" is a URL depicting legal
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Italian_legal_hardback_books_open.jpg") pictureList.kif 11369-11369 "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Italian_legal_hardback_books_open.jpg" is a URL depicting legal
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/8/82/ English_Bill_of_Rights_of_1689_%28top%29.jpg") pictureList.kif 11372-11372 "http://upload.wikimedia.org/wikipedia/commons/8/82/ English_Bill_of_Rights_of_1689_%28top%29.jpg" is a URL depicting legal
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/e/e4/ Reagan-Hoover_UCB_memo3.gif") pictureList.kif 11371-11371 "http://upload.wikimedia.org/wikipedia/commons/e/e4/ Reagan-Hoover_UCB_memo3.gif" is a URL depicting legal
(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 "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" is a URL depicting legal
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/e/e7/ Code_Civil_1804.png") pictureList.kif 10115-10115 "http://upload.wikimedia.org/wikipedia/commons/e/e7/ Code_Civil_1804.png" is a URL depicting legal
(instance Legal DeonticAttribute) Mid-level-ontology.kif 11449-11449 Legal is an instance of deontic attribute
(subAttribute Legal Permission) Mid-level-ontology.kif 11450-11450 Legal is a subattribute of permission

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


(contraryAttribute Illegal Legal) Mid-level-ontology.kif 11445-11445 Illegal is the opposite of legal
(termFormat EnglishLanguage Legal "legal") domainEnglishFormat.kif 6048-6048 "legal" is the printable form of legal in english language

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


(<=>
    (modalAttribute ?F1 Legal)
    (not
        (exists (?F2)
            (and
                (modalAttribute ?F2 Law)
                (not
                    (consistent ?F1 ?F2))))))
Mid-level-ontology.kif 11454-11461 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 570-584
(=>
    (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 617-632
(=>
    (and
        (partyToAgreement ?A1 ?AG)
        (instance ?PROC IntentionalProcess)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (attribute ?AG Legal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?A1 Sober)))
Law.kif 559-568

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 598-615
(=>
    (property ?AGREEMENT Contract)
    (forall (?X)
        (=>
            (subProposition ?X ?AGREEMENT)
            (modalAttribute ?X Legal))))
Mid-level-ontology.kif 11759-11764


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners