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 | Le nombre 1 argument de enemy est une instance de AutonomousAgent |
(domain enemy 2 AutonomousAgent) | MilitaryProcesses.kif 2448-2448 | Le nombre 2 argument de enemy est une instance de AutonomousAgent |
(instance enemy ObjectAttitude) | MilitaryProcesses.kif 2449-2449 | enemy est une instance de attitude d'objet |
(instance enemy SymmetricRelation) | MilitaryProcesses.kif 2450-2450 | enemy est une instance de relation sym�trique |
(subrelation enemy inScopeOfInterest) | MilitaryProcesses.kif 2451-2451 | enemy est une sous-relation de 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 |