| 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 16398-16399 | |
| (subclass SeizingProperty UnilateralGetting) | Mid-level-ontology.kif 16397-16397 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage SeizingProperty "夺取财产") | domainEnglishFormat.kif 51975-51975 | |
| (termFormat ChineseTraditionalLanguage SeizingProperty "奪取財產") | domainEnglishFormat.kif 51974-51974 | |
| (termFormat EnglishLanguage SeizingProperty "seizing property") | domainEnglishFormat.kif 51973-51973 |
| 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 16401-16412 |
|
|
|