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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - LegalCharge
LegalCharge

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


(documentation LegalCharge EnglishLanguage "Any LegalAction of which a Government is the agent.") Mid-level-ontology.kif 17496-17497
(subclass LegalCharge LegalAction) Mid-level-ontology.kif 17495-17495 LegalCharge est une sous-classe de action l�gale

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


(termFormat ChineseLanguage LegalCharge "法律费用") domainEnglishFormat.kif 33814-33814
(termFormat ChineseTraditionalLanguage LegalCharge "法律費用") domainEnglishFormat.kif 33813-33813
(termFormat EnglishLanguage LegalCharge "legal charge") domainEnglishFormat.kif 33812-33812

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


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


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