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 2688-2688
(termFormat EnglishLanguage coordinates "coordinates") domainEnglishFormat.kif 65896-65896


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

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

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