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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Respirator

 Sigma KEE - Respirator
Respirator(呼吸器)

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3537-3537
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1954-1954
No TPTP formula. May not be expressible in strict first order. Cars.kif 3536-3536 子類 呼吸器 and Mask
No TPTP formula. May not be expressible in strict first order. Cars.kif 3534-3534 子類 呼吸器 and SafetyDevice
No TPTP formula. May not be expressible in strict first order. Cars.kif 3535-3535 子類 呼吸器 and 可穿戴物品

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4868-4868 子類 N95Mask and 呼吸器
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49748-49748
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49747-49747
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49746-49746

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3539-3560


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