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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13472-13472
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13471-13471

antecedent

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

Merge.kif 13474-13484

例 Process and ImpairmentFn Process 儀器 Process and Object
Object 等於 Object and Object 能力 Process, 儀器 and Object 能力 Process, 儀器 and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 767-785	例 Process and Cricothyroidotomy 患者 Process and Entity 有目的 Process and 持有期間不久的過去何時 Process and entity 例 entity and ImpairmentFn Breathing 患者 entity and Entity 持有期間眼前的未來何時 Process and entity 例 entity and ImpairmentFn Breathing 患者 entity and Entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3417-3423	attribute AutonomousAgent and Asthma Process 例 Process and ImpairmentFn Breathing 體驗者 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5986-5989	attribute Object and ChronicObstructivePulmonaryDisease 例 Object and ImpairmentFn Breathing
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4230-4236	attribute AutonomousAgent and Dysautonomia Process 體驗者 Process and AutonomousAgent 例 Process and ImpairmentFn 自主過程
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2105-2114	持有期間 TimeInterval and attribute AutonomousAgent and Insomnia Process 例 Process and ImpairmentFn Sleeping 體驗者 Process and AutonomousAgent 等於 TimeInterval and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 812-821	持有期間 TimeInterval and attribute Entity and Pneumothorax Process 例 Process and ImpairmentFn Breathing 患者 Process and Entity 期間 TimeInterval and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4853-4860	例 Physical and Anticoagulant 有目的 Physical and entity 例 entity and Mammal 體驗者 entity and ImpairmentFn Clotting

statement

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4258-4258	ImpairmentFn Walking 是 ParkinsonsDisease 的 disease 病狀
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 11748-11748	子類 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