|
|
   TerminalAttackControl
|
|
|
| appearance as argument number 1 |
|
|
| (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 13960-13962 | |
| (subclass Espionage Investigating) | Mid-level-ontology.kif 13959-13959 | Espionage は 捜査 の subclass では %n |
| (subclass Espionage PoliticalProcess) | Mid-level-ontology.kif 13958-13958 | Espionage は 政治的プロセス の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Espionage "间谍") | domainEnglishFormat.kif 22432-22432 | |
| (termFormat ChineseTraditionalLanguage Espionage "間諜") | domainEnglishFormat.kif 22431-22431 | |
| (termFormat EnglishLanguage Espionage "espionage") | domainEnglishFormat.kif 22430-22430 |
| 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 13964-13973 |
|
|
|
|