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

Formal Language: 



KB Term:  Term intersection
English Word: 

  implementsProtocol

Sigma KEE - implementsProtocol
implementsProtocol

appearance as argument number 1
-------------------------


(documentation implementsProtocol EnglishLanguage "A Relation that specifies that a ComputerProgram impelements and conforms to a given ComputerProtocol.") ComputingBrands.kif 4010-4012
(domain implementsProtocol 1 ComputerProgram) ComputingBrands.kif 4007-4007 The number 1 argument of implements protocol is an instance of computer program
(domain implementsProtocol 2 ComputerProtocol) ComputingBrands.kif 4008-4008 The number 2 argument of implements protocol is an instance of computer protocol
(instance implementsProtocol BinaryPredicate) ComputingBrands.kif 4006-4006 implements protocol is an instance of binary predicate
(subrelation implementsProtocol represents) ComputingBrands.kif 4013-4013 implements protocol is a subrelation of represents

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


(format EnglishLanguage implementsProtocol "%1 implements %2") ComputingBrands.kif 4014-4014
(termFormat EnglishLanguage implementsProtocol "implements protocol") ComputingBrands.kif 4015-4015

consequent
-------------------------


(=>
    (instance ?DP DHCPProgram)
    (exists (?DPROTO)
        (and
            (instance ?DPROTO DHCPProtocol)
            (implementsProtocol ?DP ?DPROTO))))
ComputingBrands.kif 4021-4026


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