TreeView Knowledge Base Browser - ImpairmentFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ImpairmentFn

ImpairmentFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13513-13514
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13515-13515	Le nombre 1 argument de ImpairmentFn est une sous-classe de processus physiologique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13512-13512	ImpairmentFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13516-13516	Les valeurs retourn�es par ImpairmentFn sont des sous-classes de processus biologique

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13518-13518
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13517-13517

antecedent

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

Merge.kif 13520-13530

Processus est une instance de ImpairmentFn processus objet est un instrument pour processus
objet2 objet2 est objet objet2 est capable de faire processus dans le r�le instrument objet est capable de faire processus dans le r�le instrument

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 767-785	Processus est une instance de Cricothyroidotomy entit� est un patient de processus processus a pour but entit� entit� est une instance de ImpairmentFn respirer entit� est un patient de entit� pendant immediatement avant temps d'existence de processus entit� entit� est une instance de ImpairmentFn respirer entit� est un patient de entit� pendant immediatement apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3417-3423	Asthma est un attribut de AutonomousAgent processus processus est une instance de ImpairmentFn respirer AutonomousAgent exp�rimente processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5980-5983	ChronicObstructivePulmonaryDisease est un attribut de objet objet est une instance de ImpairmentFn respirer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4230-4236	Dysautonomia est un attribut de AutonomousAgent processus AutonomousAgent exp�rimente processus processus est une instance de ImpairmentFn AutonomicProcess
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2105-2114	Insomnia est un attribut de AutonomousAgent pendant interval temporel processus processus est une instance de ImpairmentFn Sleeping AutonomousAgent exp�rimente processus interval temporel est temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 812-821	Pneumothorax est un attribut de entit� pendant interval temporel processus processus est une instance de ImpairmentFn respirer entit� est un patient de processus interval temporel prend place pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4853-4860	Physique est une instance de Anticoagulant physique a pour but entit� entit� est une instance de mammif�re ImpairmentFn Clotting exp�rimente entit�

statement

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4258-4258	diseaseSymptom ParkinsonsDisease and ImpairmentFn marcher
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2975-2975	BrainFog est une sous-classe de ImpairmentFn Thinking
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2037-2037	BreathingDifficulty est une sous-classe de ImpairmentFn respirer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11775-11775	Choking est une sous-classe de ImpairmentFn respirer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2116-2116	GastroIntestinalIssue est une sous-classe de ImpairmentFn Digesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4325-4325	HeartPalpitation est une sous-classe de ImpairmentFn HeartBeat
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2033-2033	MemoryLoss est une sous-classe de ImpairmentFn se rappeler
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2041-2041	ThinkingDifficulty est une sous-classe de ImpairmentFn processus psychologique

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