Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Illegal(illegal) |  | illegal |
| appearance as argument number 1 |
|
|
| (instance Illegal DeonticAttribute) | Mid-level-ontology.kif 15436-15436 | Illegal is an instance of deontic attribute |
| (subAttribute Illegal Prohibition) | Mid-level-ontology.kif 15437-15437 | Illegal is a subattribute of prohibition |
| (contraryAttribute Illegal Legal) | Mid-level-ontology.kif 15438-15438 | Illegal is the opposite of legal |
| (documentation Illegal EnglishLanguage "A proposition is Illegal just in case it is inconsistent with any proposition that is a Law.") | Mid-level-ontology.kif 15439-15440 | Illegal is the opposite of legal |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (attribute ?X USPrescriptionDrug) (modalAttribute (exists (?B) (and (instance ?B Buying) (objectTransferred ?B ?X) (not (exists (?P) (and (instance ?P Prescription) (refers ?P ?X)))))) Illegal)) |
Mid-level-ontology.kif 10801-10813 | If prescription drug is an attribute of X, then the statement there exists Y such that Y is an instance of buying, the object transferred in Y is X, there doesn't exist Z such that Z is an instance of prescription, and Z includes a reference to X has the modal force of illegal |
| (=> (and (instance ?T Trespassing) (agent ?T ?H) (patient ?T ?P)) (and (not (possesses ?H ?P)) (modalAttribute (located ?H ?P) Illegal))) |
Mid-level-ontology.kif 20196-20206 | If X is an instance of trespassing, Y is an agent of X, and Z is a patient of X, then Y doesn't possess Z and the statement Y is located at Z has the modal force of illegal |
|