| SeizingProperty | |
| appearance as argument number 1 |
|
|
| (documentation SeizingProperty EnglishLanguage "Any instance of UnilateralGetting which is done by a Government and which is not permitted by the origin of the UnilateralGetting.") | Mid-level-ontology.kif 20269-20270 | |
| (subclass SeizingProperty UnilateralGetting) | Mid-level-ontology.kif 20268-20268 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage SeizingProperty "夺取财产") | domainEnglishFormat.kif 51985-51985 | |
| (termFormat ChineseTraditionalLanguage SeizingProperty "奪取財產") | domainEnglishFormat.kif 51984-51984 | |
| (termFormat EnglishLanguage SeizingProperty "seizing property") | domainEnglishFormat.kif 51983-51983 |
| antecedent |
|
|
| (=> (and (instance ?S SeizingProperty) (destination ?S ?A) (origin ?S ?V) (instance ?V CognitiveAgent)) (and (instance ?A Government) (not (confersNorm ?V (destination ?S ?A) Permission)))) |
Mid-level-ontology.kif 20272-20283 |
|
|
|