Legal - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Legal

Legal

more pictures...

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 11452-11453
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/5/53/ JMR-Memphis1.jpg")	pictureList.kif 11368-11368	externalImage Legal and "http://upload.wikimedia.org/wikipedia/commons/5/53/ JMR-Memphis1.jpg"
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Italian_legal_hardback_books_open.jpg")	pictureList.kif 11369-11369	externalImage Legal and "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Italian_legal_hardback_books_open.jpg"
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/8/82/ English_Bill_of_Rights_of_1689_%28top%29.jpg")	pictureList.kif 11372-11372	externalImage Legal and "http://upload.wikimedia.org/wikipedia/commons/8/82/ English_Bill_of_Rights_of_1689_%28top%29.jpg"
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/e/e4/ Reagan-Hoover_UCB_memo3.gif")	pictureList.kif 11371-11371	externalImage Legal and "http://upload.wikimedia.org/wikipedia/commons/e/e4/ Reagan-Hoover_UCB_memo3.gif"
(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	externalImage Legal and "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"
(externalImage Legal "http://upload.wikimedia.org/wikipedia/commons/e/e7/ Code_Civil_1804.png")	pictureList.kif 10115-10115	externalImage Legal and "http://upload.wikimedia.org/wikipedia/commons/e/e7/ Code_Civil_1804.png"
(instance Legal DeonticAttribute)	Mid-level-ontology.kif 11450-11450	Legal は義務的な属性の instance では %n
(subAttribute Legal Permission)	Mid-level-ontology.kif 11451-11451	Legal は Permission の subattribute では %n

appearance as argument number 2

(contraryAttribute Illegal Legal)	Mid-level-ontology.kif 11446-11446	Illegal は Legal の disjoint では %n
(termFormat ChineseLanguage Legal "合法")	domainEnglishFormat.kif 33691-33691	termFormat ChineseLanguage, Legal and "合法"
(termFormat ChineseTraditionalLanguage Legal "合法")	domainEnglishFormat.kif 33690-33690	termFormat ChineseTraditionalLanguage, Legal and "合法"
(termFormat EnglishLanguage Legal "legal")	domainEnglishFormat.kif 33689-33689	termFormat EnglishLanguage, Legal and "legal"

antecedent

(<=> (modalAttribute ?F1 Legal) (not (exists (?F2) (and (modalAttribute ?F2 Law) (not (consistent ?F1 ?F2))))))	Mid-level-ontology.kif 11455-11462	ステートメント公式には Legal の modal force がある公式ステートメント公式には Law の modal force がある consistent 公式 and 公式
(=> (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	工程は意図的なプロセスの instance では %n ContentBearingPhysical は工程の result では %n recordForAgreement ContentBearingPhysical and Agreement Legal は Agreement の attribute では %n 工程工程, 工程1 and 工程2 工程は Offering の instance では %n 工程は ReachingAgreement の instance では %n 工程は Agreement への reference を includes %n{ない} 工程は Agreement への reference を includes %n{ない} 工程1 は工程の agent では %n 工程2 は工程の agent では %n 工程の time の existence は工程の time の existence より earlier happens %n{ない}
(=> (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	partyToAgreement 認識エージェント and Agreement 工程は意図的なプロセスの instance では %n 工程は地政学的地域に located して %n 地政学的地域は地政学的地域の instance では %n ageOfMajorityForProcess 実数の YearDuration(s), 地政学的地域 and 工程 ContentBearingPhysical は工程の result では %n recordForAgreement ContentBearingPhysical and Agreement Legal は Agreement の attribute では %n 認識エージェントの age は実数2 の YearDuration(s) では実数2 は実数より greater では　%n は工程の time の existence の during holds %n{ない}
(=> (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	partyToAgreement 認識エージェント and Agreement 工程は意図的なプロセスの instance では %n ContentBearingPhysical は工程の result では %n recordForAgreement ContentBearingPhysical and Agreement Legal は Agreement の attribute では %n Sober は認識エージェントの attribute では %n は工程の time の existence の during holds %n{ない}

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	governmentType 代理(人) and Monarchy エンティティーは人［人間］の instance では %n エンティティーは人［人間］の instance では %n chiefOfState 代理(人), エンティティー and エンティティーは時間間隔の during holds %n{ない} chiefOfState 代理(人), エンティティー and エンティティーは時間間隔の during holds %n{ない} 時間間隔は時間間隔より earlier happens %n{ない} confersNorm relative エンティティー and エンティティー, chiefOfState 代理(人), エンティティー and エンティティー and Legal
(=> (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	partyToAgreement 認識エージェント and Agreement 工程は意図的なプロセスの instance では %n 工程は地政学的地域に located して %n 地政学的地域は国民の instance では %n 工程は地政学的地域2 に located して %n 地政学的地域2 は地政学的地域の instance では %n ageOfMajorityForProcess 実数の YearDuration(s), 地政学的地域 and 工程 ContentBearingPhysical は工程の result では %n recordForAgreement ContentBearingPhysical and Agreement 認識エージェントの age はエンティティーの YearDuration(s) ではエンティティーは実数より greater では　%n は工程の time の existence の during holds %n{ない} Legal は Agreement の attribute では %n
(=> (property ?AGREEMENT Contract) (forall (?X) (=> (subProposition ?X ?AGREEMENT) (modalAttribute ?X Legal))))	Mid-level-ontology.kif 11760-11765	命題には attribute Contract %n{ない} 公式公式は命題の sub-proposition では %n ステートメント公式には Legal の modal force がある

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