TreeView Knowledge Base Browser - BlueforceControlled

appearance as argument number 1

(instance BlueforceControlled RelationalAttribute)	MilitaryProcesses.kif 2843-2843	Blue force controlled is an instance of relational attribute
(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 2844-2846	Blue force controlled is an instance of relational attribute
(relatedInternalConcept BlueforceControlled Ally)	MilitaryProcesses.kif 2847-2847	Blue force controlled is internally related to ally
(relatedInternalConcept BlueforceControlled MilitarilySecure)	MilitaryProcesses.kif 2870-2870	Blue force controlled is internally related to militarily secure

appearance as argument number 2

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))))))

If blue force controlled is an attribute of X and X is an instance of object, then there exists Y such that Y is an instance of government organization, Y possesses X, Y is a part of the organization the government of united states or Y, and the government of united states are allies of each other