SeizingProperty - Sigma Knowledge base Browser

appearance as argument number 1

(subclass SeizingProperty UnilateralGetting)	Mid-level-ontology.kif 20619-20619	Seizing property is a subclass of unilateral getting
(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 20620-20621	Seizing property is a subclass of unilateral getting

appearance as argument number 2

(termFormat EnglishLanguage SeizingProperty "seizing property")	domainEnglishFormat.kif 51976-51976
(termFormat ChineseTraditionalLanguage SeizingProperty "奪取財產")	domainEnglishFormat.kif 51977-51977
(termFormat ChineseLanguage SeizingProperty "夺取财产")	domainEnglishFormat.kif 51978-51978

antecedent

(=>
    (and
        (instance ?S SeizingProperty)
        (destination ?S ?A)
        (origin ?S ?V)
        (instance ?V CognitiveAgent))
    (and
        (instance ?A Government)
        (not
            (confersNorm ?V Permission
                (destination ?S ?A)))))

If X is an instance of seizing property, X ends up at Y, X originates at Z, and Z is an instance of cognitive agent, then Y is an instance of government and Z doesn't confers norm permission for X doesn't end up at Y