MilitarySurplus - Sigma Knowledge base Browser

appearance as argument number 1

(subclass MilitarySurplus MilitaryArtifact)	Mid-level-ontology.kif 9762-9762	Military surplus is a subclass of military artifact
(documentation MilitarySurplus EnglishLanguage "Any MilitaryArtifact which is sold to a non-military customer.")	Mid-level-ontology.kif 9763-9764	Military surplus is a subclass of military artifact

appearance as argument number 2

(termFormat EnglishLanguage MilitarySurplus "military surplus")	domainEnglishFormat.kif 37751-37751
(termFormat ChineseTraditionalLanguage MilitarySurplus "軍事盈餘")	domainEnglishFormat.kif 37752-37752
(termFormat ChineseLanguage MilitarySurplus "军事盈余")	domainEnglishFormat.kif 37753-37753

antecedent

(=>
    (instance ?S MilitarySurplus)
    (exists (?A ?B)
        (and
            (instance ?B Buying)
            (patient ?B ?A)
            (objectTransferred ?B ?S)
            (not
                (instance ?A MilitaryOrganization))
            (not
                (member ?A MilitaryOrganization)))))

If X is an instance of military surplus, then there exist Y, Z such that Z is an instance of buying, Y is a patient of Z, the object transferred in Z is X, Y is not an instance of military organization, and Y is not a member of military organization