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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Respirator

Sigma KEE - Respirator
Respirator(respirator)
gas_helmet, gasmask, oxygen_mask, respirator

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3529-3529
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 3528-3528 Respirator is a subclass of mask
No TPTP formula. May not be expressible in strict first order. Cars.kif 3526-3526 Respirator is a subclass of safety device
No TPTP formula. May not be expressible in strict first order. Cars.kif 3527-3527 Respirator is a subclass of wearable item

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4868-4868 N95 respirator is a subclass of respirator
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 3531-3552


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