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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LawEnforcement
LawEnforcement(law enforcement)
more pictures...		law_enforcement

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13904-13907
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6664-6664
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7166-7166
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7167-7167
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7168-7168
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7169-7169
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7171-7171
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7172-7172
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7173-7173
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7174-7174
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7176-7176
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7177-7177
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7179-7179
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13902-13902 Law enforcement is a subclass of political process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13903-13903 Law enforcement is a subclass of regulatory process

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23465-23465 Placing under arrest is a subclass of law enforcement
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33545-33545
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33544-33544
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33543-33543

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13909-13918

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 754-760


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