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 6427-6429
(domain targetInAttack 1 Process) Mid-level-ontology.kif 6424-6424
(domain targetInAttack 2 Object) Mid-level-ontology.kif 6425-6425
(instance targetInAttack BinaryPredicate) Mid-level-ontology.kif 6422-6422
(instance targetInAttack CaseRole) Mid-level-ontology.kif 6423-6423
(subrelation targetInAttack patient) Mid-level-ontology.kif 6426-6426

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 56944-56944
(termFormat ChineseTraditionalLanguage targetInAttack "攻擊目標") domainEnglishFormat.kif 56943-56943
(termFormat EnglishLanguage targetInAttack "target in attack") domainEnglishFormat.kif 56942-56942

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