TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage LegalCharge "legal charge")	domainEnglishFormat.kif 33805-33805
(termFormat ChineseTraditionalLanguage LegalCharge "法律費用")	domainEnglishFormat.kif 33806-33806
(termFormat ChineseLanguage LegalCharge "法律费用")	domainEnglishFormat.kif 33807-33807

antecedent

(=>
    (instance ?CHARGE LegalCharge)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (agent ?CHARGE ?GOV))))

If X is an instance of legal charge, then there exists Y such that Y is an instance of government and Y is an agent of X