TreeView Knowledge Base Browser - DiagnosticProcess

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

DiagnosticProcess

Sigma KEE - DiagnosticProcess

DiagnosticProcess

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4068-4068
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12955-12956
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12954-12954	子類 DiagnosticProcess and Investigating

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24084-24084	子類活檢 and DiagnosticProcess
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6497-6497	子類 CheckingVitals and DiagnosticProcess
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3425-3425	子類 Electrocardiography and DiagnosticProcess
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 461-461	子類 MeasuringBreathing and DiagnosticProcess
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1192-1192
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1601-1601
No TPTP formula. May not be expressible in strict first order.	french_format.kif 870-870
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 403-403
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 406-406
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2554-2554
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 822-822
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 408-408
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 442-442
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 891-891
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 407-407

antecedent

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

Merge.kif 12958-12963

例 Process and DiagnosticProcess agent Process and AutonomousAgent
entity 有代理人的目的 Process, 知道 AutonomousAgent and 原因 entity and Process and AutonomousAgent

consequent

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.	Mid-level-ontology.kif 18879-18886	attribute AutonomousAgent and 牙醫 Process Entity 例 Process and DiagnosticProcess agent Process and AutonomousAgent 例 Entity and 齒患者 Process and Entity
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 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