coordinates |
appearance as argument number 1 |
(documentation coordinates EnglishLanguage "(coordinates ?PROCESS1 ?PROCESS2) means that ?PROCESS1 coordinates ?PROCESS2") | MilitaryProcesses.kif 1700-1700 | |
(domain coordinates 1 Process) | MilitaryProcesses.kif 1696-1696 | O argumento numero 1 de coordinates e' uma instancia de Processo |
(domain coordinates 2 Process) | MilitaryProcesses.kif 1697-1697 | O argumento numero 2 de coordinates e' uma instancia de Processo |
(instance coordinates BinaryPredicate) | MilitaryProcesses.kif 1698-1698 | coordinates e' uma instancia de Predicado Binario |
(instance coordinates PartialOrderingRelation) | MilitaryProcesses.kif 1699-1699 | coordinates e' uma instancia de Relacao parcialmente Ordenada |
appearance as argument number 2 |
(format EnglishLanguage coordinates "%1 %n{doesn't} coordinate%p{s} %2") | MilitaryProcesses.kif 2712-2712 | |
(termFormat EnglishLanguage coordinates "coordinates") | domainEnglishFormat.kif 65802-65802 |
consequent |
(=> (and (instance ?ORDER OperationOrder) (instance ?OPERATION MilitaryOperation)) (hasPurpose ?ORDER (coordinates ?ORDER ?OPERATION))) |
MilitaryProcesses.kif 1678-1683 |
|