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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FireProtection

Sigma KEE - FireProtection
FireProtection(防火)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 12300-12302
No TPTP formula. May not be expressible in strict first order. naics.kif 12298-12298 子屬性 防火 and 司法公共秩序和安全活動

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23942-23942
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23941-23941
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23940-23940


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