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(Processo de Diagnostico)

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 12977-12978
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12976-12976	Processo de Diagnostico e' uma sub-classe de Investigacao

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24083-24083	Biopsy e' uma sub-classe de Processo de Diagnostico
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6497-6497	CheckingVitals e' uma sub-classe de Processo de Diagnostico
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3425-3425	Electrocardiography e' uma sub-classe de Processo de Diagnostico
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 461-461	MeasuringBreathing e' uma sub-classe de Processo de Diagnostico
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 12980-12985

Processo e' uma instancia de Processo de Diagnostico Processo e' um agente de AutonomousAgent
Entidade Processo tem finalidade AutonomousAgent sabe Entidade causa Processo para AutonomousAgent

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7158-7171	Agente Cognitivo e' uma instancia de HealthInsuranceCompany customer Agente Cognitivo and AutonomousAgent Agente Cognitivo tem finalidade Entidade Entidade Entidade e' uma instancia de Processo de Diagnostico Entidade e' uma instancia de Processo Terapeutico AutonomousAgent experimenta Entidade Entidade e' uma instancia de Payment Entidade e' um agente de Agente Cognitivo Entidade inclui uma referencia a Entidade para AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21035-21042	MedicalDoctor e' um atributo de Objeto Processo Processo Processo e' uma sub-classe de Processo de Diagnostico Processo e' uma sub-classe de Processo Terapeutico Objeto e' capaz de fazer Processo no role agent Objeto e' capaz de fazer Processo no role agent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4481-4492	Pulmonologist e' um atributo de Objeto Processo Processo, Objeto and Objeto Classe e' uma sub-classe de Processo de Diagnostico Classe e' uma sub-classe de Processo Terapeutico Objeto e' um patient de Processo Objeto e' um patient de Processo Objeto e' uma instancia de Lung Objeto e' uma &parte de Objeto Processo e' situado em Lung Processo e' situado em Lung
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18878-18885	Dentist e' um atributo de AutonomousAgent Processo Entidade Processo e' uma instancia de Processo de Diagnostico Processo e' um agente de AutonomousAgent Entidade e' uma instancia de Tooth Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 666-675	Fisico e' uma instancia de MedicalDevice Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Processo Terapeutico Entidade e' uma instancia de Processo de Diagnostico Fisico e' um instrumento para Entidade Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2281-2292	ServiceProcess e' uma instancia de MedicalService AutonomousAgent Agente Cognitivo and Processo ServiceProcess e' um agente de AutonomousAgent AutonomousAgent emprega Agente Cognitivo MedicalDoctor e' um atributo de Agente Cognitivo serviceProvider ServiceProcess and Agente Cognitivo Processo e' uma instancia de Processo Terapeutico Processo e' uma instancia de Processo de Diagnostico Processo e' um sub-processo de ServiceProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5675-5683	patientMedical Humano and Agente Cognitivo Processo Humano e' um patient de Processo Processo e' um agente de Agente Cognitivo Processo e' uma instancia de Processo de Diagnostico Processo e' uma instancia de Processo Terapeutico

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