Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - coordinates

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 and Process
(domain coordinates 2 Process) MilitaryProcesses.kif 1697-1697 coordinates, 2 and Process
(instance coordinates BinaryPredicate) MilitaryProcesses.kif 1698-1698 coordinates and BinaryPredicate
(instance coordinates PartialOrderingRelation) MilitaryProcesses.kif 1699-1699 coordinates and PartialOrderingRelation

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


        (instance ?ORDER OperationOrder)
        (instance ?OPERATION MilitaryOperation))
    (hasPurpose ?ORDER
        (coordinates ?ORDER ?OPERATION)))
MilitaryProcesses.kif 1678-1683

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners