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


KB Term:  Term intersection
English Word: 

Sigma KEE - Law
Law(law)
FISA, Foreign_Intelligence_Surveillance_Act, Islamic_law, Justinian_code, Law_of_Moses, Monroe_Doctrine, Mosaic_law, New_Deal, RICO, RICO_Act, Racketeer_Influenced_and_Corrupt_Organizations_Act, Riot_Act, Roman_law, Salic_law, Stamp_Act, Truman_doctrine, U._S._Code, United_States_Code, Zionism, adjective, administrative_law, admiralty_law, advice_and_consent, affirmative_action, amended, anti-drug_law, anti-racketeering_law, antimonopoly, antitrust, antitrust_law, antitrust_legislation, apartheid, ban, banning-order, best_evidence_rule, blue_law, blue_sky_law, brinkmanship, building_code, bull, bylaw, canon_law, cease_and_desist_order, civil_law, commercial_law, consent_decree, constitution, control, criminal_law, curfew...

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


(subAttribute Law Obligation) Merge.kif 17682-17682 Law is a subattribute of obligation
(instance Law DeonticAttribute) Merge.kif 17683-17683 Law is an instance of deontic attribute
(documentation Law EnglishLanguage "Attribute that applies to Propositions that are required by a government or a branch of the government and that are enforced with penalties for noncompliance. These Propositions may be codified as legislation or they may be more informal, as in the case of government policy.") Merge.kif 17684-17687 Law is an instance of deontic attribute
(externalImage Law "http://upload.wikimedia.org/wikipedia/commons/5/53/JMR_Memphis1.jpg") pictureList.kif 2481-2481 Law is an instance of deontic attribute
(externalImage Law "http://upload.wikimedia.org/wikipedia/commons/e/e7/Code_Civil_1804.png") pictureList.kif 2589-2589 Law is an instance of deontic attribute
(externalImage Law "http://upload.wikimedia.org/wikipedia/commons/2/2e/European_parliament_brussels_inside.JPG") pictureList.kif 2590-2590 Law is an instance of deontic attribute
(externalImage Law "http://upload.wikimedia.org/wikipedia/commons/5/5f/Advokat%2C_Engelsk_advokatdr%C3%A4kt%2C_Nordisk_familjebok.png") pictureList.kif 2591-2591 Law is an instance of deontic attribute

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


(subAttribute InternationalLaw Law) Mid-level-ontology.kif 15334-15334 International law is a subattribute of law
(termFormat EnglishLanguage Law "law") domainEnglishFormat.kif 33541-33541 International law is a subattribute of law
(termFormat ChineseTraditionalLanguage Law "法") domainEnglishFormat.kif 33542-33542 International law is a subattribute of law
(termFormat ChineseLanguage Law "法") domainEnglishFormat.kif 33543-33543 International law is a subattribute of law

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


(=>
    (holdsDuring ?TIME1
        (modalAttribute ?TEXT Law))
    (exists (?TIME2)
        (and
            (holdsDuring ?TIME2
                (attribute ?TEXT LegislativeBill))
            (earlier ?TIME2 ?TIME1))))		 Mid-level-ontology.kif 15313-15318 If the statement X has the modal force of law holds during Y, then there exists Z such that legislative bill is an attribute of X holds during Z and Z happens earlier than Y

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


(=>
    (instance ?CORPUS RegionalLaw)
    (attribute ?CORPUS Law))		 Government.kif 833-835 If X is an instance of regional law, then law is an attribute of X
(=>
    (and
        (instance ?CORPUS RegionalLaw)
        (subProposition ?PART ?CORPUS))
    (attribute ?CORPUS Law))		 Government.kif 837-841 If X is an instance of regional law and Y is a sub-proposition of X, then law is an attribute of X
(=>
    (and
        (instance ?DOC ContractDocument)
        (containsInformation ?DOC ?PROP)
        (property ?PROP Contract))
    (property ?PROP Law))		 Media.kif 995-1000 If X is an instance of contract document, X contains information Y, and Y the attribute contract, then Y the attribute law
(=>
    (and
        (instance ?PASS PassingABill)
        (patient ?PASS ?TEXT))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?PASS))
            (attribute ?TEXT LegislativeBill))
        (holdsDuring
            (EndFn
                (WhenFn ?PASS))
            (attribute ?TEXT Law))))		 Mid-level-ontology.kif 15325-15331 If X is an instance of passing a bill and Y is a patient of X, then legislative bill is an attribute of Y holds during the beginning of the time of existence of X and law is an attribute of Y holds during the end of the time of existence of X
(<=>
    (modalAttribute ?F1 Legal)
    (not
        (exists (?F2)
            (and
                (modalAttribute ?F2 Law)
                (not
                    (consistent ?F1 ?F2))))))		 Mid-level-ontology.kif 15349-15356 The statement X has the modal force of legal if, only if there doesn't exist Y such that the statement Y has the modal force of law, and Y is not a consistent of X
(=>
    (instance ?ACTION CriminalAction)
    (exists (?LAW ?CONTENT ?CRIME)
        (and
            (modalAttribute ?LAW Law)
            (containsInformation ?LAW ?CONTENT)
            (realization ?ACTION ?CRIME)
            (not
                (consistent ?CONTENT ?CRIME)))))		 Mid-level-ontology.kif 15361-15368 If X is an instance of criminal action, then there exist Y, Z, W such that the statement Y has the modal force of law, Y contains information Z, X expresses the content of W, and W is not a consistent of Z
(=>
    (and
        (instance ?S LegalSummons)
        (patient ?S ?O)
        (destination ?S ?P))
    (exists (?C ?T)
        (and
            (instance ?C CourtRoom)
            (containsFormula ?S
                (modalAttribute
                    (holdsDuring ?T
                        (located ?O ?C)) Law)))))		 Mid-level-ontology.kif 17767-17779 If X is an instance of legal summons, Y is a patient of X, and X ends up at Z, then there exist W, V such that W is an instance of court room, and X contains the formula the statement Y is located at W holds during V has the modal force of law

statement
-------------------------


(exists (?FORMULA)
    (and
        (instance ?FORMULA Formula)
        (containsInformation ?FORMULA ImmigrationAndNationalityAct_US)
        (modalAttribute ?FORMULA Law)))		 Government.kif 2363-2367 There exists X such that X is an instance of formula, X contains information immigration and nationality act_US, and the statement X has the modal force of law
(exists (?FORMULA)
    (and
        (instance ?FORMULA Formula)
        (containsInformation ?FORMULA ImmigrationAndNationalityAct_Section219_US)
        (modalAttribute ?FORMULA Law)))		 Government.kif 2370-2374 There exists X such that X is an instance of formula, X contains information immigration and nationality act- section219-US, and the statement X has the modal force of law
(exists (?FORMULA)
    (and
        (instance ?FORMULA Formula)
        (containsInformation ?FORMULA AntiterrorismAndEffectiveDeathPenaltyAct)
        (modalAttribute ?FORMULA Law)))		 Government.kif 2384-2388 There exists X such that X is an instance of formula, X contains information antiterrorism and effective death penalty act, and the statement X has the modal force of law
(exists (?FORMULA)
    (and
        (instance ?FORMULA Formula)
        (containsInformation ?FORMULA AmericansWithDisabilitiesAct_US)
        (modalAttribute ?FORMULA Law)))		 Medicine.kif 3158-3162 There exists X such that X is an instance of formula, X contains information ADA, and the statement X has the modal force of law


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 3.0 is open source software produced by Articulate Software and its partners