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 18725-18726 | |
(subclass SeizingProperty UnilateralGetting) | Mid-level-ontology.kif 18724-18724 |
appearance as argument number 2 |
(termFormat ChineseLanguage SeizingProperty "夺取财产") | domainEnglishFormat.kif 51983-51983 | |
(termFormat ChineseTraditionalLanguage SeizingProperty "奪取財產") | domainEnglishFormat.kif 51982-51982 | |
(termFormat EnglishLanguage SeizingProperty "seizing property") | domainEnglishFormat.kif 51981-51981 |
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 18728-18739 |