coordinates - Sigma Knowledge base Browser

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 65800-65800

consequent

(=>
    (and
        (instance ?ORDER OperationOrder)
        (instance ?OPERATION MilitaryOperation))
    (hasPurpose ?ORDER
        (coordinates ?ORDER ?OPERATION)))

MilitaryProcesses.kif 1678-1683