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 |
![]() |
![]() |