(=>
(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 15423-15429 |
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)
(truth
(not
(and ?F1 ?F2)) True))))) |
Mid-level-ontology.kif 15449-15457 |
The statement X has the modal force of legal if and only if there doesn't exist Y such that the statement Y has the modal force of law and ~{ X } or ~{ Y } is true |
(=>
(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 17860-17872 |
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 |
(=>
(instance ?CORPUS RegionalLaw)
(attribute ?CORPUS Law)) |
Government.kif 842-844 |
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 846-850 |
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 975-980 |
If X is an instance of contract document, X contains information Y, and Y the attribute contract, then Y the attribute law |
