| LegislativeBill | |
| appearance as argument number 1 |
|
|
| (documentation LegislativeBill EnglishLanguage "The Attribute of being a proposed law, i.e. being under consideration by a legislative body of Government.") | Mid-level-ontology.kif 14029-14030 | |
| (instance LegislativeBill DeonticAttribute) | Mid-level-ontology.kif 14028-14028 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage LegislativeBill "立法法案") | domainEnglishFormat.kif 33922-33922 | |
| (termFormat ChineseTraditionalLanguage LegislativeBill "立法法案") | domainEnglishFormat.kif 33921-33921 | |
| (termFormat EnglishLanguage LegislativeBill "legislative bill") | domainEnglishFormat.kif 33920-33920 |
| consequent |
|
|
| (=> (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 14044-14050 | |
| (=> (holdsDuring ?TIME1 (modalAttribute ?TEXT Law)) (exists (?TIME2) (and (holdsDuring ?TIME2 (attribute ?TEXT LegislativeBill)) (earlier ?TIME2 ?TIME1)))) |
Mid-level-ontology.kif 14032-14037 |
|
|
|