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

appearance as argument number 2

(format EnglishLanguage coordinates "%1 %n{doesn't} coordinate%p{s} %2") MilitaryProcesses.kif 2687-2687


        (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