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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USBProtocol

 Sigma KEE - USBProtocol
USBProtocol(USB)

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2833-2838
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2825-2831
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2817-2823
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2840-2842
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2868-2868 protocol for connector USB and USB cable
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2815-2815 USB is a subclass of computer protocol

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2846-2846
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2850-2850
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2845-2845
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2849-2849
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2844-2844
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2848-2848
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2851-2851
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2847-2847


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