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 呼吸器 是 Mask 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 3534-3534 呼吸器 是 SafetyDevice 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 3535-3535 呼吸器 是 可穿戴物品 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4868-4868 N95Mask 是 呼吸器 的 subclass
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