BlueforceControlled - Sigma Knowledge base Browser

appearance as argument number 1

(documentation BlueforceControlled EnglishLanguage "BlueforceControlled is a RelationalAttribute. An Object that is possessed by an agent that is either part of the government or an Ally of the US government.")	MilitaryProcesses.kif 2800-2802
(instance BlueforceControlled RelationalAttribute)	MilitaryProcesses.kif 2799-2799
(relatedInternalConcept BlueforceControlled Ally)	MilitaryProcesses.kif 2803-2803
(relatedInternalConcept BlueforceControlled MilitarilySecure)	MilitaryProcesses.kif 2826-2826

appearance as argument number 2

MilitaryProcesses.kif 2885-2885

antecedent

(=>
    (and
        (attribute ?X BlueforceControlled)
        (instance ?X Object))
    (exists (?A)
        (and
            (instance ?A GovernmentOrganization)
            (possesses ?A ?X)
            (or
                (subOrganization ?A
                    (GovernmentFn UnitedStates))
                (allied ?A
                    (GovernmentFn UnitedStates))))))

MilitaryProcesses.kif 2805-2817