Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21036-21043	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.	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.	Merge.kif 12954-12954	Diagnostic process is a subclass of investigating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24084-24084	Biopsy is a subclass of diagnostic process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 461-461	Measuring breathing is a subclass of diagnostic process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3425-3425	Electrocardiography is a subclass of diagnostic process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6497-6497	Checking vitals is a subclass of diagnostic 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