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 13489-13490
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13491-13491	ImpairmentFn 的 1 数量是生理过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13488-13488	ImpairmentFn 是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13492-13492	ImpairmentFn 的所得值是生物过程的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13494-13494
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13493-13493

antecedent

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

Merge.kif 13496-13506

如果过程是 ImpairmentFn 另一个有点过程的 instance 和客体是导致那个过程的 instrument，
然后有存在那个客体2 这样那个客体2 不 equal 那个客体和那个客体2 能够担当工具的角色做另一个有点过程和那个客体不能够担当工具的角色做那个另外有点过程

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 767-785	如果过程是 Cricothyroidotomy 的 instance 和实体是那个过程的 patient，然后那个过程的目的是有存在另一个实体这样那个另外实体是 ImpairmentFn 呼吸的 instance 和那个实体是那个另外实体的 patient 在紧接那个过程出现的 time before holdsDuring 和有存在那个另外实体这样那个另外实体是 ImpairmentFn 呼吸的 instance 和那个实体是那个另外实体的 patient doesn't 在紧接那个过程出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3417-3423	如果 Asthma 是施事体的 attribute，然后有存在过程这样那个过程是 ImpairmentFn 呼吸的 instance 和那个施事体经历了那个过程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5985-5988	如果 ChronicObstructivePulmonaryDisease 是客体的 attribute，然后那个客体是 ImpairmentFn 呼吸的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4230-4236	如果 Dysautonomia 是施事体的 attribute，然后有存在过程这样那个施事体经历了那个过程和那个过程是 ImpairmentFn 自主过程的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2105-2114	如果 Insomnia 是施事体的 attribute 在时距 holdsDuring，然后有存在过程这样那个过程是 ImpairmentFn Sleeping 的 instance 和那个施事体经历了那个过程和那个时距 equal 那个过程出现的 time
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 812-821	如果 Pneumothorax 是实体的 attribute 在时距 holdsDuring，然后有存在过程这样那个过程是 ImpairmentFn 呼吸的 instance 和那个实体是那个过程的 patient 和那个时距在那个过程出现的 time 时段内发生
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4853-4860	如果物理是 Anticoagulant 的 instance，然后那个物理的目的是有存在实体这样那个实体是哺乳动物的 instance 和 ImpairmentFn Clotting 经历了那个实体

statement

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4258-4258	ImpairmentFn 步行是 ParkinsonsDisease 的 disease 病状
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2975-2975	BrainFog 是 ImpairmentFn Thinking 的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2037-2037	BreathingDifficulty 是 ImpairmentFn 呼吸的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11747-11747	Choking 是 ImpairmentFn 呼吸的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2116-2116	GastroIntestinalIssue 是 ImpairmentFn 消化的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4325-4325	HeartPalpitation 是 ImpairmentFn HeartBeat 的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2033-2033	MemoryLoss 是 ImpairmentFn 记住的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2041-2041	ThinkingDifficulty 是 ImpairmentFn 心理过程的 subclass

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