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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Respirator
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 呼吸器Masksubclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 3526-3526 呼吸器SafetyDevicesubclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 3527-3527 呼吸器可穿戴物品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 3531-3552


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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