TreeView 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	Le nombre 1 argument de coordinates est une instance de processus
(domain coordinates 2 Process)	MilitaryProcesses.kif 1697-1697	Le nombre 2 argument de coordinates est une instance de processus
(instance coordinates BinaryPredicate)	MilitaryProcesses.kif 1698-1698	coordinates est une instance de pr�dicat binaire
(instance coordinates PartialOrderingRelation)	MilitaryProcesses.kif 1699-1699	coordinates est une instance de relation partiellement dirig�e

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