Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4481-4492	If pulmonologist is an attribute of an object, then there exist a process, another process,, , another object and a third object such that a class is a subclass of diagnostic process and another class is a subclass of therapeutic process and the other object is a patient of the process and the other object is a patient of the other process and the third object is an instance of lung and the third object is a part of the other object and the process is located at lung and the other process is located at lung
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21035-21042	If medical doctor is an attribute of an object, then there exist a kind of process and another kind of process such that a kind of process is a subclass of diagnostic process and another kind of process is a subclass of therapeutic process and the object is capable of doing the kind of process as a agent and the object is capable of doing the other kind of process as a agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12261-12261	Therapeutic process is a subclass of repairing
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1066-1066	Vaccination is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5699-5699	Massaging is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5772-5772	Relieving pain is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12277-12277	Surgery is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 62-62	Applying a tourniquet is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 579-579	Cardio-pulmonary resuscitation is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 632-632	Defibrillation is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 877-877	Needle decompression is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 940-940	Anesthetizing is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1069-1069	IV Therapy is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1170-1170	Intraosseous infusion is a subclass of therapeutic process

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