| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2271-2274 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2266-2269 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2261-2264 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2276-2279 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2281-2281 | Bookmarklet is a subclass of computer program |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2284-2284 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2283-2283 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2282-2282 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2285-2285 |
|
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