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	Processus therapeutique est une sous-classe de r�parer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 940-940	Anesthetizing est une sous-classe de processus therapeutique
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 62-62	ApplyingTourniquet est une sous-classe de processus therapeutique
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 579-579	CPR est une sous-classe de processus therapeutique
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 632-632	Defibrillation est une sous-classe de processus therapeutique
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1069-1069	IVTherapy est une sous-classe de processus therapeutique
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1170-1170	IntraosseousInfusion est une sous-classe de processus therapeutique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5700-5700	Massaging est une sous-classe de processus therapeutique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5773-5773	RelievingPain est une sous-classe de processus therapeutique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12255-12255	Chirurgie est une sous-classe de processus therapeutique
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 877-877	Thoracentesis est une sous-classe de processus therapeutique
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1066-1066	Vaccination est une sous-classe de processus therapeutique
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

Le nombre 2 argument de diseaseTreatment est une sous-classe de processus therapeutique

antecedent

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

Merge.kif 12244-12253

Processus est une instance de processus therapeutique objet est un patient de processus
objet est une instance de organisme objet objet est une instance de organisme objet est une partie de objet

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6338-6346	Attribut est une instance de MedicalPerson attribut est un attribut de objet objet a pour but entit� entit� est une instance de processus therapeutique entit� est un agent de objet
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2591-2605	Processus est une instance de Evacuation AutonomousAgent exp�rimente processus processus est un agent de organisation processus processusA processus est une instance de processus therapeutique processus est un sous-processus de processus processusA est une partie de l'organization organisation processusA est un membre de organisation processusA est organisation processus est un agent de processusA AutonomousAgent exp�rimente processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7159-7172	Agent cognitif est une instance de HealthInsuranceCompany customer agent cognitif and AutonomousAgent agent cognitif a le but entit� entit� entit� est une instance de processus de diagnostique entit� est une instance de processus therapeutique AutonomousAgent exp�rimente entit� entit� est une instance de Payment entit� est un agent de agent cognitif entit� inclut une r�f�rence � entit� pour AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21036-21043	MedicalDoctor est un attribut de objet processus processus processus est une sous-classe de processus de diagnostique processus est une sous-classe de processus therapeutique objet est capable de faire processus dans le r�le agent objet est capable de faire processus dans le r�le agent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4481-4492	Pulmonologist est un attribut de objet processus processus, objet and objet classe est une sous-classe de processus de diagnostique classe est une sous-classe de processus therapeutique objet est un patient de processus objet est un patient de processus objet est une instance de Lung objet est une partie de objet processus est situ� � Lung processus est situ� � Lung
No TPTP formula. May not be expressible in strict first order.	Biography.kif 571-573	RegisteredNurse est un attribut de humain hasExpertise humain and processus therapeutique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5690-5698	Physique est une instance de Bandage physique a pour but entit� entit� entit� est une instance de processus therapeutique entit� est une instance de couvrir entit� est un sous-processus de entit� physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9239-9244	Objet est une instance de Medicine processus processus est une instance de processus therapeutique objet est une resource pour processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 666-675	Physique est une instance de MedicalDevice physique a pour but entit� entit� entit� est une instance de processus therapeutique entit� est une instance de processus de diagnostique physique est un instrument pour entit� physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2281-2292	ServiceProcess est une instance de MedicalService AutonomousAgent agent cognitif and processus ServiceProcess est un agent de AutonomousAgent AutonomousAgent emploie agent cognitif MedicalDoctor est un attribut de agent cognitif serviceProvider ServiceProcess and agent cognitif processus est une instance de processus therapeutique processus est une instance de processus de diagnostique processus est un sous-processus de ServiceProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9652-9665	medicine Medicine and maladie ou syndrome maladie ou syndromeOC maladie ou syndromeOC est une instance de MedicalDoctor maladie ou syndromeOC croit entit� entit� and entit� entit� est une instance de Medicine entit� est une instance de processus therapeutique entit� est une instance de humain patientMedical entit� and maladie ou syndromeOC entit� est une resource pour entit� benefits entit� and entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5676-5684	patientMedical humain and agent cognitif processus humain est un patient de processus processus est un agent de agent cognitif processus est une instance de processus de diagnostique processus est une instance de processus therapeutique

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: