Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Entity

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

appearance as argument number 1
-------------------------


(instance Legal DeonticAttribute) Mid-level-ontology.kif 15442-15442 Legal is an instance of deontic attribute
(subAttribute Legal Permission) Mid-level-ontology.kif 15443-15443 Legal is a subattribute of permission
(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 15444-15445 Legal is a subattribute of permission
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/e/e7/ Code_Civil_1804.png") pictureList.kif 10093-10093 Legal is a subattribute of permission
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/5/53/ JMR_Memphis1.jpg") pictureList.kif 11334-11334 Legal is a subattribute of permission
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Italian_legal_hardback_books_open.jpg") pictureList.kif 11335-11335 Legal is a subattribute of permission
(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 Legal is a subattribute of permission
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/e/e4/ Reagan_Hoover_UCB_memo3.gif") pictureList.kif 11337-11337 Legal is a subattribute of permission
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/8/82/ English_Bill_of_Rights_of_1689_%28top%29.jpg") pictureList.kif 11338-11338 Legal is a subattribute of permission

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


(contraryAttribute Illegal Legal) Mid-level-ontology.kif 15438-15438 Illegal is the opposite of legal
(termFormat EnglishLanguage Legal "legal") domainEnglishFormat.kif 33781-33781 Illegal is the opposite of legal
(termFormat ChineseTraditionalLanguage Legal "合法") domainEnglishFormat.kif 33782-33782 Illegal is the opposite of legal
(termFormat ChineseLanguage Legal "合法") domainEnglishFormat.kif 33783-33783 Illegal is the opposite of legal

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


(<=>
    (modalAttribute ?F1 Legal)
    (not
        (exists (?F2)
            (and
                (modalAttribute ?F2 Law)
                (truth
                    (not
                        (and ?F1 ?F2)) True)))))		 Mid-level-ontology.kif 15449-15457 The statement X has the modal force of legal if and only if there doesn't exist Y such that the statement Y has the modal force of law and ~{ X } or ~{ Y } is true
(=>
    (and
        (partyToAgreement ?A1 ?AG)
        (instance ?PROC IntentionalProcess)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (attribute ?AG Legal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?A1 Sober)))		 Law.kif 496-505 If X is a party to agreement of Y, Z is an instance of intentional process, W is a result of Z, W is the record of X, and legal is an attribute of X, then sober is an attribute of Y holds during the time of existence of Z
(=>
    (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 507-521 If X is an instance of intentional process, Y is a result of X, Y is the record of Z, and legal is an attribute of Z, then All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of offering (3) V is an instance of reaching agreement (4) W includes a reference to Z (5) V includes a reference to Z (6) U is an agent of W (7) T is an agent of V (8) the time of existence of W happens earlier than the time of existence of V
(=>
    (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 554-569 If All of the following hold: (1) X is a party to agreement of Y (2) Z is an instance of intentional process (3) Z is located at W (4) W is an instance of geopolitical area (5) V year duration(s) is the age of majority for Z in W (6) U is a result of Z (7) U is the record of X (8) legal is an attribute of X, then the age of Y is T year duration(s) and T is greater than V holds during the time of existence of Z

consequent
-------------------------


(=>
    (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 10823-10835 If OTC drug is an attribute of X, then the statement there exists Y such that Y is an instance of buying, the object transferred in Y is X, there doesn't exist Z such that Z is an instance of prescription, and Z includes a reference to X has the modal force of legal
(=>
    (instance ?C Contract)
    (property ?C Legal))		 Mid-level-ontology.kif 15746-15748 If X is an instance of contract, then X the attribute legal
(=>
    (instance ?TEXT MarriageCertificate)
    (attribute ?TEXT Legal))		 Biography.kif 311-313 If X is an instance of marriage certificate, then legal is an attribute of X
(=>
    (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 535-552 If All of the following hold: (1) X is a party to agreement of Y (2) Z is an instance of intentional process (3) Z is located at W (4) W is an instance of nation (5) Z is located at V (6) V is an instance of geopolitical area (7) U year duration(s) is the age of majority for Z in W (8) T is a result of Z (9) T is the record of X (10) the age of Y is S year duration(s) and S is greater than U holds during the time of existence of Z, then legal is an attribute of X
(=>
    (and
        (instance ?DOC PolicyDocument)
        (containsFormula ?DOC ?PROP))
    (modalAttribute ?PROP Legal))		 TravelPolicies.kif 288-292 If X is an instance of policy document and X contains the formula Y, then the statement Y has the modal force of legal


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners