TreeView Knowledge Base Browser

appearance as argument number 1

(instance Ally SocialRole)	MilitaryProcesses.kif 2522-2522	Ally is an instance of social role
(instance Ally DeonticAttribute)	MilitaryProcesses.kif 2523-2523	Ally is an instance of deontic attribute
(documentation Ally EnglishLanguage "Two or more Agents agree to help and support each other of the others.")	MilitaryProcesses.kif 2524-2525	Ally is an instance of deontic attribute
(contraryAttribute Ally Enemy)	MilitaryProcesses.kif 2527-2527	Ally is the opposite of enemy
(relatedInternalConcept Ally MilitarilySecure)	MilitaryProcesses.kif 2871-2871	Ally is internally related to militarily secure

appearance as argument number 2

(termFormat EnglishLanguage Ally "ally")	MilitaryProcesses.kif 2526-2526
(relatedInternalConcept BlueforceControlled Ally)	MilitaryProcesses.kif 2847-2847	Blue force controlled is internally related to ally

antecedent

(=>
    (holdsDuring ?T
        (attribute ?P Ally))
    (exists (?AGENT)
        (holdsDuring ?T
            (allied ?AGENT ?P))))

If ally is an attribute of X holds during Y, then there exists Z such that Z and X are allies of each other holds during Y