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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlacingUnderArrest

Sigma KEE - PlacingUnderArrest
PlacingUnderArrest(placing under arrest)apprehend, apprehension, arrest, catch, collar, cop, nab, nail, pick_up, pinch, taking_into_custody

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23466-23469
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23464-23464 Placing under arrest is a subclass of capture
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. Mid-level-ontology.kif 23471-23471 Placing under arrest is a subclass of legal action
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23470-23470 Placing under arrest is a subclass of social interaction

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45996-45996
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45995-45995
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45994-45994

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23478-23478 The number 1 argument of arrested is an instance of placing under arrest
No TPTP formula. May not be expressible in strict first order. Law.kif 228-228 The number 1 argument of arresting officer is an instance of placing under arrest

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23482-23486
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23494-23504

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23494-23504
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23513-23526
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20929-20931


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