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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 e' um sub-atributo de PublicAdministration

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


No TPTP formula. May not be expressible in strict first order. naics.kif 12284-12284 CorrectionalInstitutions e' um sub-atributo de JusticePublicOrderAndSafetyActivities
No TPTP formula. May not be expressible in strict first order. naics.kif 12266-12266 Courts e' um sub-atributo de JusticePublicOrderAndSafetyActivities
No TPTP formula. May not be expressible in strict first order. naics.kif 12298-12298 FireProtection e' um sub-atributo de JusticePublicOrderAndSafetyActivities
No TPTP formula. May not be expressible in strict first order. naics.kif 12277-12277 LegalCounselAndProsecution e' um sub-atributo de JusticePublicOrderAndSafetyActivities
No TPTP formula. May not be expressible in strict first order. naics.kif 12304-12304 OtherJusticePublicOrderAndSafetyActivities e' um sub-atributo de JusticePublicOrderAndSafetyActivities
No TPTP formula. May not be expressible in strict first order. naics.kif 12291-12291 ParoleOfficesAndProbationOffices e' um sub-atributo de JusticePublicOrderAndSafetyActivities
No TPTP formula. May not be expressible in strict first order. naics.kif 12271-12271 PoliceProtection e' um sub-atributo 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 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