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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LegalCharge

Sigma KEE - LegalCharge
LegalCharge(legal charge)International_Wanted_Notice, Red_Notice

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16109-16110
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16108-16108 Legal charge is a subclass of legal action

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33803-33803
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33802-33802
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33801-33801

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


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


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