| LegalCharge | |
| appearance as argument number 1 |
|
|
| (documentation LegalCharge EnglishLanguage "Any LegalAction of which a Government is the agent.") | Mid-level-ontology.kif 17506-17507 | |
| (subclass LegalCharge LegalAction) | Mid-level-ontology.kif 17505-17505 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage LegalCharge "法律费用") | domainEnglishFormat.kif 33831-33831 | |
| (termFormat ChineseTraditionalLanguage LegalCharge "法律費用") | domainEnglishFormat.kif 33830-33830 | |
| (termFormat EnglishLanguage LegalCharge "legal charge") | domainEnglishFormat.kif 33829-33829 |
| antecedent |
|
|
| (=> (instance ?CHARGE LegalCharge) (exists (?GOV) (and (instance ?GOV Government) (agent ?CHARGE ?GOV)))) |
Mid-level-ontology.kif 17509-17514 |
|
|
|