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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JusticePublicOrderAndSafetyActivities

Sigma KEE - JusticePublicOrderAndSafetyActivities
JusticePublicOrderAndSafetyActivities

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


No TPTP formula. May not be expressible in strict first order. naics.kif 12262-12264
No TPTP formula. May not be expressible in strict first order. naics.kif 12260-12260 JusticePublicOrderAndSafetyActivities est un sous-attribut de PublicAdministration

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


No TPTP formula. May not be expressible in strict first order. naics.kif 12284-12284 CorrectionalInstitutions est un sous-attribut de JusticePublicOrderAndSafetyActivities
No TPTP formula. May not be expressible in strict first order. naics.kif 12266-12266 Courts est un sous-attribut de JusticePublicOrderAndSafetyActivities
No TPTP formula. May not be expressible in strict first order. naics.kif 12298-12298 FireProtection est un sous-attribut de JusticePublicOrderAndSafetyActivities
No TPTP formula. May not be expressible in strict first order. naics.kif 12277-12277 LegalCounselAndProsecution est un sous-attribut de JusticePublicOrderAndSafetyActivities
No TPTP formula. May not be expressible in strict first order. naics.kif 12304-12304 OtherJusticePublicOrderAndSafetyActivities est un sous-attribut de JusticePublicOrderAndSafetyActivities
No TPTP formula. May not be expressible in strict first order. naics.kif 12291-12291 ParoleOfficesAndProbationOffices est un sous-attribut de JusticePublicOrderAndSafetyActivities
No TPTP formula. May not be expressible in strict first order. naics.kif 12271-12271 PoliceProtection est un sous-attribut de JusticePublicOrderAndSafetyActivities
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31945-31945
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31944-31944
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31943-31943


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