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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LegalDismissal

 Sigma KEE - LegalDismissal
LegalDismissal(legal dismissal)dismiss, throw_out

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16246-16247
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16245-16245 Legal dismissal is a subclass of legal decision

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33827-33827
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33826-33826
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33825-33825


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