| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1220-1224 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1214-1218 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1203-1212 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1226-1230 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1232-1232 | 2G network Is a subclass of cell network |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1240-1240 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1235-1235 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1239-1239 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1234-1234 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1238-1238 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1233-1233 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1241-1241 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1236-1236 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1243-1248 |
|
|
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