Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  titles

 Sigma KEE - allied
allied

appearance as argument number 1
-------------------------


(domain allied 1 AutonomousAgent) MilitaryProcesses.kif 2490-2490 The number 1 argument of allied is an instance of agent
(domain allied 2 AutonomousAgent) MilitaryProcesses.kif 2491-2491 The number 2 argument of allied is an instance of agent
(instance allied ObjectAttitude) MilitaryProcesses.kif 2492-2492 allied is an instance of object attitude
(instance allied SymmetricRelation) MilitaryProcesses.kif 2493-2493 allied is an instance of symmetric relation
(subrelation allied inScopeOfInterest) MilitaryProcesses.kif 2494-2494 allied is a subrelation of in scope of interest
(documentation allied EnglishLanguage "Marks two Agents that are allies of each other") MilitaryProcesses.kif 2495-2496 allied is a subrelation of in scope of interest

appearance as argument number 2
-------------------------


(disjoint enemy allied) MilitaryProcesses.kif 2497-2497 enemy is disjoint from allied
(termFormat EnglishLanguage allied "allied") MilitaryProcesses.kif 2498-2498 enemy is disjoint from allied
(format EnglishLanguage allied "%1 and %2 are %n allies of each other") MilitaryProcesses.kif 2499-2499 enemy is disjoint from allied

antecedent
-------------------------


(=>
    (holdsDuring ?T
        (allied ?AGENT1 ?AGENT2))
    (holdsDuring ?T
        (not
            (enemy ?AGENT1 ?AGENT2))))		 MilitaryProcesses.kif 2501-2506 If X and Y are allies of each other holds during Z, then X and Y are not enemies of each other holds during Z
(=>
    (holdsDuring ?T
        (allied ?AGENT1 ?AGENT2))
    (exists (?C)
        (and
            (during ?T
                (WhenFn ?C))
            (instance ?C Cooperation)
            (holdsDuring
                (WhenFn ?C)
                (and
                    (agent ?C ?AGENT1)
                    (agent ?C ?AGENT2))))))		 MilitaryProcesses.kif 2508-2520 If X and Y are allies of each other holds during Z, then there exists W such that Z takes place during the time of existence of W, W is an instance of cooperation, X is an agent of W, and Y is an agent of W holds during the time of existence of W

consequent
-------------------------


(=>
    (holdsDuring ?T
        (attribute ?P Ally))
    (exists (?AGENT)
        (holdsDuring ?T
            (allied ?AGENT ?P))))		 MilitaryProcesses.kif 2529-2534 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
(=>
    (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 2849-2861 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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners