Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - targetInAttack
targetInAttack

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


(documentation targetInAttack EnglishLanguage "This relation identifies the patient in the event that is the object of the attack.") Mid-level-ontology.kif 6793-6795
(domain targetInAttack 1 Process) Mid-level-ontology.kif 6790-6790 The number 1 argument of target in attack is an instance of process
(domain targetInAttack 2 Object) Mid-level-ontology.kif 6791-6791 The number 2 argument of target in attack is an instance of object
(instance targetInAttack BinaryPredicate) Mid-level-ontology.kif 6788-6788 target in attack is an instance of binary predicate
(instance targetInAttack CaseRole) Mid-level-ontology.kif 6789-6789 target in attack is an instance of case role
(subrelation targetInAttack patient) Mid-level-ontology.kif 6792-6792 target in attack is a subrelation of patient

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


(format ChineseLanguage targetInAttack "%2 %n 是 %1 的 攻击 target ") domainEnglishFormat.kif 2439-2439
(format ChineseTraditionalLanguage targetInAttack "%2 %n 是 %1 的 攻擊 target ") domainEnglishFormat.kif 2438-2438
(format EnglishLanguage targetInAttack "%2 is %n a target in attack of %1") domainEnglishFormat.kif 2437-2437
(termFormat ChineseLanguage targetInAttack "攻击目标") domainEnglishFormat.kif 56965-56965
(termFormat ChineseTraditionalLanguage targetInAttack "攻擊目標") domainEnglishFormat.kif 56964-56964
(termFormat EnglishLanguage targetInAttack "target in attack") domainEnglishFormat.kif 56963-56963

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


(=>
    (instance ?TA_CTRL TerminalAttackControl)
    (hasPurpose ?TA_CTRL
        (exists (?AGENT ?ATTACK ?LOCATION ?TARGET)
            (and
                (targetInAttack ?ATTACK ?TARGET)
                (patient ?TA_CTRL ?TARGET)
                (agent ?TA_CTRL ?AGENT)
                (result ?TA_CTRL
                    (knows ?AGENT
                        (located ?TARGET ?LOCATION)))))))
MilitaryProcesses.kif 468-478
(=>
    (instance ?TA_CTRL TerminalGuidance)
    (hasPurpose ?TA_CTRL
        (exists (?AGENT ?ATTACK ?LOCATION ?TARGET)
            (and
                (targetInAttack ?ATTACK ?TARGET)
                (patient ?TA_CTRL ?TARGET)
                (agent ?TA_CTRL ?AGENT)
                (result ?TA_CTRL
                    (knows ?AGENT
                        (located ?TARGET ?LOCATION)))))))
MilitaryProcesses.kif 521-531


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners