TreeView Knowledge Base Browser - TherapeuticProcess

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3149-3150
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12240-12242
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12239-12239	子類 TherapeuticProcess and Repairing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 940-940	子類 Anesthetizing and TherapeuticProcess
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 62-62	子類 ApplyingTourniquet and TherapeuticProcess
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 579-579	子類 CPR and TherapeuticProcess
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 632-632	子類 Defibrillation and TherapeuticProcess
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1069-1069	子類 IVTherapy and TherapeuticProcess
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1170-1170	子類 IntraosseousInfusion and TherapeuticProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5700-5700	子類按摩 and TherapeuticProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5773-5773	子類緩解疼痛 and TherapeuticProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12255-12255	子類 Surgery and TherapeuticProcess
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 877-877	子類 Thoracentesis and TherapeuticProcess
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1066-1066	子類 Vaccination and TherapeuticProcess
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1158-1158
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1533-1533
No TPTP formula. May not be expressible in strict first order.	french_format.kif 836-836
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 368-368
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 371-371
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2520-2520
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 788-788
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 407-407
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 857-857
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 372-372

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Medicine.kif 5819-5819

域子類 diseaseTreatment, 2 and TherapeuticProcess

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 12244-12253

例 Process and TherapeuticProcess 患者 Process and Object
例 Object and Organism Object 例 Object and Organism 部分 Object and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6338-6346	例 Attribute and MedicalPerson attribute Object and Attribute 有目的 Object and entity 例 entity and TherapeuticProcess agent entity and Object
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2591-2605	例 Process and 疏散體驗者 Process and AutonomousAgent agent Process and Organization Process ProcessA 例 Process and TherapeuticProcess 子過程 Process and Process 子組織 ProcessA and Organization 會員 ProcessA and Organization 等於 ProcessA and Organization agent Process and ProcessA 體驗者 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7159-7172	例 CognitiveAgent and HealthInsuranceCompany AutonomousAgent 是 CognitiveAgent 的 customer 有代理人的目的 CognitiveAgent, entity entity 例 entity and DiagnosticProcess 例 entity and TherapeuticProcess 體驗者 entity and AutonomousAgent 例 entity and 付款 agent entity and CognitiveAgent 參照 entity and entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21036-21043	attribute Object and 醫生 Process Process 子類 Process and DiagnosticProcess 子類 Process and TherapeuticProcess 能力 Process, agent and Object 能力 Process, agent and Object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4481-4492	attribute Object and Pulmonologist Process Process, Object and Object 子類 Class and DiagnosticProcess 子類 Class and TherapeuticProcess 患者 Process and Object 患者 Process and Object 例 Object and 肺部分 Object and Object 位於 Process and 肺位於 Process and 肺
No TPTP formula. May not be expressible in strict first order.	Biography.kif 571-573	attribute Human and RegisteredNurse TherapeuticProcess 有在 Human 的專業知識
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5690-5698	例 Physical and 繃帶有目的 Physical and entity entity 例 entity and TherapeuticProcess 例 entity and Covering 子過程 entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9239-9244	例 Object and 醫學 Process 例 Process and TherapeuticProcess 資源 Process and Object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 666-675	例 Physical and MedicalDevice 有目的 Physical and entity entity 例 entity and TherapeuticProcess 例 entity and DiagnosticProcess 儀器 entity and Physical 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2281-2292	例服務 and MedicalService AutonomousAgent CognitiveAgent and Process agent 服務 and AutonomousAgent 採用 AutonomousAgent and CognitiveAgent attribute CognitiveAgent and 醫生服務提供者服務 and CognitiveAgent 例 Process and TherapeuticProcess 例 Process and DiagnosticProcess 子過程 Process and 服務
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9652-9665	medicine 醫學 and DiseaseOrSyndrome DiseaseOrSyndromeOC 例 DiseaseOrSyndromeOC and 醫生相信 DiseaseOrSyndromeOC and entity entity and entity 例 entity and 醫學例 entity and TherapeuticProcess 例 entity and Human DiseaseOrSyndromeOC 是 entity 的 patient 醫療資源 entity and entity 好處 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5676-5684	CognitiveAgent 是 Human 的 patient 醫療 Process 患者 Process and Human agent Process and CognitiveAgent 例 Process and DiagnosticProcess 例 Process and TherapeuticProcess

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

KB Term:			Term intersection

English Word: