TreeView Knowledge Base Browser

appearance as argument number 1

(domain coordinates 1 Process)	MilitaryProcesses.kif 1718-1718	The number 1 argument of coordinates is an instance of process
(domain coordinates 2 Process)	MilitaryProcesses.kif 1719-1719	The number 2 argument of coordinates is an instance of process
(instance coordinates BinaryPredicate)	MilitaryProcesses.kif 1720-1720	coordinates is an instance of binary predicate
(instance coordinates PartialOrderingRelation)	MilitaryProcesses.kif 1721-1721	coordinates is an instance of partial ordering relation
(documentation coordinates EnglishLanguage "(coordinates ?PROCESS1 ?PROCESS2) means that ?PROCESS1 coordinates ?PROCESS2")	MilitaryProcesses.kif 1722-1722	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 2922-2922
(termFormat EnglishLanguage coordinates "coordinates")	domainEnglishFormat.kif 65809-65809

consequent

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

If X is an instance of operation order and Y is an instance of military operation, then X has the purpose X coordinates Y