| LegalCharge | |
| appearance as argument number 1 |
|
|
| (documentation LegalCharge EnglishLanguage "Any LegalAction of which a Government is the agent.") | Mid-level-ontology.kif 12815-12816 | |
| (subclass LegalCharge LegalAction) | Mid-level-ontology.kif 12814-12814 |
| 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 12818-12823 |
|
|
|