TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Law ChineseLanguage "这是属于应用于由政府或政府一个部门 %Proposition 的 Attribute，而违规的话会遭处罚。这些 Proposition 可以编纂成法例，或是如政府政策一样属非正式的。")	chinese_format.kif 3909-3910
(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 17560-17563
(externalImage Law "http://upload.wikimedia.org/wikipedia/commons/2/2e/European-parliament-brussels-inside.JPG")	pictureList.kif 2591-2591
(externalImage Law "http://upload.wikimedia.org/wikipedia/commons/5/53/JMR-Memphis1.jpg")	pictureList.kif 2482-2482
(externalImage Law "http://upload.wikimedia.org/wikipedia/commons/5/5f/Advokat%2C_Engelsk_advokatdr%C3%A4kt%2C_Nordisk_familjebok.png")	pictureList.kif 2592-2592
(externalImage Law "http://upload.wikimedia.org/wikipedia/commons/e/e7/Code_Civil_1804.png")	pictureList.kif 2590-2590
(instance Law DeonticAttribute)	Merge.kif 17559-17559	Law e' uma instancia de Atributo Deontico
(subAttribute Law Obligation)	Merge.kif 17558-17558	Law e' um sub-atributo de Obligation

appearance as argument number 2

(modalAttribute AmericansWithDisabilitiesAct-US Law)	Medicine.kif 3170-3170	O argumento AmericansWithDisabilitiesAct-US tem a forca modal de Law
(modalAttribute AntiterrorismAndEffectiveDeathPenaltyAct Law)	Government.kif 2371-2371	O argumento AntiterrorismAndEffectiveDeathPenaltyAct tem a forca modal de Law
(modalAttribute ImmigrationAndNationalityAct-Section219-US Law)	Government.kif 2369-2369	O argumento ImmigrationAndNationalityAct-Section219-US tem a forca modal de Law
(modalAttribute ImmigrationAndNationalityAct-US Law)	Government.kif 2366-2366	O argumento ImmigrationAndNationalityAct-US tem a forca modal de Law
(subAttribute InternationalLaw Law)	Mid-level-ontology.kif 13862-13862	InternationalLaw e' um sub-atributo de Law
(termFormat ChineseLanguage Law "法")	domainEnglishFormat.kif 33539-33539
(termFormat ChineseTraditionalLanguage Law "法")	domainEnglishFormat.kif 33538-33538
(termFormat EnglishLanguage Law "law")	domainEnglishFormat.kif 33537-33537

antecedent

(=>
    (holdsDuring ?TIME1
        (modalAttribute ?TEXT Law))
    (exists (?TIME2)
        (and
            (holdsDuring ?TIME2
                (attribute ?TEXT LegislativeBill))
            (earlier ?TIME2 ?TIME1))))

Mid-level-ontology.kif 13841-13846

O argumento Entidade tem a forca modal de Law vale durante Intervalo Temporal
Intervalo Temporal LegislativeBill e' um atributo de Entidade vale durante Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal

consequent

(<=> (modalAttribute ?F1 Legal) (not (exists (?F2) (and (modalAttribute ?F2 Law) (not (consistent ?F1 ?F2))))))	Mid-level-ontology.kif 13877-13884	O argumento Formula tem a forca modal de Legal Formula o argumento Formula tem a forca modal de Law consistent Formula and Formula
(=> (and (instance ?CORPUS RegionalLaw) (subProposition ?PART ?CORPUS)) (attribute ?CORPUS Law))	Government.kif 839-843	Objeto e' uma instancia de RegionalLaw Proposicao e' uma &sub-proposicao de Objeto Law e' um atributo de Objeto
(=> (and (instance ?DOC ContractDocument) (containsInformation ?DOC ?PROP) (property ?PROP Contract)) (property ?PROP Law))	Media.kif 995-1000	ContentBearingPhysical e' uma instancia de ContractDocument ContentBearingPhysical contem informacao Proposicao Proposicao tem um atributo de Contract Proposicao tem um atributo de 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 13853-13859	Processo e' uma instancia de PassingABill Entidade e' um patient de Processo LegislativeBill e' um atributo de Entidade vale durante o comeco de tempo de existencia de Processo Law e' um atributo de Entidade vale durante o fim de tempo de existencia de Processo
(=> (and (instance ?S LegalSummons) (patient ?S ?O) (destination ?S ?P)) (exists (?C ?T) (and (instance ?C CourtRoom) (containsInformation ?O (modalAttribute (holdsDuring ?T (located ?P ?C)) Law)))))	Mid-level-ontology.kif 16254-16266	Processo e' uma instancia de LegalSummons ContentBearingPhysical e' um patient de Processo Processo termina em Entidade Entidade Entidade Entidade e' uma instancia de CourtRoom ContentBearingPhysical contem informacao o argumento Entidade e' situado em Entidade vale durante Entidade tem a forca modal de Law
(=> (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 13889-13896	Processo e' uma instancia de CriminalAction Formula Proposicao and Proposicao o argumento Formula tem a forca modal de Law Formula contem informacao Proposicao Processo exprime o conteudo de Proposicao consistent Proposicao and Proposicao
(=> (instance ?CORPUS RegionalLaw) (attribute ?CORPUS Law))	Government.kif 835-837	Objeto e' uma instancia de RegionalLaw Law e' um atributo de Objeto

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

KB Term:			Term intersection

English Word: