LegalCharge
|
|
appearance as argument number 1 |
(documentation LegalCharge EnglishLanguage "Any LegalAction of which a Government is the agent.") | Mid-level-ontology.kif 16136-16137 | |
(subclass LegalCharge LegalAction) | Mid-level-ontology.kif 16135-16135 |
appearance as argument number 2 |
(termFormat ChineseLanguage LegalCharge "法律费用") | domainEnglishFormat.kif 33803-33803 | |
(termFormat ChineseTraditionalLanguage LegalCharge "法律費用") | domainEnglishFormat.kif 33802-33802 | |
(termFormat EnglishLanguage LegalCharge "legal charge") | domainEnglishFormat.kif 33801-33801 |
antecedent |
(=> (instance ?CHARGE LegalCharge) (exists (?GOV) (and (instance ?GOV Government) (agent ?CHARGE ?GOV)))) |
Mid-level-ontology.kif 16139-16144 |