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	Die Zahl 1 Argument von coordinates ist ein fall von Process %n{nicht}
(domain coordinates 2 Process)	MilitaryProcesses.kif 1697-1697	Die Zahl 2 Argument von coordinates ist ein fall von Process %n{nicht}
(instance coordinates BinaryPredicate)	MilitaryProcesses.kif 1698-1698	coordinates ist ein fall von BinaryPredicate %n{nicht}
(instance coordinates PartialOrderingRelation)	MilitaryProcesses.kif 1699-1699	coordinates ist ein fall von PartialOrderingRelation %n{nicht}

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

Wenn Physical ist ein fall von OperationOrder %n{nicht} und Entity ist ein fall von MilitaryOperation %n{nicht},
dann ** Physical hat Zweck von coordinates ** Physical and ** Entity %n{nicht}