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
-------------------------


(documentation LegalCharge EnglishLanguage "Any LegalAction of which a Government is the agent.") Mid-level-ontology.kif 15558-15559
(subclass LegalCharge LegalAction) Mid-level-ontology.kif 15557-15557 Legal charge is a subclass of legal action

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


(termFormat ChineseLanguage LegalCharge "法律费用") domainEnglishFormat.kif 33786-33786
(termFormat ChineseTraditionalLanguage LegalCharge "法律費用") domainEnglishFormat.kif 33785-33785
(termFormat EnglishLanguage LegalCharge "legal charge") domainEnglishFormat.kif 33784-33784

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


(=>
    (instance ?CHARGE LegalCharge)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (agent ?CHARGE ?GOV))))
Mid-level-ontology.kif 15561-15566


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