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	The number 1 argument of coordinates is an instance of process
(domain coordinates 2 Process)	MilitaryProcesses.kif 1697-1697	The number 2 argument of coordinates is an instance of process
(instance coordinates BinaryPredicate)	MilitaryProcesses.kif 1698-1698	coordinates is an instance of binary predicate
(instance coordinates PartialOrderingRelation)	MilitaryProcesses.kif 1699-1699	coordinates is an instance of partial ordering relation

appearance as argument number 2

(format EnglishLanguage coordinates "%1 %n{doesn't} coordinate%p{s} %2")	MilitaryProcesses.kif 2898-2898
(termFormat EnglishLanguage coordinates "coordinates")	domainEnglishFormat.kif 65849-65849

consequent

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

MilitaryProcesses.kif 1678-1683