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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SevereHearingLoss

Sigma KEE - Breathing
Breathing

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2906-2907
No TPTP formula. May not be expressible in strict first order. Merge.kif 10278-10280
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1655-1656
No TPTP formula. May not be expressible in strict first order. Merge.kif 10276-10276 子類 Breathing and 自主過程
No TPTP formula. May not be expressible in strict first order. Merge.kif 10275-10275 子類 Breathing and OrganismProcess

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 292-292 Breathing霧化的炭疽芽孢桿菌biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order. WMD.kif 281-281 Breathing炭疽桿菌biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order. WMD.kif 200-200 Breathing細菌劑biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order. WMD.kif 477-477 Breathing發泡劑biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order. WMD.kif 523-523 Breathing血液劑biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order. WMD.kif 1588-1588 Breathing百日咳博德特氏菌biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order. WMD.kif 374-374 Breathingburkholderia 假單胞菌biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order. WMD.kif 1598-1598 Breathing衣原體鸚鵡熱biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order. WMD.kif 603-603 Breathing窒息劑biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order. WMD.kif 1250-1250 Breathingcoxiella burnetiibiochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order. WMD.kif 1207-1207 Breathing弗朗西斯 土拉弗朗西斯菌biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order. WMD.kif 1927-1927 Breathingjunin病毒biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order. WMD.kif 1940-1940 Breathingmachupo病毒biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order. WMD.kif 1735-1735 Breathing馬爾堡病毒biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order. WMD.kif 1727-1727 Breathing結核分枝桿菌biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order. WMD.kif 559-559 Breathing神經毒劑biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order. WMD.kif 1457-1457 Breathing石房蛤毒素biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order. WMD.kif 1442-1442 Breathing葡萄球菌腸毒素bbiochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order. emotion.kif 1700-1700 子類 BreathingAtAMoreRapidRate and Breathing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11328-11328 子類 呼氣 and Breathing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11317-11317 子類 吸入 and Breathing
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1078-1078
No TPTP formula. May not be expressible in strict first order. english_format.kif 1367-1367
No TPTP formula. May not be expressible in strict first order. french_format.kif 756-756

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4105-4117
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5997-6017
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11218-11223

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 6304-6313
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 4123-4133
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6531-6541
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. WMD.kif 1150-1157
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4161-4178
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 730-740
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18486-18498
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26935-26944
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16098-16109

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


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


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