Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   MysteryStory
|
|
|
| appearance as argument number 1 |
|
|
| (instance USNonPrescriptionDrug NormativeAttribute) | Mid-level-ontology.kif 10815-10815 | OTC drug is an instance of normative attribute |
| (documentation USNonPrescriptionDrug EnglishLanguage "A Medicine that in the UnitedStates may be sold to a patient with a doctor's prescription.") | Mid-level-ontology.kif 10816-10818 | OTC drug is an instance of normative attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage USNonPrescriptionDrug "non-prescription drug") | Mid-level-ontology.kif 10819-10819 | |
| (termFormat EnglishLanguage USNonPrescriptionDrug "over the counter drug") | Mid-level-ontology.kif 10820-10820 | |
| (termFormat EnglishLanguage USNonPrescriptionDrug "OTC drug") | Mid-level-ontology.kif 10821-10821 |
| antecedent |
|
|
| (=> (attribute ?X USNonPrescriptionDrug) (modalAttribute (exists (?B) (and (instance ?B Buying) (objectTransferred ?B ?X) (not (exists (?P) (and (instance ?P Prescription) (refers ?P ?X)))))) Legal)) |
Mid-level-ontology.kif 10823-10835 | If OTC 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 legal |
|