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 The number 1 argument of coordinates is an instance of process
(domain coordinates 2 Process) MilitaryProcesses.kif 1697-1697 The number 2 argument of coordinates is an instance of process
(instance coordinates BinaryPredicate) MilitaryProcesses.kif 1698-1698 coordinates is an instance of binary predicate
(instance coordinates PartialOrderingRelation) MilitaryProcesses.kif 1699-1699 coordinates is an instance of partial ordering relation

appearance as argument number 2
-------------------------


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

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