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 18697-18698 | |
(subclass SeizingProperty UnilateralGetting) | Mid-level-ontology.kif 18696-18696 |
appearance as argument number 2 |
(termFormat ChineseLanguage SeizingProperty "夺取财产") | domainEnglishFormat.kif 51981-51981 | |
(termFormat ChineseTraditionalLanguage SeizingProperty "奪取財產") | domainEnglishFormat.kif 51980-51980 | |
(termFormat EnglishLanguage SeizingProperty "seizing property") | domainEnglishFormat.kif 51979-51979 |
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 18700-18711 |