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

KB Term:  Term intersection
English Word: 

Sigma KEE - Exfiltration
Exfiltration(exfiltration)

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


(subclass Exfiltration UnconventionalWarfare) MilitaryProcesses.kif 249-249 Exfiltration is a subclass of unconventional warfare
(subclass Exfiltration Removing) MilitaryProcesses.kif 250-250 Exfiltration is a subclass of removing
(documentation Exfiltration EnglishLanguage "The removal of personnel or units from areas under enemy control by stealth, deception, surprise, or clandestine means.") MilitaryProcesses.kif 251-253 Exfiltration is a subclass of removing

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


(termFormat EnglishLanguage Exfiltration "exfiltration") domainEnglishFormat.kif 22753-22753
(termFormat ChineseTraditionalLanguage Exfiltration "滲出") domainEnglishFormat.kif 22754-22754
(termFormat ChineseLanguage Exfiltration "渗出") domainEnglishFormat.kif 22755-22755

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


(=>
    (and
        (instance ?EF Exfiltration)
        (agent ?EF ?AGENT))
    (exists (?PRET ?ENEMY)
        (and
            (instance ?PRET Pretending)
            (agent ?PRET ?AGENT)
            (patient ?PRET ?ENEMY)
            (hasPurpose ?PRET
                (believes ?ENEMY
                    (not
                        (exists (?EF0)
                            (equal ?EF0 ?EF))))))))		 MilitaryProcesses.kif 257-270 If X is an instance of exfiltration and Y is an agent of X, then there exist Z, W such that Z is an instance of pretending, Y is an agent of Z, W is a patient of Z, Z has the purpose W believes there doesn't exist V such that equal V, and X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners