enemy |
appearance as argument number 1 |
(documentation enemy EnglishLanguage "Marks two Agents that are enemies of each other") | MilitaryProcesses.kif 2452-2453 | |
(domain enemy 1 AutonomousAgent) | MilitaryProcesses.kif 2447-2447 | Il numero 1 argomenti di enemy è un istanza di AutonomousAgent |
(domain enemy 2 AutonomousAgent) | MilitaryProcesses.kif 2448-2448 | Il numero 2 argomenti di enemy è un istanza di AutonomousAgent |
(instance enemy ObjectAttitude) | MilitaryProcesses.kif 2449-2449 | enemy è un' istanza di AtteggiamentoOggettuale |
(instance enemy SymmetricRelation) | MilitaryProcesses.kif 2450-2450 | enemy è un' istanza di RelazioneSimmetrica |
(subrelation enemy inScopeOfInterest) | MilitaryProcesses.kif 2451-2451 | enemy è una sottorelazione di inScopeOfInterest |
appearance as argument number 2 |
(format EnglishLanguage enemy "%1 and %2 are %n enemies of each other") | MilitaryProcesses.kif 2715-2715 | |
(termFormat EnglishLanguage enemy "enemy") | domainEnglishFormat.kif 65819-65819 |
antecedent |
consequent |