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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PlacingUnderArrest
PlacingUnderArrest

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23465-23468
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23463-23463 PlacingUnderArrest est une sous-classe de Capturing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23464-23464 PlacingUnderArrest est une sous-classe de LawEnforcement
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23470-23470 PlacingUnderArrest est une sous-classe de action l�gale
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23469-23469 PlacingUnderArrest est une sous-classe de interaction social

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 23477-23477 Le nombre 1 argument de arrested est une instance de PlacingUnderArrest
No TPTP formula. May not be expressible in strict first order. Law.kif 228-228 Le nombre 1 argument de arrestingOfficer est une instance de PlacingUnderArrest

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23481-23485
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23493-23503

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23493-23503
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23512-23525
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20928-20930


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