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 | Il numero 1 argomenti di coordinates è un istanza di Processo |
(domain coordinates 2 Process) | MilitaryProcesses.kif 1697-1697 | Il numero 2 argomenti di coordinates è un istanza di Processo |
(instance coordinates BinaryPredicate) | MilitaryProcesses.kif 1698-1698 | coordinates è un' istanza di PredicatoBinario |
(instance coordinates PartialOrderingRelation) | MilitaryProcesses.kif 1699-1699 | coordinates è un' istanza di RelazioneDiOrdineParziale |
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 |
|