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 | O argumento numero 1 de enemy e' uma instancia de AutonomousAgent |
(domain enemy 2 AutonomousAgent) | MilitaryProcesses.kif 2448-2448 | O argumento numero 2 de enemy e' uma instancia de AutonomousAgent |
(instance enemy ObjectAttitude) | MilitaryProcesses.kif 2449-2449 | enemy e' uma instancia de Atitude em relacao a um Objeto |
(instance enemy SymmetricRelation) | MilitaryProcesses.kif 2450-2450 | enemy e' uma instancia de Relacao Simetrica |
(subrelation enemy inScopeOfInterest) | MilitaryProcesses.kif 2451-2451 | enemy e' uma sub-relacao 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 |