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	coordinates の数値 1 引数は工程の instance では %n
(domain coordinates 2 Process)	MilitaryProcesses.kif 1697-1697	coordinates の数値 2 引数は工程の instance では %n
(instance coordinates BinaryPredicate)	MilitaryProcesses.kif 1698-1698	coordinates は 2進述語の instance では %n
(instance coordinates PartialOrderingRelation)	MilitaryProcesses.kif 1699-1699	coordinates は半順序関係の instance では %n

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