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

KB Term:  Term intersection
English Word: 

Sigma KEE - Espionage
Espionage(espionage)espionage, spying, undercover_work

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


(subclass Espionage PoliticalProcess) Mid-level-ontology.kif 15532-15532 Espionage is a subclass of political process
(subclass Espionage Investigating) Mid-level-ontology.kif 15533-15533 Espionage is a subclass of investigating
(documentation Espionage EnglishLanguage "Any Investigating by one Government of another Government where the second Government does not know that it is being spied upon.") Mid-level-ontology.kif 15534-15536 Espionage is a subclass of investigating

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


(termFormat EnglishLanguage Espionage "espionage") domainEnglishFormat.kif 22429-22429
(termFormat ChineseTraditionalLanguage Espionage "間諜") domainEnglishFormat.kif 22430-22430
(termFormat ChineseLanguage Espionage "间谍") domainEnglishFormat.kif 22431-22431

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


(=>
    (instance ?S Espionage)
    (exists (?GOV1 ?GOV2)
        (and
            (instance ?GOV1 Government)
            (instance ?GOV2 Government)
            (agent ?S ?GOV1)
            (patient ?S ?GOV2)
            (not
                (equal ?GOV1 ?GOV2)))))		 Mid-level-ontology.kif 15538-15547 If X is an instance of espionage, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of government (3) Z is an instance of government (4) Y is an agent of X (5) Z is a patient of X (6) equal Y (7) Z


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