Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ImpairmentFn

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 域子類 ImpairmentFn, 1 and PhysiologicProcess
No TPTP formula. May not be expressible in strict first order. Merge.kif 13512-13512 ImpairmentFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order. Merge.kif 13516-13516 範圍子類 ImpairmentFn and BiologicalProcess

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

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 767-785
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3417-3423
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5980-5983
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4230-4236
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2105-2114
No TPTP formula. May not be expressible in strict first order. Medicine.kif 812-821
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4853-4860

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4258-4258 ImpairmentFn WalkingParkinsonsDiseasedisease 病狀
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2975-2975 子類 BrainFog and ImpairmentFn Thinking
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2037-2037 子類 BreathingDifficulty and ImpairmentFn Breathing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11775-11775 子類 Choking and ImpairmentFn Breathing
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2116-2116 子類 GastroIntestinalIssue and ImpairmentFn 消化
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4325-4325 子類 HeartPalpitation and ImpairmentFn HeartBeat
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2033-2033 子類 MemoryLoss and ImpairmentFn Remembering
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2041-2041 子類 ThinkingDifficulty and ImpairmentFn PsychologicalProcess


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