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

Formal Language: 



KB Term:  Term intersection
English Word: 

  coordinates

Sigma KEE - coordinates
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 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


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