Prescription - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Prescription

Prescription(prescription)

appearance as argument number 1

(documentation Prescription EnglishLanguage "Instructions to a Pharmacist and patient concerning Medicines and possibly their dosage and schedule, to be taken by the patient.")	Mid-level-ontology.kif 10613-10615
(subclass Prescription Text)	Mid-level-ontology.kif 10612-10612	Prescription is a subclass of text

appearance as argument number 2

(termFormat EnglishLanguage Prescription "prescription")

Mid-level-ontology.kif 10616-10616

antecedent

(=> (and (instance ?P Prescription) (instance ?M Medicine) (refers ?P ?M)) (exists (?PHARM ?S) (and (instance ?S Selling) (objectTransferred ?S ?M) (agent ?S ?PHARM) (attribute ?S Pharmacist))))	Mid-level-ontology.kif 10625-10635	If an entity is an instance of prescription and an object is an instance of medicine and the entity includes a reference to the object, then there exist the entityHARM and a transfer such that the transfer is an instance of selling and the object transferred in the transfer is the object and the entityHARM is an agent of the transfer and pharmacist is an attribute of the transfer
(=> (instance ?P Prescription) (exists (?M) (and (instance ?M Medicine) (refers ?P ?M))))	Mid-level-ontology.kif 10618-10623	If an entity is an instance of prescription, then there exists another entity such that the other entity is an instance of medicine and the entity includes a reference to the other entity

consequent

(=> (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 10665-10677	If OTC drug is an attribute of an object, then the statement there exists an entity such that the entity is an instance of buying and the object transferred in the entity is the object and there doesn't exist another entity such that the other entity is an instance of prescription and the other entity includes a reference to the object has the modal force of legal
(=> (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 10643-10655	If prescription drug is an attribute of an object, then the statement there exists an entity such that the entity is an instance of buying and the object transferred in the entity is the object and there doesn't exist another entity such that the other entity is an instance of prescription and the other entity includes a reference to the object has the modal force of illegal

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners