| LegislativeBill(legislative bill) | | appropriation_bill, bill, bill_of_attainder, bottle_bill, farm_bill, measure, rider, trade_bill |
| appearance as argument number 1 |
|
|
| (instance LegislativeBill DeonticAttribute) | Mid-level-ontology.kif 15332-15332 | Legislative bill is an instance of deontic attribute |
| (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 15333-15334 | Legislative bill is an instance of deontic attribute |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (holdsDuring ?TIME1 (modalAttribute ?TEXT Law)) (exists (?TIME2) (and (holdsDuring ?TIME2 (attribute ?TEXT LegislativeBill)) (earlier ?TIME2 ?TIME1)))) |
Mid-level-ontology.kif 15336-15341 | 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 |
| (=> (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 15348-15354 | 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 |
|
|
|