TreeView Knowledge Base Browser - diseaseTreatment

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

diseaseTreatment

Sigma KEE - diseaseTreatment

diseaseTreatment

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 893-897
No TPTP formula. May not be expressible in strict first order.	WMD.kif 890-890	The number 1 argument of disease treatment is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 891-891	The number 2 argument of disease treatment is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 892-892	The number 3 argument of disease treatment is a subclass of process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 889-889	disease treatment is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 780-780
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 779-779
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 778-778
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19756-19756
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19755-19755
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19754-19754

antecedent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 912-916	If a disease or syndrome is disease treatment a kind of biologically active substance for a kind of process and another kind of process is a subclass of a kind of process, then the disease or syndrome is disease treatment a kind of biologically active substance for another kind of process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 918-922	If a disease or syndrome is disease treatment a kind of biologically active substance for a kind of process and another kind of biologically active substance is a subclass of a kind of biologically active substance, then the disease or syndrome is disease treatment another kind of biologically active substance for a kind of process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 899-910	If a disease or syndrome is disease treatment a kind of biologically active substance for a kind of process, then if the disease or syndrome is an attribute of an entity holds during a time position, then there exists another entity such that the time of existence of a kind of process is a part of the time position and the entity experiences the kind of process and the other entity is a patient of the kind of process and the other entity is an instance of a kind of biologically active substance increases likelihood of the disease or syndrome is not an attribute of the entity holds during immediately after the time position
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1192-1194	If a disease or syndrome is disease treatment antibiotic for a kind of process, then the disease or syndrome is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1240-1244	If a disease or syndrome is disease treatment bacitracin for a kind of process, then the disease or syndrome is an instance of bacterial disease and a kind of process is an instance of putting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1206-1208	If a disease or syndrome is disease treatment oral antibiotic for a kind of process, then a kind of process is a subclass of ingesting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1233-1235	If a disease or syndrome is disease treatment topical antibiotic for a kind of process, then a kind of process is a subclass of covering

consequent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 912-916	If a disease or syndrome is disease treatment a kind of biologically active substance for a kind of process and another kind of process is a subclass of a kind of process, then the disease or syndrome is disease treatment a kind of biologically active substance for another kind of process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 918-922	If a disease or syndrome is disease treatment a kind of biologically active substance for a kind of process and another kind of biologically active substance is a subclass of a kind of biologically active substance, then the disease or syndrome is disease treatment another kind of biologically active substance for a kind of process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1196-1200	If a disease or syndrome is an instance of viral disease, then there exists a kind of process such that the disease or syndrome isn't disease treatment antibiotic for a kind of process

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1059-1059	Anthrax is disease treatment ciprofloxacin for ingesting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1058-1058	Anthrax is disease treatment doxycycline for ingesting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 359-359	Burkholderia mallei is disease treatment ciprofloxacin for ingesting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 273-273	Louse borne typhus is disease treatment oral antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1444-1444	Pertussis is disease treatment antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 261-261	Rocky mountain spotted fever is disease treatment oral antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1598-1598	Tuberculosis is disease treatment oral antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1277-1277	Typhoid fever is disease treatment antibiotic for ingesting

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

Show without tree

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