| 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 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